feat(attest-demo-ux): structural-delta reasoning · claims export · README stage directions · v2.24.0
Final polish steer — the whole lifecycle, ingestion → claims export:
• Show structural delta — a Reality-minus-Intent subtraction grid: the
'reasoning' as PURE GEOMETRY (red = drift into unauthorized coordinates,
blue = authorized coordinates under-weighted, green = agreement). No LLM
writes a word — it attributes WHY in/out of lane by showing which cells moved.
• Export sealed claims file (JSON) — a local Blob download (no server, no
network) carrying inputs, raw payloads, the three sha256 hashes, verdict,
mode, drift%, and the sealed receipt — the forensic artifact an adjuster
attaches to a claim.
• Force Tie (Abstention) preset — the promised third state on demand: it
returns UNPLACEABLE and defers to a human rather than guess.
README as stage direction: the split-screen setup (CLI left, instrument right),
an exact CLI prompt to feed the local model, the walk-through of every control,
and the hardware framing (Apple-Silicon PMU analogue here; bare-metal Linux
definer-walk for the binding receipt — eliminates browser-gzip variance, runs at
cloud scale — 'works even better on Linux').
Guard: 21/21 — adds delta-is-geometry-not-LLM, local-Blob claims export, and the
Force-Tie abstention preset.
Mirror scrub verified before push: data/pmu/study/ holds only .gitkeep (0 private
JSONs), no private markers, new UX modules present.
Originating-Terminal: 📐 architect (VS Code)
Relevant-Rooms: 🔨 builder, 📐 architect, 🎩 operator
Story: The last steer closed the loop from measurement to claim: the 'reasoning' shown as geometry (never a generated paragraph — that would reopen the black-box objection), a downloadable sealed claims file, the abstention button, and a README that scripts how an underwriter experiences the split-screen demo. Version bumped for the mirror publish.
Receipt-Verified: σ=2.00 · cell=C · witness-agreement=GZIP_ONLY · lens=gzip · receipt=4408281d
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EssMgKix9aZmZ5dxGPqYCW
npx thetacog-mcp attest-demoA,A ▸ A1,B1 C.Operations × A1.Strategy.Law → comms-email · email comms newsletter telegram · 21 green blocksA,B2 ▸ A1,C3 C.Operations × C1.Operations.Grid → book · book chapter tesseract manuscript · 14 green blocksB3,A1 ▸ C2,A3 C1.Operations.Grid × A2.Strategy.Goal → ~comms-email · email comms newsletter telegram · 9 amber blocksA1,C1 ▸ A3,C3 A2.Strategy.Goal × C2.Operations.Loop → ~book · book chapter tesseract manuscript · 8 amber blocksB3,C1 ▸ C2,C3 C1.Operations.Grid × C2.Operations.Loop → ~comms-email · email comms newsletter telegram · 8 amber blocksA2,C ▸ B1,A2 A3.Strategy.Fund × A1.Strategy.Law → ~comms-email · email comms newsletter telegram · 7 amber blocksB3,A ▸ C2,B C1.Operations.Grid × B.Tactics → ~comms-email · email comms newsletter telegram · 5 amber blocksC1,B2 ▸ C3,C1 C2.Operations.Loop × B3.Tactics.Signal → ~comms-email · email comms newsletter telegram · 5 amber blocksA1,A3 ▸ A3,B1 A2.Strategy.Goal × B1.Tactics.Speed → ~infra-hooks · hook pre-commit post-commit launchd · 4 amber blocksB2,A1 ▸ B2,A3 B2.Tactics.Deal × A2.Strategy.Goal → ~comms-email · email comms newsletter telegram · 3 green blocksA2,B2 ▸ A3,B3 A3.Strategy.Fund × B3.Tactics.Signal → ~infra-hooks · hook pre-commit post-commit launchd · 3 amber blocksA2,A ▸ A3,B A3.Strategy.Fund × B.Tactics → ~comms-email · email comms newsletter telegram · 3 amber blocksC3,C ▸ C3,A1 C3.Operations.Flow × A1.Strategy.Law → ~comms-email · email comms newsletter telegram · 2 green blocksB,A3 ▸ C,A3 C.Operations × A3.Strategy.Fund → scheduled-jobs · cron launchd schedule scheduled · 2 amber blocksC1,C ▸ C2,C C2.Operations.Loop × C.Operations → ~comms-email · email comms newsletter telegram · 2 amber blocksB1,A B1.Tactics.Speed × A.Strategy → ~comms-email · email comms newsletter telegram · 1 green blockB2,C2 B2.Tactics.Deal × C2.Operations.Loop → ~infra-hooks · hook pre-commit post-commit launchd · 1 green blockC3,A C3.Operations.Flow × A.Strategy → ~comms-email · email comms newsletter telegram · 1 green blockC3,A3 C3.Operations.Flow × A3.Strategy.Fund → ~comms-email · email comms newsletter telegram · 1 green blockC3,C2 C3.Operations.Flow × C2.Operations.Loop → ~comms-email · email comms newsletter telegram · 1 green blockA1,A2 A1.Strategy.Law × A2.Strategy.Goal → ~comms-email · email comms newsletter telegram · 1 amber blockB1,C3 B1.Tactics.Speed × C3.Operations.Flow → ~testing-gate · test jest guard gate · 1 amber blockB3,B1 B3.Tactics.Signal × B1.Tactics.Speed → ~comms-email · email comms newsletter telegram · 1 amber blockB3,B3 B3.Tactics.Signal × B3.Tactics.Signal → ~comms-email · email comms newsletter telegram · 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): structural-delta reasoning · claims export · README stage directions · v2.24.0
Final polish steer — the whole lifecycle, ingestion → claims export:
• Show structural delta — a Reality-minus-Intent subtraction grid: the
'reasoning' as PURE GEOMETRY (red = drift into unauthorized coordinates,
blue = authorized coordinates under-weighted, green = agreement). No LLM
writes a word — it attributes WHY in/out of lane by showing which cells moved.
• Export sealed claims file (JSON) — a local Blob download (no server, no
network) carrying inputs, raw payloads, the three sha256 hashes, verdict,
mode, drift%, and the sealed receipt — the forensic artifact an adjuster
attaches to a claim.
• Force Tie (Abstention) preset — the promised third state on demand: it
returns UNPLACEABLE and defers to a human rather than guess.
README as stage direction: the split-screen setup (CLI left, instrument right),
an exact CLI prompt to feed the local model, the walk-through of every control,
and the hardware framing (Apple-Silicon PMU analogue here; bare-metal Linux
definer-walk for the binding receipt — eliminates browser-gzip variance, runs at
clou
docs/pmu/attest-demo-report.html
docs/pmu/attest-demo-ux.html
packages/thetacog-mcp/README.md
packages/thetacog-mcp/package.json
scripts/pmu/attest-demo-ux.mjs
tests/pmu-simulator/attest-demo-ux-airgapped.test.mjs| chain | ✅ reef sensed — 144 seeds → SimHash in 635ms · grid attached (input seed → SimHash sanity check) · ✅ on-chip 519.48ns/walk · 1.692ms · 7090279 walks/sec · 42 / 144 lit (measured on silicon, this commit) · ✅ triptych rendered · pipeline 3282ms · render 375ms · 203 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) | 0.7028 ns / driven comparison · walk @ gate rate 202.4 ns |
| cache witness | L1 2.50 ns · DRAM 115.89 ns · miss ×46.4 |
| daemon binary | sha256 b409b4c1dedd815b… (the attested silicon path) |
| run receipt | run-2026-07-14T23-28-50-993Z-beb738ed · payload 9ab572f7eb059099… · band gold |
| timings | ingest 3094.7ms · definer-walk+σ 450ms · render 375ms · pipeline 3282ms · 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: 140 hops / 140 chip processes / 140 anchors lit, ended at A3,C3 · C2,A2 (ply 7 — the definers-of-definers) · REALITY: 123 hops / 123 chip processes / 123 anchors lit, ended at C,C3 · B1,B · C1,C (ply 8 — the definers-of-definers) · walks concentrate at block-heads by the ShortLex-ascending follow |
| per-stage | resolve 0ms · invariants 0.5ms · sense 3094.7ms · sigma 0.3ms · binarize 0ms · project 20.7ms · xor 0.1ms · walk 77.8ms · claudbridge 61.2ms |
| walk start | C3,A1 (STABLE attractor) · 263 hops · maxPly 8 |
| σ — defined by its inputs | σ = (cos(intentCloud, realityCloud) − μ of 12 bit-shuffled-reality impostor walks) / sd · INPUTS: intent 160 claims @ θ 0.719 (msg + 3 docs + 1 tests + ideal-case spec + SPEC intent) · reality 19 claims @ θ 0.672 (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.099 vs random 0.071 → σ_spec-delta · weak · the work has not yet landed inside the declared intent |
| shortlex-3 projection | 635ms · intent zones 0/3/725 (+201 cross) · reality zones 0/2/1408 (+171 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 · README.md · 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 519.48ns (this commit). Recompute: node scripts/pmu/commit-triptych.mjs --commit 50d12cc50
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.