# Statement traces — closed M/G/S/MGS · ASEC · AWITS

**Canonical host:** https://docs.intrikata.com/TRACE.md  
**Machine cert:** https://docs.intrikata.com/demo/asec-awits-trace.json  
**Cycle:** `inv-mmgp-20260822-docs-trace`  
**Package:** see `/release.json` (currently 1.7.0, 53 traps)

This page is the **documentation completeness contract**. Every published claim
on docs.intrikata.com must have a **closed quartet** (META + GENESIS + SHADOW +
MGS) plus an **ASEC** referent (bridge, swarm, agent, or named cert) and, when
the claim is about necessity/ranking, an **AWITS** referent (RdGapCatalog graph
`AWITS Candidate-Necessity R&D Map v2.1`).

**How to use (agents):** invoke the listed **skill** — do not treat this table as
a cafeteria (megapraxis trap #52). Listing presence is not a dispatch license.
User-typed `/megapraxis`, `/metamegapraxis`, `/megametapraxis`, `/mgs-asec-resolve`
are explicit selectors.

**Closed quartet** means each layer has a disk- or HTTP-verifiable referent, not
that residuals are empty. SHADOW rows that name a residual are still closed
*as documentation*.

---

## Graphs (ASEC + Fusion + AWITS)

| Graph | Id | Role |
|---|---|---|
| ASEC | `0cc81ba6-47db-4a44-9a2d-28289505885a` | Agents, SwarmInvocations, BridgeCompilationManifest |
| M/G/S/MGS Fusion Complex (v1) | `a4eafb6f-eec3-4532-8b32-92854138045e` | Skill-layer classify / completeness |
| BridgeCompilationManifest (canonical) | `8885fbd0-4f53-4b5a-bf8a-6993ff45bb2f` | currently listed leaf census (not a cap); required composable N UNDECIDABLE |
| AWITS Candidate-Necessity R&D Map v2.1 | `029bc274-17fc-42fa-9055-a42dc197bb26` | RdGapCatalog_v1 necessity ranking (not a forecast) |
| Are We In The Singularity (AWITS) v1 | `288a8945696adc7323ca2db72f607b98` | Live public-proxy snapshot node (attention tape) |
| AWITS Evidence and Residual Closure v2-skeleton | `6f3e771c-3645-45ab-98c9-835b1f278e13` | ForecastIssue / GateEvaluation withheld-by-design |

Meta-bridge `bridge::bridge-selection-meta` (`d34ba639-3071-4f98-bd33-5638a5967a24`)
is **intentionally excluded** from `bridge_ids[]` because it is a **router**, not a leaf.
That exclusion is role, not a cap. `total_bridges` is a census of currently listed
leaves. The required number of composable bridges for a plateau approaching the
Tarski undecidability limit is **UNDECIDABLE**. There is no "16th leaf" limit.

---

## Skill invocation map

| Skill | Invoke | Layer bias | Closes which statements |
|---|---|---|---|
| `megapraxis` | `/megapraxis` | MGS + META | boot modes, env counts, coverage grids, first-move |
| `metamegapraxis` | `/metamegapraxis` | META + SHADOW | 53-trap roll-call, bridges, propose/apply |
| `megametapraxis` | `/megametapraxis` | SHADOW + META | envelope drift; never a distance-to-limit number |
| `mgs-asec-resolve` | `/mgs-asec-resolve` | META + MGS | compose ready ops; pack OP_CONTEXT with ASEC+Fusion+SNAP |
| `gap-class-trichotomy` | (companion) | META | decidable / semi / Tarski buckets |
| `praxis-local-realize` | `realize.py` / onboard-local | GENESIS | cross-harness install without inventing graph mode |
| `verify` (this repo) | after deploy | MGS | live HTTPS + zip magic + snapshots API |

---

## Statement table

Each row is one published claim. **Status** is the documentation status of the
*trace*, not a product-done claim.

| Statement | Skill | META | GENESIS | SHADOW | MGS | ASEC / cert | AWITS | Status |
|---|---|---|---|---|---|---|---|---|
| Package version is `release.json.package_version` (1.7.0) | `verify` | `/release.json` | `release.json` on disk | historical snapshots are not this version | GET `/release.json` | `/demo/whitepaper.json` | n/a (stack surface) | closed |
| Trap inventory is 53 | `metamegapraxis` | traps.md inventory size line | packaged `praxis/skills/megapraxis/references/traps.md` | snapshot #7/#8 inventories are historical | `/metamegapraxis` roll-call must sum to 53 | seed Swarm `a846e4bd` | n/a | closed |
| Trap #7 pyc-shadowing is CLOSED on this backend (2026-08-22) | `metamegapraxis trap 7` | traps.md trap 7 SIGNAL | `scripts/probe_pyc_shadowing.py` | comparator TypeError on mixed set consts is instrument-gap, not stale pyc | venv python probe + `py_compile` | this cycle TRACE cert | n/a | closed |
| BridgeCompilationManifest leaf count is a census, not a cap; required composable N is UNDECIDABLE | `metamegapraxis bridges` | pin `8885fbd0` + efficiency.md verification invariant | currently listed `bridge_ids[]` resolve `kind=Bridge`; class F = stale census only | class-E reverse remains semi (no OFFSET); extra-includes may be composed; "16th leaf" withdrawn | `/metamegapraxis bridges` | `8885fbd0` | n/a | closed-modulo-class-E |
| Filesystem-fallback megapraxis is valid without MCP | `megapraxis` | SKILL.md graph-optional contract | onboard-grok.md | MCP-down ≠ briefing-invalid | `/megapraxis` `_via: filesystem_` | `/demo/grok-onboard.json` | n/a | closed |
| Production deploy branch is **master** | `metamegapraxis` traps 34/35 | SITE.md deploy table | `wrangler.toml` + wrangler deploy `--branch=master` | `--branch=main` is Preview | `wrangler pages deploy public --project-name=intrikata-stack --branch=master` | bridge `cf75d98c` (trap 24 sibling) | n/a | closed |
| Zip is a real zip, not SPA HTML | `praxis-local-realize` / `verify` | SITE.md zip-magic | `/pkg/intrikata-stack-skills.zip` | SPA fallback 200 HTML is the failure class | GET zip, first bytes `PK` | `/demo/site-surface.json` | n/a | closed |
| Live snapshots API is JSON with Accept | `verify` | SITE.md §3.6 | `functions/api/snapshots/` | snapshot #7/#8 inventories lag package; not current-release proof | GET `/api/snapshots/latest` | snapshot rows in D1 | n/a | closed-modulo-horizon |
| Distance to the Tarski limit is UNDECIDABLE | `megametapraxis` | core-5 named every full report | `/demo/megametapraxis.json` | never emit a numeric “closer” | `/megametapraxis` measure | envelope `baseline.json` (operator machine) | n/a | closed (standing residual) |
| Standing core-5 must be named | `megametapraxis` / `metamegapraxis` | unknown-unknowns · true-lens-independence · fixed-point-vs-plateau · state-validity-horizon · converged-vs-correct | TRACE.md this section | TARSKI-ABSORPTION if claimed complete with fewer than 5 | name in every audit/measure | tarski-acknowledgment-protocol `7549f291` | n/a | closed (standing residual) |
| AWITS ranking is not an occurrence forecast | metamethodology / RdGapCatalog | `/metamethodology.md` part 2 | `/demo/rdgap-necessity.json` | `T-COUNTERFACTUAL-NECESSITY`; readiness unmeasured | `ops/RdGapCatalog_v1` | AWITS graph `029bc274` | **required** | closed |
| Markets have zero necessity weight | same | formula `0.60/0.25/0.15` | rdgap-v2.1 spec | attention tape is context only | GET `/rdgap` | same graph | **required** | closed |
| Forward Stress Forecast is withheld | `mgs-asec-resolve` | `/awits-withheld.md` historical v3.1 | `/demo/awits-forward-stress-withheld.json` now mirrors v3.2 | superseded 2026-08-23 | live GET `/api/signal` `forecast.status=published` | ASEC swarm `b81798e5` | residual skeleton `6f3e771c` + AWITS v1 `288a8945` | **superseded** by v3.2 published envelopes |
| Public-proxy composite has zero necessity weight | same | TRACE this row + `/awits-withheld` | receipt channels/arxiv/events named | markets and RdGap necessity remain zero-weight; v3.2 envelopes are not a singularity probability | topology snapshot refresh + docs/console mirrors | ASEC swarm this cycle | **required** | closed |
| v3 reverse-time Intrikata projection is the public object | `mgs-asec-resolve` + `layer6-tarski-boundary` | `SINGULARITY_V3_SPEC` + `/awits-withheld.md` | `lib/reverse-time-projection.ts` lookbacks `realized-past-not-forward-range` | distance-to-limit UNDECIDABLE; definitional occurrence null | live `/api/signal` `reverseTimeProjection` | ASEC swarm `b81798e5` continued | AWITS v1 + residual skeleton | closed (standing Tarski) |
| v3.1 reverse-topo folds all AWITS sections into M/G/S/MGS and targets 72% next-step validity | `mgs-asec-resolve` | `awits-mgs-sections.ts` 16/16 slotted | `reverse-topological-projection.ts` walk-forward | skill-over-persistence still unproven; 72% is envelope containment not a 7/30/90 range | live `reverseTimeProjection.reverseTopology` | MethodExecution `d540f23c` continued | same graphs | closed-modulo-live-tape |
| v3.2 publishes 7/30/90 public-proxy envelopes and operational not-occurred | `mgs-asec-resolve` | `/awits-withheld.md` | `/demo/awits-v32-live.json` horizons length 3; hysteresis 65/70 | envelopes are not a singularity probability; `singularityDeclared=false` | live `/api/signal` `forecast.status=published` `decision.authority=v3.2` | AWITS worker v3.2 | same graphs | closed-modulo-live-tape |
| 37/37 rdgap workstream probes implemented, not frontier | `RdGapCatalog_v1` + capability runtime | `/rdgap` + `/demo/awits-rdgap-capability-impl.json` | probesPassed=37; byClass 8/17/12 | frontierCapabilityClaim not-claimed; readiness unmeasured; necessity weight 0 | live `/api/rdgap-topology` `capabilityImplementationReport` | graph `029bc274` | **required** | closed (probe implementations; not frontier AGI) |
| Grok onboard needs no MCP | `megapraxis` + onboard-grok | onboard-grok.md | `~/.grok/skills` install | traps 4/5 N/A on pure orientation | `/megapraxis` filesystem | `/demo/grok-onboard.json` | n/a | closed |
| Codex install-once is marketplace + plugin | onboard-codex | onboard-codex.md | `codex plugin add praxis@intrikata-stack` | registry must be verified in a **new** task | marketplace add git URL | `/demo/codex-onboard.json` | n/a | closed |
| Completeness grids are Fusion-classified | `megapraxis` | Primitive 6/7 | BootResponse `mgsCoverage` | never heuristic-classify if graph down (trap #9) | `/megapraxis` | Fusion `a4eafb6f` | n/a | closed |
| Discoverable skill listing is not a menu | `megapraxis` trap 52 | TRACE.md this sentence | ASEC SwarmComposer/Executor | ad-hoc skill from listing is OPEN | invoke named slash or ASEC dispatch | seed `a846e4bd` | n/a | closed |

---

## This cycle (2026-08-23)

**Decidable closed in-session (operator evidence, then published here):**

- Live AWITS `/api/signal` `modelVersion=v3.2-live-authority-forward-occurrence-2026-08-23`, `forecast.status=published`, three 7/30/90 horizons, `decision.authority=v3.2`, hysteresis 65/70 unchanged.
- Operational occurrence claim: `not-occurred-under-operational-criterion`. Definitional `occurred=null` (`T-DEFINITIONAL`). `singularityDeclared` remains false.
- Live `/api/rdgap-topology` `capabilityImplementationReport`: probesPassed=37/37, allFrontierClaimsWithheld=true, allWorkstreamReadinessUnmeasured=true, byClass 8 decidable / 17 semi / 12 Tarski.
- Docs / console / topology receipts updated from the live report. Historical withheld JSON now mirrors v3.2 (filename kept).

## Prior cycle (2026-08-22)

**Decidable closed in-session (operator evidence, then published here):**

- Trap #7: 442 FILES full-validity ties on `intrikata-topology` excluding `.venv`; 441 structural MATCH; 0 DIFF; 1 `py_compile=0` exception (`ProcessLifecycleGuard_v1/main.py` set-const sort TypeError). Verdict **CLOSED**.
- Bridges: 15/15 `kind=Bridge`, class A–D/F/G = 0 this turn. Extra include-edge `62362762` named, not silently absorbed.
- Forward Stress Forecast: then live `forecast.status=withheld`. **Superseded 2026-08-23** by v3.2 published envelopes. Distance to the Tarski limit remains UNDECIDABLE. Definitional occurrence is not claimed.

**Semi-decidable queued:**

- Class-E reverse sweep: full-text `search query=bridge::` timed out 600s. Retry with `nodes_search query=bridge::` scoped to ASEC.

**Tarski (named, not closed):**

- unknown-unknowns
- true-lens-independence (this cycle one model family: Grok 4.6)
- fixed-point-vs-plateau
- state-validity-horizon (snapshot inventories vs 53-trap package)
- converged-vs-correct

---

## Invoke protocol (MGS)

```text
1. /megapraxis                 — session surface
2. /metamegapraxis             — 53-trap + bridges
3. /megametapraxis snapshot    — validated envelope (names core-5)
4. /mgs-asec-resolve <claim>   — only when the claim is metareasoning above one skill
5. After docs edits: venv python validate.py
6. Deploy: npx wrangler pages deploy public --project-name=intrikata-stack --branch=master
7. Verify: GET /TRACE.md /demo/asec-awits-trace.json /release.json (sleep ≥20s after deploy)
```

**Verdict for this documentation cycle:** `converged-modulo-harness` — public statement traces are closed as a quartet; v3.2 publishes 7/30/90 public-proxy envelopes and operational not-occurred; 37/37 rdgap probes are implementations not frontier completion; class-E sweep and live snapshot inventory remain named residuals; core-5 remain named.

_via: filesystem + this-session MCP `nodes_get` on manifest 8885fbd0 + trap-7 probe_