Intrikata Stack guide · package 1.7.1

Statement traces

Human-readable guide · view canonical Markdown · updated 2026-08-26

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)

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

Statement table

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

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)

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_