docs+meta: wiki source-of-truth + STATE.a2ml updated for Phase 0 closure

[hyperpolymath]

Summary

Phase 0 documentation update for humans (wiki) and machines (.a2ml).

Wiki (docs/wiki/)

The GitHub wiki at hyperpolymath/typed-wasm/wiki had stale content (PMPL license, pre-restructure proof paths, no mention of production-path or current state). Sandboxed sessions can't write to the wiki repo directly — signing infrastructure is scoped to typed-wasm.git. So wiki content is now sourced from docs/wiki/ in this repo with a documented sync workflow.

Page	Purpose
Home.md	Landing — current state, 10-level table, killer feature, quick start, sibling projects, MPL-2.0 license corrected
Production-Path.md	The 6-phase plan (companion to docs/PRODUCTION-PATH.adoc)
Phase-0-Status.md	Live closure state with PR cross-links + test surface summary; documents which Phase 0 gates are met
Comparison.md	Landscape vs MS-Wasm / CHERI-Wasm / wasmGC / AssemblyScript / Rust / CompCert at each maturity level
README.md	Sync workflow + authoring rules

To deploy: cp docs/wiki/*.md ~/twasm-wiki/ && cd ~/twasm-wiki && git add -A && git commit -m "Sync from typed-wasm" && git push

STATE.a2ml (machine-readable)

Comprehensive update for the Phase 0 closure pass — was anchored to 2026-04-12. Highlights:

• last-updated 2026-04-12 → 2026-05-24
• completion-percentage 55 → 70
• New keys: production-phase = "0", production-phase-status with 3-gate breakdown
• Milestone deltas:
  • Parser/Zig/smoke 80 → 100
  • De-template release metadata 15 → 60 (PR test: Track C complete — property + security-envelope + proof regression (+64 assertions, 2 real bug fixes) #57's security.txt + SPDX fixes)
  • Benchmarks + aspect coverage 10 → 70 (property + security-envelope + proof-regression in PR test: Track C complete — property + security-envelope + proof regression (+64 assertions, 2 real bug fixes) #57)
• 4 new milestones added: production-path doc + tracking issues, tree-sitter scaffold (20%), CI persistent-reds hardening, ROADMAP truthfulness audit
• last-result warn → pass
• New [test-surface] section enumerating 545 assertions across 11 surfaces
• New [tracking-issues] section mapping each phase to its GitHub issue
• ecosystem.depends-on removed ReScript (being-removed); added ships-to for AffineScript + Ephapax

Files

• docs/wiki/Home.md — new
• docs/wiki/Production-Path.md — new
• docs/wiki/Phase-0-Status.md — new
• docs/wiki/Comparison.md — new
• docs/wiki/README.md — new (sync workflow)
• .machine_readable/6a2/STATE.a2ml — comprehensive update

No code changes.

Test plan

• Markdown renders cleanly when synced to wiki repo
• STATE.a2ml parses as valid TOML
• No regressions in existing test surfaces (no code changed)
• All PR cross-links in Phase-0-Status.md resolve

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 93 issues detected

Severity	Count
🔴 Critical	6
🟠 High	36
🟡 Medium	51

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Action actions/upload-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/download-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "believe_me undermines formal verification (1 occurrences, CWE-704)",
    "type": "believe_me",
    "file": "/home/runner/work/typed-wasm/typed-wasm/src/abi/TypedWasm/ABI/SessionProtocol.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "assert_total bypasses totality checker (1 occurrences, CWE-704)",
    "type": "assert_total",
    "file": "/home/runner/work/typed-wasm/typed-wasm/src/abi/TypedWasm/ABI/SessionProtocol.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "believe_me undermines formal verification (1 occurrences, CWE-704)",
    "type": "believe_me",
    "file": "/home/runner/work/typed-wasm/typed-wasm/src/abi/TypedWasm/ABI/Echo.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "assert_total bypasses totality checker (1 occurrences, CWE-704)",
    "type": "assert_total",
    "file": "/home/runner/work/typed-wasm/typed-wasm/src/abi/TypedWasm/ABI/Echo.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "believe_me undermines formal verification (1 occurrences, CWE-704)",
    "type": "believe_me",
    "file": "/home/runner/work/typed-wasm/typed-wasm/src/abi/TypedWasm/ABI/ResourceCapabilities.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence