[
  {
    "id": "record-rule-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-record-rule: approved on-record(E). Tomorrow policy R9 replaces R8 and returns suspended. No later event entry is written.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-record-rule: approved on-record(E). Tomorrow policy R9 replaces R8 and returns suspended. No later event entry is written.",
    "question": "Which operation is required to change the status held on record?",
    "options": [
      "Append a later status-changing entry.",
      "Merely install R9.",
      "Edit the earlier report silently.",
      "Change the wall clock only.",
      "Cannot determine"
    ],
    "answer": "Append a later status-changing entry.",
    "semantic_frame": "record-rule",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "record-rule-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-record-rule: approved on-record(E). Tomorrow policy R9 replaces R8 and returns suspended. No later event entry is written.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-record-rule: approved on-record(E). Tomorrow policy R9 replaces R8 and returns suspended. No later event entry is written.",
    "question": "Which operation is required to change the status held on record?",
    "options": [
      "Edit the earlier report silently.",
      "Change the wall clock only.",
      "Cannot determine",
      "Append a later status-changing entry.",
      "Merely install R9."
    ],
    "answer": "Append a later status-changing entry.",
    "semantic_frame": "record-rule",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "record-later-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-record-later: approved on-record(E). At 16:00 a later event entry F records suspended for the same subject.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-record-later: approved on-record(E). At 16:00 a later event entry F records suspended for the same subject.",
    "question": "What should an auditor do with the earlier report?",
    "options": [
      "Treat the old status as guaranteed current.",
      "Claim that no status event ever happened.",
      "Cannot determine",
      "Keep it as a report of the earlier event, and distinguish the later change.",
      "Erase it because two times cannot differ."
    ],
    "answer": "Keep it as a report of the earlier event, and distinguish the later change.",
    "semantic_frame": "record-later",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "record-later-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-record-later: approved on-record(E). At 16:00 a later event entry F records suspended for the same subject.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-record-later: approved on-record(E). At 16:00 a later event entry F records suspended for the same subject.",
    "question": "What should an auditor do with the earlier report?",
    "options": [
      "Cannot determine",
      "Keep it as a report of the earlier event, and distinguish the later change.",
      "Erase it because two times cannot differ.",
      "Treat the old status as guaranteed current.",
      "Claim that no status event ever happened."
    ],
    "answer": "Keep it as a report of the earlier event, and distinguish the later change.",
    "semantic_frame": "record-later",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "record-wrong-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-record-wrong: approved on-record(E). A separate investigation shows the status verdict was mistaken, but confirms the event entry really was written.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-record-wrong: approved on-record(E). A separate investigation shows the status verdict was mistaken, but confirms the event entry really was written.",
    "question": "Which audit conclusion is warranted?",
    "options": [
      "Cannot determine",
      "The production description can be accurate even though the verdict was mistaken.",
      "The marker guarantees the investigation is false.",
      "The entry could not have been written.",
      "The marker certifies real-world correctness."
    ],
    "answer": "The production description can be accurate even though the verdict was mistaken.",
    "semantic_frame": "record-wrong",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "record-wrong-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-record-wrong: approved on-record(E). A separate investigation shows the status verdict was mistaken, but confirms the event entry really was written.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-record-wrong: approved on-record(E). A separate investigation shows the status verdict was mistaken, but confirms the event entry really was written.",
    "question": "Which audit conclusion is warranted?",
    "options": [
      "The marker guarantees the investigation is false.",
      "The entry could not have been written.",
      "The marker certifies real-world correctness.",
      "Cannot determine",
      "The production description can be accurate even though the verdict was mistaken."
    ],
    "answer": "The production description can be accurate even though the verdict was mistaken.",
    "semantic_frame": "record-wrong",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "record-reference-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-record-reference: approved on-record(E). A summary memo M mentions event E, while archive locator E retrieves the event entry itself.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-record-reference: approved on-record(E). A summary memo M mentions event E, while archive locator E retrieves the event entry itself.",
    "question": "Which identifier should the auditor use to recover the actual status assertion?",
    "options": [
      "M alone.",
      "The latest policy version alone.",
      "The current clock value alone.",
      "Cannot determine",
      "E."
    ],
    "answer": "E.",
    "semantic_frame": "record-reference",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "record-reference-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-record-reference: approved on-record(E). A summary memo M mentions event E, while archive locator E retrieves the event entry itself.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-record-reference: approved on-record(E). A summary memo M mentions event E, while archive locator E retrieves the event entry itself.",
    "question": "Which identifier should the auditor use to recover the actual status assertion?",
    "options": [
      "The current clock value alone.",
      "Cannot determine",
      "E.",
      "M alone.",
      "The latest policy version alone."
    ],
    "answer": "E.",
    "semantic_frame": "record-reference",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "record-access-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-record-access: approved on-record(E). The genuine immutable event entry E is retrievable by its author. A stranger lacks the required access rights.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-record-access: approved on-record(E). The genuine immutable event entry E is retrievable by its author. A stranger lacks the required access rights.",
    "question": "Does that access restriction alone contradict the production description?",
    "options": [
      "No; the marker grants the stranger access.",
      "Cannot determine",
      "No; an access restriction alone does not turn the entry into a computation.",
      "Yes; every person must have anonymous access.",
      "Yes; only the stranger can create an entry."
    ],
    "answer": "No; an access restriction alone does not turn the entry into a computation.",
    "semantic_frame": "record-access",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "record-access-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-record-access: approved on-record(E). The genuine immutable event entry E is retrievable by its author. A stranger lacks the required access rights.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-record-access: approved on-record(E). The genuine immutable event entry E is retrievable by its author. A stranger lacks the required access rights.",
    "question": "Does that access restriction alone contradict the production description?",
    "options": [
      "No; an access restriction alone does not turn the entry into a computation.",
      "Yes; every person must have anonymous access.",
      "Yes; only the stranger can create an entry.",
      "No; the marker grants the stranger access.",
      "Cannot determine"
    ],
    "answer": "No; an access restriction alone does not turn the entry into a computation.",
    "semantic_frame": "record-access",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "record-current-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-record-current: approved on-record(E). The message was written three weeks ago. No later history has been supplied to this reader.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-record-current: approved on-record(E). The message was written three weeks ago. No later history has been supplied to this reader.",
    "question": "What is the subject's latest status now?",
    "options": [
      "It must still be approved.",
      "It must now be suspended.",
      "It must be deleted.",
      "There can be no later event entries.",
      "Cannot determine"
    ],
    "answer": "Cannot determine",
    "semantic_frame": "record-current",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "record-current-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-record-current: approved on-record(E). The message was written three weeks ago. No later history has been supplied to this reader.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-record-current: approved on-record(E). The message was written three weeks ago. No later history has been supplied to this reader.",
    "question": "What is the subject's latest status now?",
    "options": [
      "It must be deleted.",
      "There can be no later event entries.",
      "Cannot determine",
      "It must still be approved.",
      "It must now be suspended."
    ],
    "answer": "Cannot determine",
    "semantic_frame": "record-current",
    "form_stratum": "on-record",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "derived-clock-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-derived-clock: approved derived-at-read(R8#v1). The pinned rule reads the clock. The original complete inputs are archived; a later evaluation would use a different time.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-derived-clock: approved derived-at-read(R8#v1). The pinned rule reads the clock. The original complete inputs are archived; a later evaluation would use a different time.",
    "question": "Which time belongs in a reproduction of this report?",
    "options": [
      "Any convenient midnight.",
      "The time the report is copied into a new email.",
      "Cannot determine",
      "The original evaluation time.",
      "The auditor's current time regardless of purpose."
    ],
    "answer": "The original evaluation time.",
    "semantic_frame": "derived-clock",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "derived-clock-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-derived-clock: approved derived-at-read(R8#v1). The pinned rule reads the clock. The original complete inputs are archived; a later evaluation would use a different time.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-derived-clock: approved derived-at-read(R8#v1). The pinned rule reads the clock. The original complete inputs are archived; a later evaluation would use a different time.",
    "question": "Which time belongs in a reproduction of this report?",
    "options": [
      "Cannot determine",
      "The original evaluation time.",
      "The auditor's current time regardless of purpose.",
      "Any convenient midnight.",
      "The time the report is copied into a new email."
    ],
    "answer": "The original evaluation time.",
    "semantic_frame": "derived-clock",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "derived-relay-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-derived-relay: approved derived-at-read(R8#v1) as_of(07:40). The value was computed at 07:40 and forwarded unchanged at 09:10; no rule was rerun.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-derived-relay: approved derived-at-read(R8#v1) as_of(07:40). The value was computed at 07:40 and forwarded unchanged at 09:10; no rule was rerun.",
    "question": "Which as_of time belongs on the forwarded computed value?",
    "options": [
      "Cannot determine",
      "07:40.",
      "09:10.",
      "The next midnight.",
      "No time is needed because forwarding recomputes it."
    ],
    "answer": "07:40.",
    "semantic_frame": "derived-relay",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "derived-relay-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-derived-relay: approved derived-at-read(R8#v1) as_of(07:40). The value was computed at 07:40 and forwarded unchanged at 09:10; no rule was rerun.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-derived-relay: approved derived-at-read(R8#v1) as_of(07:40). The value was computed at 07:40 and forwarded unchanged at 09:10; no rule was rerun.",
    "question": "Which as_of time belongs on the forwarded computed value?",
    "options": [
      "09:10.",
      "The next midnight.",
      "No time is needed because forwarding recomputes it.",
      "Cannot determine",
      "07:40."
    ],
    "answer": "07:40.",
    "semantic_frame": "derived-relay",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "derived-cache-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-derived-cache: approved derived-at-read(R8#v1). The computed label is stored in a field which the next run overwrites. No event entry recording the label is appended.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-derived-cache: approved derived-at-read(R8#v1). The computed label is stored in a field which the next run overwrites. No event entry recording the label is appended.",
    "question": "Which production description applies to that cached label?",
    "options": [
      "Storage alone makes it an event entry.",
      "The next run cannot change it.",
      "Its presence proves the verdict is true.",
      "Cannot determine",
      "It remains a computed value, not a status-stating event entry."
    ],
    "answer": "It remains a computed value, not a status-stating event entry.",
    "semantic_frame": "derived-cache",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "derived-cache-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-derived-cache: approved derived-at-read(R8#v1). The computed label is stored in a field which the next run overwrites. No event entry recording the label is appended.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-derived-cache: approved derived-at-read(R8#v1). The computed label is stored in a field which the next run overwrites. No event entry recording the label is appended.",
    "question": "Which production description applies to that cached label?",
    "options": [
      "Its presence proves the verdict is true.",
      "Cannot determine",
      "It remains a computed value, not a status-stating event entry.",
      "Storage alone makes it an event entry.",
      "The next run cannot change it."
    ],
    "answer": "It remains a computed value, not a status-stating event entry.",
    "semantic_frame": "derived-cache",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "derived-fresh-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-derived-fresh: approved derived-at-read(R8#v1). New archived inputs cause the same rule to return suspended on a fresh run. The old report remains archived.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-derived-fresh: approved derived-at-read(R8#v1). New archived inputs cause the same rule to return suspended on a fresh run. The old report remains archived.",
    "question": "How should the two reports be handled?",
    "options": [
      "Treat every old copy as automatically refreshed.",
      "Cannot determine",
      "Keep the earlier result at its own time and distinguish the fresh result.",
      "Rewrite the earlier report as if it always said suspended.",
      "Claim a new result is impossible without a status-stating event entry."
    ],
    "answer": "Keep the earlier result at its own time and distinguish the fresh result.",
    "semantic_frame": "derived-fresh",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "derived-fresh-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-derived-fresh: approved derived-at-read(R8#v1). New archived inputs cause the same rule to return suspended on a fresh run. The old report remains archived.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-derived-fresh: approved derived-at-read(R8#v1). New archived inputs cause the same rule to return suspended on a fresh run. The old report remains archived.",
    "question": "How should the two reports be handled?",
    "options": [
      "Keep the earlier result at its own time and distinguish the fresh result.",
      "Rewrite the earlier report as if it always said suspended.",
      "Claim a new result is impossible without a status-stating event entry.",
      "Treat every old copy as automatically refreshed.",
      "Cannot determine"
    ],
    "answer": "Keep the earlier result at its own time and distinguish the fresh result.",
    "semantic_frame": "derived-fresh",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "derived-missing-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-derived-missing: approved derived-at-read(R8#v1). Only the report and rule hash remain; part of the original input bundle is unavailable.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-derived-missing: approved derived-at-read(R8#v1). Only the report and rule hash remain; part of the original input bundle is unavailable.",
    "question": "Can a stranger reproduce the exact original output from those retained materials alone?",
    "options": [
      "No; the complete original inputs are also needed.",
      "Yes; the rule hash encodes every input.",
      "Yes; any replacement input is equivalent.",
      "Yes; the marker supplies the missing records.",
      "Cannot determine"
    ],
    "answer": "No; the complete original inputs are also needed.",
    "semantic_frame": "derived-missing",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "derived-missing-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-derived-missing: approved derived-at-read(R8#v1). Only the report and rule hash remain; part of the original input bundle is unavailable.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-derived-missing: approved derived-at-read(R8#v1). Only the report and rule hash remain; part of the original input bundle is unavailable.",
    "question": "Can a stranger reproduce the exact original output from those retained materials alone?",
    "options": [
      "Yes; any replacement input is equivalent.",
      "Yes; the marker supplies the missing records.",
      "Cannot determine",
      "No; the complete original inputs are also needed.",
      "Yes; the rule hash encodes every input."
    ],
    "answer": "No; the complete original inputs are also needed.",
    "semantic_frame": "derived-missing",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "derived-recorded-0",
    "english": "Assume the report's production description is accurate. harbour-permit-906-derived-recorded: approved derived-at-read(R8#v1). After the computation, a new immutable event entry G explicitly states the output, names the pinned rule and records when it ran.",
    "ainglish": "Assume the report's production description is accurate. harbour-permit-906-derived-recorded: approved derived-at-read(R8#v1). After the computation, a new immutable event entry G explicitly states the output, names the pinned rule and records when it ran.",
    "question": "How can a later report cite that newly written status assertion?",
    "options": [
      "Claim G rewrites the earlier computation's output.",
      "Claim G guarantees the rule was good.",
      "Cannot determine",
      "Use on-record(G) for the status stated by that new entry.",
      "Use on-record for any mutable cache without G."
    ],
    "answer": "Use on-record(G) for the status stated by that new entry.",
    "semantic_frame": "derived-recorded",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "permissions"
  },
  {
    "id": "derived-recorded-1",
    "english": "Assume the report's production description is accurate. seed-bank-batch-352-derived-recorded: approved derived-at-read(R8#v1). After the computation, a new immutable event entry G explicitly states the output, names the pinned rule and records when it ran.",
    "ainglish": "Assume the report's production description is accurate. seed-bank-batch-352-derived-recorded: approved derived-at-read(R8#v1). After the computation, a new immutable event entry G explicitly states the output, names the pinned rule and records when it ran.",
    "question": "How can a later report cite that newly written status assertion?",
    "options": [
      "Cannot determine",
      "Use on-record(G) for the status stated by that new entry.",
      "Use on-record for any mutable cache without G.",
      "Claim G rewrites the earlier computation's output.",
      "Claim G guarantees the rule was good."
    ],
    "answer": "Use on-record(G) for the status stated by that new entry.",
    "semantic_frame": "derived-recorded",
    "form_stratum": "derived-at-read",
    "boundary_case": true,
    "domain": "archiving"
  },
  {
    "id": "independent-control-0",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-0",
    "english": "The vane is zenvar0.",
    "ainglish": "For this unrelated code, zenvar0 means the vane points east. The vane is zenvar0.",
    "question": "Which direction does the vane point?",
    "options": [
      "east",
      "west",
      "north",
      "south",
      "Cannot determine"
    ],
    "answer": "east"
  },
  {
    "id": "independent-control-1",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-1",
    "english": "The vane is zenvar1.",
    "ainglish": "For this unrelated code, zenvar1 means the vane points west. The vane is zenvar1.",
    "question": "Which direction does the vane point?",
    "options": [
      "west",
      "north",
      "south",
      "Cannot determine",
      "east"
    ],
    "answer": "west"
  },
  {
    "id": "independent-control-2",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-2",
    "english": "The vane is zenvar2.",
    "ainglish": "For this unrelated code, zenvar2 means the vane points north. The vane is zenvar2.",
    "question": "Which direction does the vane point?",
    "options": [
      "north",
      "south",
      "Cannot determine",
      "east",
      "west"
    ],
    "answer": "north"
  },
  {
    "id": "independent-control-3",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-3",
    "english": "The vane is zenvar3.",
    "ainglish": "For this unrelated code, zenvar3 means the vane points south. The vane is zenvar3.",
    "question": "Which direction does the vane point?",
    "options": [
      "south",
      "Cannot determine",
      "east",
      "west",
      "north"
    ],
    "answer": "south"
  },
  {
    "id": "independent-control-4",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-4",
    "english": "The vane is zenvar4.",
    "ainglish": "For this unrelated code, zenvar4 means the vane points east. The vane is zenvar4.",
    "question": "Which direction does the vane point?",
    "options": [
      "Cannot determine",
      "east",
      "west",
      "north",
      "south"
    ],
    "answer": "east"
  },
  {
    "id": "independent-control-5",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-5",
    "english": "The vane is zenvar5.",
    "ainglish": "For this unrelated code, zenvar5 means the vane points west. The vane is zenvar5.",
    "question": "Which direction does the vane point?",
    "options": [
      "east",
      "west",
      "north",
      "south",
      "Cannot determine"
    ],
    "answer": "west"
  },
  {
    "id": "independent-control-6",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-6",
    "english": "The vane is zenvar6.",
    "ainglish": "For this unrelated code, zenvar6 means the vane points north. The vane is zenvar6.",
    "question": "Which direction does the vane point?",
    "options": [
      "west",
      "north",
      "south",
      "Cannot determine",
      "east"
    ],
    "answer": "north"
  },
  {
    "id": "independent-control-7",
    "calibration": true,
    "calibration_scope": "target-independent",
    "calibration_construct": "zenvar-7",
    "english": "The vane is zenvar7.",
    "ainglish": "For this unrelated code, zenvar7 means the vane points south. The vane is zenvar7.",
    "question": "Which direction does the vane point?",
    "options": [
      "north",
      "south",
      "Cannot determine",
      "east",
      "west"
    ],
    "answer": "south"
  }
]