[
  {
    "id": "AU-01",
    "topic": "Native CM versus selected rotation operator",
    "correction": "The 2×2 truth-pattern identity remains idempotent; its distinct selected 4×4 operator can be square-zero. Pointwise logic, matrix composition and cyclic operator composition have different types.",
    "source_locator": "Sections 3–4; corrected nilpotent",
    "current_public_relationship": "Already compatible with the current typed CM/LM framing; retain as a misuse-prevention example."
  },
  {
    "id": "AU-02",
    "topic": "Logical pairing versus modal measurement",
    "correction": "Logical truth extraction does not supply a possible/impossible effect rule, state-update rule or probability law. Those require additional contracts.",
    "source_locator": "Section 3; LM extraction",
    "current_public_relationship": "Current public CM/LM manuscript and project explicitly disclaim physical measurement. Supporting clarification, not a new erratum against that edition."
  },
  {
    "id": "AU-03",
    "topic": "Shared module versus independent registers",
    "correction": "Their tensor products and dimensions differ. Nonzero shared-module preparations can tensor to zero. The coefficient embedding need not preserve separability.",
    "source_locator": "Sections 5–6",
    "current_public_relationship": "Applies to the historical modal branch and future BR/PC/P01 releases; not a refutation of the Boolean foundations calculus."
  },
  {
    "id": "AU-04",
    "topic": "Resource and analyzer accounting",
    "correction": "Literal one-copy universal eight-dimensional transfer requires rank-eight resources and a complete 64-outcome analyzer under the declared enlarged gate set. A logical-only four-label readout is insufficient.",
    "source_locator": "Sections 9–10",
    "current_public_relationship": "Retain with historical protocol claims and future specialist releases; no physical quantum advantage follows."
  },
  {
    "id": "AU-05",
    "topic": "Finite-copy activation",
    "correction": "The shared rotation-linear no-activation result cannot be exported to literal tensoring with unrestricted local maps and coordinate filters. A two-copy rank-six witness is supplied. Heralded possibility has no numerical success probability here.",
    "source_locator": "Section 11; finite-copy activation",
    "current_public_relationship": "Model-specific correction; do not make it an unconditional statement about quantum teleportation."
  },
  {
    "id": "AU-06",
    "topic": "Restricted classifications",
    "correction": "Fifteen Smith classes and the 192-basis contextuality results describe declared restricted families. Enlarging local transformations changes the invariant problem. Zero is not an allowed modal preparation.",
    "source_locator": "Sections 5–8 and class tables",
    "current_public_relationship": "Owner papers P01/P02/PC carry broader generalizations. This audit retains bounded evidence and correction provenance."
  },
  {
    "id": "AU-07",
    "topic": "Orthogonal corrections",
    "correction": "The stated even-dimensional rank-one complete Bell scheme cannot have all receiver corrections transpose-orthogonal. The enlarged P,T gate set does not preserve a nonzero common four-dimensional bilinear form.",
    "source_locator": "Section 12",
    "current_public_relationship": "The architecture restrictions matter; no universal no-go for every ancilla-assisted instrument or symplectic model is asserted."
  },
  {
    "id": "AU-08",
    "topic": "Copying stored coefficients versus modal cloning",
    "correction": "Stored classical bit strings can be copied. The modal cloning restriction concerns unknown tensor-state vectors and a fixed linear evolution class.",
    "source_locator": "Section 13",
    "current_public_relationship": "Use as a contract distinction, with established modal-theory attribution; not a new general cloning theorem."
  },
  {
    "id": "AU-09",
    "topic": "Support versus probability",
    "correction": "Possibilistic no-signalling does not guarantee strictly positive probability for every allowed event. Six allowed events in the supplied Bell table are forced to zero by probabilistic no-signalling constraints. Weak resolution remains possible.",
    "source_locator": "Section 14",
    "current_public_relationship": "Established modal antecedents; retain as the exact finite regression example, not a new nonlocality discovery."
  },
  {
    "id": "AU-10",
    "topic": "Evidence and claims",
    "correction": "Inherited tests, full driver enumerations, finite instances, general proofs and new package checks have different scopes. Timing receipts establish neither speedup nor physical realization.",
    "source_locator": "Sections 2, 16–17 and Appendix A",
    "current_public_relationship": "Applies across the programme. Historical manuscript file-library citations do not mean the audit reviewed today’s full CM/LM edition."
  }
]