docs(archaeology): preserve 2026-05-26 Lemma B pivot audit + session notes

[hyperpolymath]

Summary

Cherry-picked from the deleted orphan branch `lemma-b-phase2-middle-narrow`, which carried 14 commits dated 2026-05-26 attacking `formal/Semantics.v` via the now-banned Lemma B patterns (per CLAUDE.md owner directive 2026-05-27 DO-NOT #2).

Only the audit/session-note documentation is cherry-picked. The Semantics.v changes are deliberately left behind.

What lands

• `docs/reports/audit/audit-2026-05-26-lemma-b-option-2-obstacle.md` — the audit document that records why Lemma B Phase 2 Option 2 hit a real obstacle. Useful historical record of the pathway to the counterexample.
• `docs/reports/audit/audit-2026-05-26-standards-134-reconciliation.md` — the reconciliation against standards#134 ground truth.
• `docs/sessions/SESSION-2026-05-26-lemma-b-pivot.adoc` — the session note on the pivot.

Each file gets a prepended archaeology banner explaining that it predates the counterexample and should NOT be applied as instructions — readers should consult `STATUS.adoc` + `formal/PRESERVATION-DESIGN.md` + `PROOF-NEEDS.md` for the current doctrine.

Companion to #184

This PR pairs with #184 (just-merged past-present-future doctrine landing). Together they complete the historical-record preservation while ensuring the post-discovery framing is what future readers and sessions land on.

After merge

Orphan branch `lemma-b-phase2-middle-narrow` will be deleted.

Co-Authored-By: Claude Opus 4.7 (1M context) noreply@anthropic.com

[github-actions]

🔍 Hypatia Security Scan

Findings: 51 issues detected

Severity	Count
🔴 Critical	9
🟠 High	9
🟡 Medium	33

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Issue in abi-verify.yml",
    "type": "unknown",
    "file": "abi-verify.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in boj-build.yml",
    "type": "unknown",
    "file": "boj-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "unknown",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in governance.yml",
    "type": "unknown",
    "file": "governance.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in hypatia-scan.yml",
    "type": "unknown",
    "file": "hypatia-scan.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "unknown",
    "file": "instant-sync.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in mirror.yml",
    "type": "unknown",
    "file": "mirror.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in rust-ci.yml",
    "type": "unknown",
    "file": "rust-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in rust-ci.yml",
    "type": "unknown",
    "file": "rust-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in scorecard-enforcer.yml",
    "type": "unknown",
    "file": "scorecard-enforcer.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence