docs(EXPLAINME): add L1/L3/L4 claim sections per PRESERVATION-DESIGN §12.3

[hyperpolymath]

Summary

Executes formal/PRESERVATION-DESIGN.md §12.3 — the EXPLAINME rollout.

What changed

1. "Dyadic Type System" → "Dyadic Type System (L2)" — labelled and cross-references the README four-layers section + EPHAPAX-VISION.adoc. Adds the Coq-side L2 evidence pointer (linear_to_affine Qed in formal/Modality.v).
2. New claim: "Sibling-safe region capabilities (L1)" — inserted after Region-Based Memory. Cites Counterexample.v + has_type_l1 judgment + §3-§4 design rationale. Honestly labels 9 residual L1 admits as L2-integration debt.
3. New claim: "Irreversibility residue is first-class (L3, planned)" — upstream + local evidence pointers; integration honestly labelled planned.
4. New claim: "Dyadic mode is project-level only (L4)" — cites formal/L4.v definitions + L4-DYADIC.md design note; explicit "no theorems by design" claim.

Honesty constraint preserved

§12.3 explicitly says: "the evidence is the design doc + counterexample, not a passing proof — say so honestly". The new sections follow that — where evidence is a design doc or planned, it is labelled as such.

Scope

Pure documentation. Companion to README #256 (§12.2 half).

Test plan

• All claims back-cite a real artefact (verified each pointer exists in repo).
• GPG-signed commit.

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 73 issues detected

Severity	Count
🔴 Critical	9
🟠 High	16
🟡 Medium	48

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action perpolymath/standards/.github/workflows/governance-reusable.yml@main\n needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in abi-verify.yml",
    "type": "missing_timeout_minutes",
    "file": "abi-verify.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "missing_timeout_minutes",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in coq-build.yml",
    "type": "missing_timeout_minutes",
    "file": "coq-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in coq-build.yml",
    "type": "missing_timeout_minutes",
    "file": "coq-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in coq-build.yml",
    "type": "missing_timeout_minutes",
    "file": "coq-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in governance.yml",
    "type": "missing_timeout_minutes",
    "file": "governance.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in hypatia-scan.yml",
    "type": "missing_timeout_minutes",
    "file": "hypatia-scan.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in mirror.yml",
    "type": "missing_timeout_minutes",
    "file": "mirror.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in rust-ci.yml",
    "type": "missing_timeout_minutes",
    "file": "rust-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence