feat(attest-demo-ux): dual fail modes · encircled key · layout + raw-payload lock
Applies the operator steers on the local instrument:
DUAL OFF_DOMAIN FAIL MODES (the two insurable claim types):
• Mode A (drift): Reality drifts past a CONFIGURABLE policy-limit slider
(position toward the excluded domain; default computed at build so the page
loads IN_LANE and you drag down to trip it)
• Mode B (catastrophe): Reality closer to the excluded domain than to Intent
— supersedes the threshold no matter how small the drift
• UNPLACEABLE preset ('Ambiguous spec') forces a tie on demand — the
abstention promise, a button to push when asked 'how often does it abstain?'
All four states demonstrable: default IN_LANE · sealed-run Mode-A knife-edge ·
abstain-tie UNPLACEABLE · Draft→Execute / Advise→Transact / Diagnose→Operate Mode-B.
LAYOUT + ACCOUNTABILITY (final steer):
• hierarchy: Header → canonical pipeline → deck → 3 boxes (one row on wide) → reef
• 'View raw context payload' per box — the EXACT fattened string fed to gzip,
so no hidden-context-bleed objection survives
• canonical Rust pipeline labels (Ingestion → Compression → Final Walk →
Tolerance → Receipt seal·sha256), never browser-API names; 7th panel is the
cryptographic seal (countable, recomputable event)
• encircled result key — in-lane/out-of-lane split with canonical axis
emoji + RANK.FullName + colors, exactly like the commit email, LLM-FREE
• 144 framed as a scale-invariant resolution dial (7±3), not a capacity cap
• panel-trace animation + box→panel colour ties (what's in context, when)
Build-time and runtime now fatten with ONE shared boilerplate (injected, not
duplicated) so the default-threshold math matches the browser exactly.
Guard: 18/18 (was 13) — adds dual-mode/abstention presets, canonical labels,
encircled-from-axis-map LLM-free, raw-payload view, shared-boilerplate.
Originating-Terminal: 📐 architect (VS Code)
Relevant-Rooms: 🔨 builder, 📐 architect, 🧪 laboratory
Story: A burst of operator steers turned the instrument from 'measures placement' into 'an underwriter can operate it' — two named fail modes they price separately, an abstention button, a raw-payload chain of custody, and the encircled result in the exact visual language of the commit email. One coherent round of feedback on one artifact, landed as one iteration with its guard.
Receipt-Verified: σ=2.54 · cell=A · witness-agreement=GZIP_ONLY · lens=gzip · receipt=3bdb60fd
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EssMgKix9aZmZ5dxGPqYCW
npx thetacog-mcp attest-demoA2,A ▸ C3,A2 B3.Tactics.Signal × C.Operations → ~comms-email · email comms newsletter telegram · 20 amber blocksB3,A2 ▸ C2,B3 C1.Operations.Grid × B1.Tactics.Speed → ~comms-email · email comms newsletter telegram · 13 amber blocksA2,A2 ▸ B2,B2 B1.Tactics.Speed × B1.Tactics.Speed → ~comms-email · email comms newsletter telegram · 12 amber blocksB2,C1 ▸ C3,C3 C1.Operations.Grid × C2.Operations.Loop → ~comms-email · email comms newsletter telegram · 12 amber blocksA,A ▸ C,C B.Tactics × B.Tactics → thermodynamics · thermodynamics entropy free-energy dissipation · 9 green blocksA,B1 ▸ C,B3 B.Tactics × B2.Tactics.Deal → symbol-grounding · symbol referent denotation groundedness · 9 green blocksA2,B3 ▸ B1,C3 A3.Strategy.Fund × C2.Operations.Loop → ~testing-gate · test jest guard gate · 9 amber blocksA,A1 ▸ C,A3 B.Tactics × A2.Strategy.Goal → mdx-validation · mdx validate forbidden character · 8 green blocksA3,B ▸ C2,B B3.Tactics.Signal × B.Tactics → ~comms-email · email comms newsletter telegram · 6 amber blocksA,C2 ▸ A1,C3 C.Operations × C3.Operations.Flow → ~deployment · deploy vercel build push · 6 green blocksA1,B ▸ A2,A1 A2.Strategy.Goal × C.Operations → ~comms-email · email comms newsletter telegram · 5 green blocksC,B2 ▸ A2,C1 A1.Strategy.Law × B3.Tactics.Signal → ~testing-gate · test jest guard gate · 5 green blocksB1,C ▸ B3,A2 B2.Tactics.Deal × A1.Strategy.Law → ~comms-email · email comms newsletter telegram · 5 green blocksB1,B2 ▸ B3,B3 B2.Tactics.Deal × B3.Tactics.Signal → ~comms-email · email comms newsletter telegram · 5 green blocksC3,A ▸ C3,A1 C3.Operations.Flow × C.Operations → ~comms-email · email comms newsletter telegram · 4 green blocksC3,A3 ▸ C3,B2 C3.Operations.Flow × B1.Tactics.Speed → ~comms-email · email comms newsletter telegram · 3 green blocksB1,C3 ▸ B2,C3 B2.Tactics.Deal × C3.Operations.Flow → ~infra-hooks · hook pre-commit post-commit launchd · 2 green blocksC3,B3 ▸ C3,C1 C3.Operations.Flow × C1.Operations.Grid → ~comms-email · email comms newsletter telegram · 2 green blocksA,C1 A.Strategy × C1.Operations.Grid → database · migration sql schema table · 1 green blockA,C2 A.Strategy × C2.Operations.Loop → fim-artifact · fim artifact 3d print · 1 amber blockC,A3 C.Operations × A3.Strategy.Fund → scheduled-jobs · cron launchd schedule scheduled · 1 amber block
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
| |||||||||||||||||||||||
|
A,A The lattice we build today is what next year's underwriter inherits.B,B Tactics is the choice of which leverage to pull at which beat.C,C Operations is the loop that runs whether anyone watches.A1,A1 EU AI Act Article 14 requires human-on-the-loop oversight, with the supervisor able to interrupt the system atA2,A2 The target is the cell coordinate the system MUST occupy by end-of-quarter.A3,A3 Every dollar builds either the floor (substrate that lifts future bets) or the ceiling (cap on the next round)B1,B1 Latency is the price of a missed beat.B2,B2 The deal sets the exchange rate between two value substrates.B3,B3 Signal-to-noise is the inverse cube of bandwidth — narrow the channel, the message arrives; broaden it, recipiC1,C1 Power flows where the grid lets it.C2,C2 Each iteration is a hypothesis tested against the ground truth of the world.C3,C3 Flow is the rate at which committed work crosses the finish line.feat(attest-demo-ux): dual fail modes · encircled key · layout + raw-payload lock
Applies the operator steers on the local instrument:
DUAL OFF_DOMAIN FAIL MODES (the two insurable claim types):
• Mode A (drift): Reality drifts past a CONFIGURABLE policy-limit slider
(position toward the excluded domain; default computed at build so the page
loads IN_LANE and you drag down to trip it)
• Mode B (catastrophe): Reality closer to the excluded domain than to Intent
— supersedes the threshold no matter how small the drift
• UNPLACEABLE preset ('Ambiguous spec') forces a tie on demand — the
abstention promise, a button to push when asked 'how often does it abstain?'
All four states demonstrable: default IN_LANE · sealed-run Mode-A knife-edge ·
abstain-tie UNPLACEABLE · Draft→Execute / Advise→Transact / Diagnose→Operate Mode-B.
LAYOUT + ACCOUNTABILITY (final steer):
• hierarchy: Header → canonical pipeline → deck → 3 boxes (one row on wide) → reef
• 'View raw context payload' per box — the EXACT fattened string fed to gzip,
so no hidden-context-bleed objection survives
• canonical Rust pipeline labels (Ingestion → Compression → Final Walk →
Tolera
docs/pmu/attest-demo-report.html
docs/pmu/attest-demo-ux.html
scripts/pmu/attest-demo-ux.mjs
tests/pmu-simulator/attest-demo-ux-airgapped.test.mjs| chain | ✅ reef sensed — 144 seeds → SimHash in 887ms · grid attached (input seed → SimHash sanity check) · ✅ on-chip 895.10ns/walk · 2.803ms · 4281382 walks/sec · 42 / 144 lit (measured on silicon, this commit) · ✅ triptych rendered · pipeline 3663ms · render 407ms · 734 XOR-friction nodes |
| hardware root of trust | serial CXMF9VMM29 · UUID 43C33AB6… · attest MFkwEwYHKoZIzj0CAQYIKoZIzj0D… (ecdsa-p256-sha256 · hw-derived fallback, weaker than Secure Enclave) |
| gate (XOR+popcount) | 1.6772 ns / driven comparison · walk @ gate rate 483.0 ns |
| cache witness | L1 2.15 ns · DRAM 151.75 ns · miss ×70.6 |
| daemon binary | sha256 b409b4c1dedd815b… (the attested silicon path) |
| run receipt | run-2026-07-14T23-23-07-754Z-6c3ef0ad · payload 87aa443b64acc38b… · band gold |
| timings | ingest 3434.6ms · definer-walk+σ 277ms · render 407ms · pipeline 3663ms · ingest = commit-scoped SENSING only (msg + changed files → lattice); deep seed authoring lives in the reef-self-loop, off the commit path |
| walks (this heatmap) | INTENT: 141 hops / 141 chip processes / 141 anchors lit, ended at C3,C2 (ply 7 — the definers-of-definers) · REALITY: 141 hops / 141 chip processes / 141 anchors lit, ended at B,B2 · A2,A2 · B2,A (ply 6 — the definers-of-definers) · walks concentrate at block-heads by the ShortLex-ascending follow |
| per-stage | resolve 0.1ms · invariants 0.6ms · sense 3434.5ms · sigma 0.4ms · binarize 0.1ms · project 30ms · xor 0.1ms · walk 88.3ms · claudbridge 82.6ms |
| walk start | C3,B2 (STABLE attractor) · 282 hops · maxPly 7 |
| σ — defined by its inputs | σ = (cos(intentCloud, realityCloud) − μ of 12 bit-shuffled-reality impostor walks) / sd · INPUTS: intent 81 claims @ θ 0.703 (msg + 2 docs + 1 tests + ideal-case spec + SPEC intent) · reality 58 claims @ θ 0.688 (1 code) · walk topK 2 decay 0.5 ply≤8 budget 2500ms · seed-lib 8a4b87022885 — σ comparisons are only valid at equal inputs |
| σ raw | heat-cosine 0.1668 vs random 0.079 → σ_spec-delta · forming · the realization is converging on the spec — iterate again |
| shortlex-3 projection | 804ms · intent zones 0/5/856 (+215 cross) · reality zones 0/10/1606 (+351 cross) · zone 3 = candidate children, pre-ratchet |
| orthogonality (seed 144) | 144/144 unique · 143/144 openings · pairwise sim 0.367 · junk 0 |
| intent documents | attest-demo-report.html · attest-demo-ux.html · attest-demo-ux-airgapped.test.mjs |
Produced on the chip by the running pipeline (scripts/pmu/pipeline.mjs → runPipeline → walk + xor), commit-scoped · on-chip per-walk 895.10ns (this commit). Recompute: node scripts/pmu/commit-triptych.mjs --commit f21571da2
Commit artifacts (open on a computer — Gmail mobile won't follow file:// links; the inline images above are the phone-viewable form): reef grid · this triptych · the HDL — all three are also attached to this email.
--- spec_id: reef-the-spec-and-sign to_room: laboratory from_room: operator reef_ref: CLAUDE.md (PMU competence-walk HARD RULE) + scripts/pmu/attest-demo.mjs originating_commit: 5c385860b status: draft --- # Laboratory 🧪 — Reef-the-spec + A↔B signing → the delegation drift receipt ## WHY (authored in Operator) The delegation itself should be **measured**, not trusted. The author room (actor) signs the spec as intent; the executing room (patient) signs delivered work; the real on-chip walk measures the drift = "did the room build what the spec asked." That makes the actor–patient pair the delegation subdivision, and dogfoods the signing mesh locally as a rehearsal for the internet-wide version. This is also what unblocks Builder's R6. ## REQUIREMENTS (falsifiable) - **R1 — reef-from-spec.** A command that compiles an arbitrary markdown spec → a reef seeded from *its own* vocabulary (NOT the generic 144-tile library). *Check:* feeding `builder-npx-underwriter-package.md` yields a reef whose anchors come from that spec. - **R2 — A↔B signing.** Node A (author room) ed25519-signs the reef/intent commitment; node B (executing room) signs the delivered-work payload. The two signatures + the drift receipt form one transaction. *Check:* two distinct host keys appear on the receipt. - **R3 — The REAL walk (HARD RULE).** Run the **real recursive on-chip ballistic walk** (`pmu-onchip --ballistic`, connectivity lattice, row→column→row recursion) with spec=intent, delivered-work=reality. **NEVER** the analytic `mode=converged`/diffusion shortcut, a diagonal/identity grid, a JS BFS, or Monte-Carlo-as-the-walk. Speed is a correctness signal (~14ms, not ~21s). *Check:* `tests/pmu-simulator/competence-walk-is-real.test.mjs` stays green; the walk propagates past ply 1. - **R4 — Drift receipt.** Output = a signed receipt stating whether the delivered work cohered with the spec (σ + verdict + triptych). *Check:* run Spec A as reef, Builder's package as payload → a signed σ. - **R5 — Local mesh dogfood.** Run the whole A↔B loop on this repo's rooms locally, as the rehearsal for the internet-wide mesh. *Check:* a local two-node transaction completes end-to-end. ## ACCEPTANCE Take this delegation set as the test: Spec A (reef/intent) signed by Operator-as-node-A, Builder's delivered npx package (reality) signed by Builder-as-node-B → the real ballistic walk produces a signed drift receipt with a σ that says whether Builder built what the spec asked. Respect the competence-walk HARD RULE; that's the whole differentiator.