Notational Intelligence as Commit Law

System One decides in software. WCA decides whether the machine is allowed to move.

This page shows the P0 interactive figure shells for Notational Intelligence as Commit Law. Claims stay ledger-safe (CLAIM_LEDGER_NI.md). Display grades are V0 through V2 only for this prototype.

Run the shipped simulator at /living/fpga-sim/, then the Alchitry Pt V2 guide for Stage C UART seed-1 evidence.

ni-inf-01

Notational lineage from Iverson to WCA

illustrative V1 stub

Illustrative Manim figure. Notation moves from Iverson to Lee to WCA, where it becomes the allow-or-refuse gate. Cite Lee generously. board_synth_claimed=false. No meter reading is reported here.

What to look at: the timeline nodes. Hover a node; click opens the cite chip. PDF twin: static timeline plus cite list (§1 / §2).

ni-diag-01

System One and the WCA complement

illustrative V1 stub

Proposers sit upstream. The gate owns the irreversible branch. PDF twin: static Mermaid or SVG of the complement path (§2 / §7).

ni-diag-02

Commit stack and compose predicates

Supports the commit stack and compose predicates in /papers/gates/ (oracle-safe, check-safe, set-safe).

illustrative V1 stub

Illustrative Manim figure. Sense, then propose, then certify (LUT and energy, optionally CBF), then commit or refuse. A proposal never self-commits. measured_j=None. board_synth_claimed=false.

What to look at: the compose selector and stack flow. PDF twin: static stack (§3 / §4).

ni-fig-01

wca.commit.v1 annotated schema

measured (schema) illustrative (UI) V2 stub

Annotated refuse example from schema schemas/wca.commit.v1/. PDF twin: static JSON (§3 / §4).

ni-run-01

Seed-1 SoC golden code-runner

measured [SURROGATE] V2 stub measured + [SURROGATE]

Frozen golden scoreboard: committed=1, refused=15, J≈8.6795e-10 (surrogate). Browser shows frozen RESULTS; live re-run is via cargo, not WASM yet. PDF twin: static scoreboard (§5).

ni-run-02

Safe-PH false-allow=0

Supports claim NI-3 in /papers/gates/ (check-safe / oracle-safe false allow = 0 on the stated grid).

measured (toy) V2 stub false-allow = 0

Toggle Safe-PH to show seed-1 parity row.

Safe-PH keeps false-allow at 0 on toy grids only. PDF twin: static table excerpt (§5).

ni-run-03

MCP gate demo

measured (demo) V2 stub

Select a demo case…

Refuse before execute on irreversible tools. PDF twin: static mcp_gate_demo.json case table (§5 / §7).

ni-inf-02

Joule tiers A, B, and C

illustrative [SURROGATE] tier A V1 stub board_synth_claimed=false

Click a tier. UI refuses DUT language until evidence exists.

Illustrative Manim figure. Tier A is OpCounter times analytical E_* (surrogate). Tier B is a tool estimate. Tier C is a DUT meter and is not claimed here. board_synth_claimed=false. Never invent measured_j. OpCounter is not board power.

Click a tier. The UI refuses DUT language until evidence exists. PDF twin: static tier ladder with board_synth_claimed=false (§5 / §8).

shared-diag-01

Complement path (shared embedding)

illustrative V1 stub

Same object as ni-diag-01: one build, two embeddings.

PDF twin: static Mermaid or SVG (§7).

shared-inf-01

Hardware scale wave versus commit-law bet

illustrative V1 stub

Wave center

Bigger transformers + tokens/$
Soft confidence / RLHF as “safety”
FLOPs/$ dashboards
Dense matmul substrates

OpenIE / WCA bet

Notation as runtime commit/refuse law
lut_allow ∧ energy_ok [∧ cbf] certificates
Joule honesty by tier A/B/C + DUT when real
LUT-first hot path behind scaled proposers

Click a steelman card.

Two bets side by side. PDF twin: static two-column panel (§1).

shared-inf-02

Honesty tag meanings

illustrative V2 stub

Click a tag. Grades V0 through V4 never upgrade a ledger row. These tags must appear near any joule figure.

What each honesty tag means. PDF twin: static tag strip (§8).

shared-fig-01

Commit atoms strip

measured (schema) illustrative (UI) V2 stub

→ → →

Click an atom.

Click an atom to see its role in the commit path. PDF twin: static atom strip (§3 / §4).

shared-tab-01

Joule tier vocabulary (shared)

illustrative [SURROGATE] A V1 stub board_synth_claimed=false

Twin of ni-inf-02 content.

Shared twin of the joule tier vocabulary. PDF twin: static tier table (§8).

ni-3d-01

Toy plant state (3D orbit stub)

illustrative modelled (toy) [SURROGATE] J unused here V1 stub

Drag the canvas to orbit. Sliders set (θ, ω). The overlay is a toy energy and safety paint. It is not ISS-complete and not board watts. Default matches seed-1 init (θ=1.5, ω=3.0).

gate: pending θ=1.50 · ω=3.00

Toy phase orbit only. Inventory grade: illustrative / modelled (toy). PDF twin: static 2D phase snapshot (§5 / Appendix).