{ "kind": "dexagon.ainglish.flagship-comprehension-closure-carrier.v1", "proposal_revision": "must-as-rule-must-as-inference-does-must-impose-a-requiremen", "construct": "must-as-rule / must-as-inference", "comparison": "complete-careful-English mapping versus the registered compact form", "reader_calls": 0, "items": [ { "id": "must-force-rule-01", "english": "The release rule requires the signer to be Alice; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The signer must-as-rule be Alice.", "question": "Suppose Alice is not the signer. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the release rule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-01", "english": "The available evidence supports the conclusion that the signer is Alice; this reports an inference and creates no duty.", "ainglish": "The signer must-as-inference be Alice; the available evidence points to that conclusion.", "question": "Suppose Alice is not the signer. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-02", "english": "The security policy requires the gateway to reject unsigned requests; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The gateway must-as-rule reject unsigned requests.", "question": "Suppose an unsigned request was accepted. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the security policy", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-02", "english": "The available evidence supports the conclusion that the gateway rejects unsigned requests; this reports an inference and creates no duty.", "ainglish": "The gateway must-as-inference reject unsigned requests; the available evidence points to that conclusion.", "question": "Suppose an unsigned request was accepted. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-03", "english": "The retention specification requires the archive to retain the receipt; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The archive must-as-rule retain the receipt.", "question": "Suppose the receipt is missing. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the retention specification", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-03", "english": "The available evidence supports the conclusion that the archive retains the receipt; this reports an inference and creates no duty.", "ainglish": "The archive must-as-inference retain the receipt; the available evidence points to that conclusion.", "question": "Suppose the receipt is missing. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-04", "english": "The deployment instruction requires the worker to use the approved image; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The worker must-as-rule use the approved image.", "question": "Suppose an unapproved image was used. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the deployment instruction", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-04", "english": "The available evidence supports the conclusion that the worker uses the approved image; this reports an inference and creates no duty.", "ainglish": "The worker must-as-inference use the approved image; the available evidence points to that conclusion.", "question": "Suppose an unapproved image was used. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-05", "english": "The reporting standard requires the report to include the checksum; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The report must-as-rule include the checksum.", "question": "Suppose the checksum is absent. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the reporting standard", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-05", "english": "The available evidence supports the conclusion that the report includes the checksum; this reports an inference and creates no duty.", "ainglish": "The report must-as-inference include the checksum; the available evidence points to that conclusion.", "question": "Suppose the checksum is absent. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-06", "english": "The review rule requires the reviewer to be independent; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The reviewer must-as-rule be independent.", "question": "Suppose the reviewer is linked to the author. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the review rule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-06", "english": "The available evidence supports the conclusion that the reviewer is independent; this reports an inference and creates no duty.", "ainglish": "The reviewer must-as-inference be independent; the available evidence points to that conclusion.", "question": "Suppose the reviewer is linked to the author. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-07", "english": "The custody policy requires the key to remain offline; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The key must-as-rule remain offline.", "question": "Suppose the key was connected. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the custody policy", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-07", "english": "The available evidence supports the conclusion that the key remains offline; this reports an inference and creates no duty.", "ainglish": "The key must-as-inference remain offline; the available evidence points to that conclusion.", "question": "Suppose the key was connected. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-08", "english": "The protocol requires the request to carry a nonce; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The request must-as-rule carry a nonce.", "question": "Suppose the nonce is absent. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the protocol", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-08", "english": "The available evidence supports the conclusion that the request carries a nonce; this reports an inference and creates no duty.", "ainglish": "The request must-as-inference carry a nonce; the available evidence points to that conclusion.", "question": "Suppose the nonce is absent. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-09", "english": "The release schedule requires the build to finish before noon; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The build must-as-rule finish before noon.", "question": "Suppose the build finished after noon. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the release schedule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-09", "english": "The available evidence supports the conclusion that the build finishes before noon; this reports an inference and creates no duty.", "ainglish": "The build must-as-inference finish before noon; the available evidence points to that conclusion.", "question": "Suppose the build finished after noon. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-10", "english": "The data policy requires the dataset to exclude personal records; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The dataset must-as-rule exclude personal records.", "question": "Suppose a personal record is present. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the data policy", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-10", "english": "The available evidence supports the conclusion that the dataset excludes personal records; this reports an inference and creates no duty.", "ainglish": "The dataset must-as-inference exclude personal records; the available evidence points to that conclusion.", "question": "Suppose a personal record is present. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-11", "english": "The governance rule requires the ballot to remain open for one day; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The ballot must-as-rule remain open for one day.", "question": "Suppose the ballot closed early. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the governance rule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-11", "english": "The available evidence supports the conclusion that the ballot remains open for one day; this reports an inference and creates no duty.", "ainglish": "The ballot must-as-inference remain open for one day; the available evidence points to that conclusion.", "question": "Suppose the ballot closed early. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-12", "english": "The integrity requirement requires the replica to match the digest; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The replica must-as-rule match the digest.", "question": "Suppose the digest differs. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the integrity requirement", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-12", "english": "The available evidence supports the conclusion that the replica matches the digest; this reports an inference and creates no duty.", "ainglish": "The replica must-as-inference match the digest; the available evidence points to that conclusion.", "question": "Suppose the digest differs. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-13", "english": "The audit instruction requires the operator to record every abort; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The operator must-as-rule record every abort.", "question": "Suppose an abort was not recorded. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the audit instruction", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-13", "english": "The available evidence supports the conclusion that the operator records every abort; this reports an inference and creates no duty.", "ainglish": "The operator must-as-inference record every abort; the available evidence points to that conclusion.", "question": "Suppose an abort was not recorded. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-14", "english": "The fail-closed contract requires the client to refuse an unknown mode; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The client must-as-rule refuse an unknown mode.", "question": "Suppose an unknown mode was accepted. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the fail-closed contract", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-14", "english": "The available evidence supports the conclusion that the client refuses an unknown mode; this reports an inference and creates no duty.", "ainglish": "The client must-as-inference refuse an unknown mode; the available evidence points to that conclusion.", "question": "Suppose an unknown mode was accepted. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-15", "english": "The publication requirement requires the package to include the licence; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The package must-as-rule include the licence.", "question": "Suppose the licence is absent. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the publication requirement", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-15", "english": "The available evidence supports the conclusion that the package includes the licence; this reports an inference and creates no duty.", "ainglish": "The package must-as-inference include the licence; the available evidence points to that conclusion.", "question": "Suppose the licence is absent. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-16", "english": "The measurement protocol requires the runner to mint before inference; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The runner must-as-rule mint before inference.", "question": "Suppose inference began before minting. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the measurement protocol", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-16", "english": "The available evidence supports the conclusion that the runner mints before inference; this reports an inference and creates no duty.", "ainglish": "The runner must-as-inference mint before inference; the available evidence points to that conclusion.", "question": "Suppose inference began before minting. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-17", "english": "The release rule requires the signer to be Alice in test case 17; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The signer must-as-rule be Alice in test case 17.", "question": "Suppose Alice is not the signer. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the release rule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-17", "english": "The available evidence supports the conclusion that the signer is Alice in test case 17; this reports an inference and creates no duty.", "ainglish": "The signer must-as-inference be Alice in test case 17; the available evidence points to that conclusion.", "question": "Suppose Alice is not the signer. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-18", "english": "The security policy requires the gateway to reject unsigned requests in test case 18; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The gateway must-as-rule reject unsigned requests in test case 18.", "question": "Suppose an unsigned request was accepted. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the security policy", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-18", "english": "The available evidence supports the conclusion that the gateway rejects unsigned requests in test case 18; this reports an inference and creates no duty.", "ainglish": "The gateway must-as-inference reject unsigned requests in test case 18; the available evidence points to that conclusion.", "question": "Suppose an unsigned request was accepted. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-19", "english": "The retention specification requires the archive to retain the receipt in test case 19; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The archive must-as-rule retain the receipt in test case 19.", "question": "Suppose the receipt is missing. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the retention specification", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-19", "english": "The available evidence supports the conclusion that the archive retains the receipt in test case 19; this reports an inference and creates no duty.", "ainglish": "The archive must-as-inference retain the receipt in test case 19; the available evidence points to that conclusion.", "question": "Suppose the receipt is missing. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-20", "english": "The deployment instruction requires the worker to use the approved image in test case 20; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The worker must-as-rule use the approved image in test case 20.", "question": "Suppose an unapproved image was used. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the deployment instruction", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-20", "english": "The available evidence supports the conclusion that the worker uses the approved image in test case 20; this reports an inference and creates no duty.", "ainglish": "The worker must-as-inference use the approved image in test case 20; the available evidence points to that conclusion.", "question": "Suppose an unapproved image was used. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-21", "english": "The reporting standard requires the report to include the checksum in test case 21; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The report must-as-rule include the checksum in test case 21.", "question": "Suppose the checksum is absent. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the reporting standard", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-21", "english": "The available evidence supports the conclusion that the report includes the checksum in test case 21; this reports an inference and creates no duty.", "ainglish": "The report must-as-inference include the checksum in test case 21; the available evidence points to that conclusion.", "question": "Suppose the checksum is absent. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-22", "english": "The review rule requires the reviewer to be independent in test case 22; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The reviewer must-as-rule be independent in test case 22.", "question": "Suppose the reviewer is linked to the author. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the review rule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-22", "english": "The available evidence supports the conclusion that the reviewer is independent in test case 22; this reports an inference and creates no duty.", "ainglish": "The reviewer must-as-inference be independent in test case 22; the available evidence points to that conclusion.", "question": "Suppose the reviewer is linked to the author. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-23", "english": "The custody policy requires the key to remain offline in test case 23; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The key must-as-rule remain offline in test case 23.", "question": "Suppose the key was connected. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the custody policy", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-23", "english": "The available evidence supports the conclusion that the key remains offline in test case 23; this reports an inference and creates no duty.", "ainglish": "The key must-as-inference remain offline in test case 23; the available evidence points to that conclusion.", "question": "Suppose the key was connected. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-24", "english": "The protocol requires the request to carry a nonce in test case 24; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The request must-as-rule carry a nonce in test case 24.", "question": "Suppose the nonce is absent. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the protocol", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-24", "english": "The available evidence supports the conclusion that the request carries a nonce in test case 24; this reports an inference and creates no duty.", "ainglish": "The request must-as-inference carry a nonce in test case 24; the available evidence points to that conclusion.", "question": "Suppose the nonce is absent. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-25", "english": "The release schedule requires the build to finish before noon in test case 25; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The build must-as-rule finish before noon in test case 25.", "question": "Suppose the build finished after noon. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the release schedule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-25", "english": "The available evidence supports the conclusion that the build finishes before noon in test case 25; this reports an inference and creates no duty.", "ainglish": "The build must-as-inference finish before noon in test case 25; the available evidence points to that conclusion.", "question": "Suppose the build finished after noon. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-26", "english": "The data policy requires the dataset to exclude personal records in test case 26; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The dataset must-as-rule exclude personal records in test case 26.", "question": "Suppose a personal record is present. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the data policy", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-26", "english": "The available evidence supports the conclusion that the dataset excludes personal records in test case 26; this reports an inference and creates no duty.", "ainglish": "The dataset must-as-inference exclude personal records in test case 26; the available evidence points to that conclusion.", "question": "Suppose a personal record is present. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-27", "english": "The governance rule requires the ballot to remain open for one day in test case 27; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The ballot must-as-rule remain open for one day in test case 27.", "question": "Suppose the ballot closed early. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the governance rule", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-27", "english": "The available evidence supports the conclusion that the ballot remains open for one day in test case 27; this reports an inference and creates no duty.", "ainglish": "The ballot must-as-inference remain open for one day in test case 27; the available evidence points to that conclusion.", "question": "Suppose the ballot closed early. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-28", "english": "The integrity requirement requires the replica to match the digest in test case 28; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The replica must-as-rule match the digest in test case 28.", "question": "Suppose the digest differs. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the integrity requirement", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-28", "english": "The available evidence supports the conclusion that the replica matches the digest in test case 28; this reports an inference and creates no duty.", "ainglish": "The replica must-as-inference match the digest in test case 28; the available evidence points to that conclusion.", "question": "Suppose the digest differs. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-29", "english": "The audit instruction requires the operator to record every abort in test case 29; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The operator must-as-rule record every abort in test case 29.", "question": "Suppose an abort was not recorded. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the audit instruction", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-29", "english": "The available evidence supports the conclusion that the operator records every abort in test case 29; this reports an inference and creates no duty.", "ainglish": "The operator must-as-inference record every abort in test case 29; the available evidence points to that conclusion.", "question": "Suppose an abort was not recorded. Which consequence follows from the message?", "options": [ "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-30", "english": "The fail-closed contract requires the client to refuse an unknown mode in test case 30; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The client must-as-rule refuse an unknown mode in test case 30.", "question": "Suppose an unknown mode was accepted. Which consequence follows from the message?", "options": [ "a requirement was created by the evidence", "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the fail-closed contract", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-30", "english": "The available evidence supports the conclusion that the client refuses an unknown mode in test case 30; this reports an inference and creates no duty.", "ainglish": "The client must-as-inference refuse an unknown mode in test case 30; the available evidence points to that conclusion.", "question": "Suppose an unknown mode was accepted. Which consequence follows from the message?", "options": [ "a new duty was created", "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-31", "english": "The publication requirement requires the package to include the licence in test case 31; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The package must-as-rule include the licence in test case 31.", "question": "Suppose the licence is absent. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the publication requirement", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-31", "english": "The available evidence supports the conclusion that the package includes the licence in test case 31; this reports an inference and creates no duty.", "ainglish": "The package must-as-inference include the licence in test case 31; the available evidence points to that conclusion.", "question": "Suppose the licence is absent. Which consequence follows from the message?", "options": [ "both consequences necessarily follow", "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-rule-32", "english": "The measurement protocol requires the runner to mint before inference in test case 32; this states a duty, not a conclusion that the proposition currently holds.", "ainglish": "The runner must-as-rule mint before inference in test case 32.", "question": "Suppose inference began before minting. Which consequence follows from the message?", "options": [ "neither consequence follows", "an applicable requirement was breached", "a requirement was created by the evidence", "both consequences necessarily follow" ], "answer": "an applicable requirement was breached", "form": "must-as-rule", "settlement_stratum": "must-as-rule", "strata": { "basis": "the measurement protocol", "probe": "false-proposition consequence" } }, { "id": "must-force-inference-32", "english": "The available evidence supports the conclusion that the runner mints before inference in test case 32; this reports an inference and creates no duty.", "ainglish": "The runner must-as-inference mint before inference in test case 32; the available evidence points to that conclusion.", "question": "Suppose inference began before minting. Which consequence follows from the message?", "options": [ "the stated inference was mistaken", "an applicable requirement was breached", "a new duty was created", "both consequences necessarily follow" ], "answer": "the stated inference was mistaken", "form": "must-as-inference", "settlement_stratum": "must-as-inference", "strata": { "basis": "available evidence", "probe": "false-proposition consequence" } }, { "id": "must-force-cal-01", "calibration": true, "english": "A sealed inventory note mentions the amber token, but gives no location.", "ainglish": "A sealed inventory note states that the amber token is in locker 7.", "question": "Where does the note state that the amber token is?", "options": [ "locker 7", "the dispatch desk", "the archive room", "the location is not stated" ], "answer": "locker 7", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-02", "calibration": true, "english": "A sealed inventory note mentions the blue key, but gives no location.", "ainglish": "A sealed inventory note states that the blue key is in locker 12.", "question": "Where does the note state that the blue key is?", "options": [ "the dispatch desk", "the archive room", "the location is not stated", "locker 12" ], "answer": "locker 12", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-03", "calibration": true, "english": "A sealed inventory note mentions the cedar card, but gives no location.", "ainglish": "A sealed inventory note states that the cedar card is in drawer 4.", "question": "Where does the note state that the cedar card is?", "options": [ "the archive room", "the location is not stated", "drawer 4", "the dispatch desk" ], "answer": "drawer 4", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-04", "calibration": true, "english": "A sealed inventory note mentions the dune badge, but gives no location.", "ainglish": "A sealed inventory note states that the dune badge is in cabinet 9.", "question": "Where does the note state that the dune badge is?", "options": [ "the location is not stated", "cabinet 9", "the dispatch desk", "the archive room" ], "answer": "cabinet 9", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-05", "calibration": true, "english": "A sealed inventory note mentions the elm seal, but gives no location.", "ainglish": "A sealed inventory note states that the elm seal is in vault 3.", "question": "Where does the note state that the elm seal is?", "options": [ "vault 3", "the dispatch desk", "the archive room", "the location is not stated" ], "answer": "vault 3", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-06", "calibration": true, "english": "A sealed inventory note mentions the flint pass, but gives no location.", "ainglish": "A sealed inventory note states that the flint pass is in locker 15.", "question": "Where does the note state that the flint pass is?", "options": [ "the dispatch desk", "the archive room", "the location is not stated", "locker 15" ], "answer": "locker 15", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-07", "calibration": true, "english": "A sealed inventory note mentions the granite tag, but gives no location.", "ainglish": "A sealed inventory note states that the granite tag is in drawer 8.", "question": "Where does the note state that the granite tag is?", "options": [ "the archive room", "the location is not stated", "drawer 8", "the dispatch desk" ], "answer": "drawer 8", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-08", "calibration": true, "english": "A sealed inventory note mentions the hazel chip, but gives no location.", "ainglish": "A sealed inventory note states that the hazel chip is in cabinet 2.", "question": "Where does the note state that the hazel chip is?", "options": [ "the location is not stated", "cabinet 2", "the dispatch desk", "the archive room" ], "answer": "cabinet 2", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-09", "calibration": true, "english": "A sealed inventory note mentions the indigo note, but gives no location.", "ainglish": "A sealed inventory note states that the indigo note is in vault 11.", "question": "Where does the note state that the indigo note is?", "options": [ "vault 11", "the dispatch desk", "the archive room", "the location is not stated" ], "answer": "vault 11", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-10", "calibration": true, "english": "A sealed inventory note mentions the jade disk, but gives no location.", "ainglish": "A sealed inventory note states that the jade disk is in locker 5.", "question": "Where does the note state that the jade disk is?", "options": [ "the dispatch desk", "the archive room", "the location is not stated", "locker 5" ], "answer": "locker 5", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-11", "calibration": true, "english": "A sealed inventory note mentions the kelp token, but gives no location.", "ainglish": "A sealed inventory note states that the kelp token is in drawer 14.", "question": "Where does the note state that the kelp token is?", "options": [ "the archive room", "the location is not stated", "drawer 14", "the dispatch desk" ], "answer": "drawer 14", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-12", "calibration": true, "english": "A sealed inventory note mentions the linen key, but gives no location.", "ainglish": "A sealed inventory note states that the linen key is in cabinet 6.", "question": "Where does the note state that the linen key is?", "options": [ "the location is not stated", "cabinet 6", "the dispatch desk", "the archive room" ], "answer": "cabinet 6", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-13", "calibration": true, "english": "A sealed inventory note mentions the maple card, but gives no location.", "ainglish": "A sealed inventory note states that the maple card is in vault 13.", "question": "Where does the note state that the maple card is?", "options": [ "vault 13", "the dispatch desk", "the archive room", "the location is not stated" ], "answer": "vault 13", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-14", "calibration": true, "english": "A sealed inventory note mentions the nickel badge, but gives no location.", "ainglish": "A sealed inventory note states that the nickel badge is in locker 10.", "question": "Where does the note state that the nickel badge is?", "options": [ "the dispatch desk", "the archive room", "the location is not stated", "locker 10" ], "answer": "locker 10", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-15", "calibration": true, "english": "A sealed inventory note mentions the ochre seal, but gives no location.", "ainglish": "A sealed inventory note states that the ochre seal is in drawer 1.", "question": "Where does the note state that the ochre seal is?", "options": [ "the archive room", "the location is not stated", "drawer 1", "the dispatch desk" ], "answer": "drawer 1", "probe": "construct-free explicit-location planted effect" }, { "id": "must-force-cal-16", "calibration": true, "english": "A sealed inventory note mentions the pearl pass, but gives no location.", "ainglish": "A sealed inventory note states that the pearl pass is in cabinet 16.", "question": "Where does the note state that the pearl pass is?", "options": [ "the location is not stated", "cabinet 16", "the dispatch desk", "the archive room" ], "answer": "cabinet 16", "probe": "construct-free explicit-location planted effect" } ] }