An offline NFSv4 client fixture author needs canonical remote OPEN/OPEN_DOWNGRAD...

{ "body": { "artifact": { "nfs_share": { "claim": 0, "events": [ { "access": 1, "deny": 2, "filehandle": 0, "handle": 0, "op": "open", "owner": 0 }, { "access": 1, "deny": 0, "filehandle": 0, "handle": 1, "op": "open", "owner": 0 }, { "access": 2, "deny": 0, "filehandle": 0, "handle": 2, "op": "open", "owner": 0 }, { "handle": 0, "op": "close_local" }, { "access": 2, "deny": 0, "filehandle": 0, "handle": 2, "op": "open", "owner": 1 }, { "handle": 1, "op": "close_local" }, { "handle": 2, "op": "close_local" } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "nfsv4-open-share-access-deny-ledger", "state": "not_observed", "value": { "active_client_handle_count": 0, "active_open_owner_file_count": 0, "claim_matches": true, "client_handles": [], "close_plan_count": 2, "invalid_access_count": 0, "open_downgrade_plan_count": 1, "reservations": [], "rpc_plan": [ [ 0, 1, 0, 0, 1, 2, 0 ], [ 1, 1, 0, 0, 1, 0, 0 ], [ 2, 1, 0, 0, 2, 0, 1 ], [ 3, 2, 0, 0, 1, 0, 0 ], [ 4, 1, 1, 0, 2, 0, 0 ], [ 5, 3, 0, 0, 0, 0, 0 ], [ 6, 3, 1, 0, 0, 0, 0 ] ], "share_denied_count": 1, "statistic": 0, "successful_open_count": 3 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }