PDF twin · P1 NI

Notational Intelligence as Commit Law

Printable twin - same IDs as living page. Browser Print → Save as PDF.

Static default_state snapshots. Interactive canvas omitted; captions preserved.

File → Print → Save as PDF · match living section ids · no fake board watts

ni-inf-01

Figure ni-inf-01

PDF twin§1 / §2

Caption: Brahe→Kepler notational lineage (Iverson→…→Lee→WCA); cite list

Static timeline nodes: Iverson → Engelbart → Kay → Victor → Lee → WCA.
Cite chip list deferred to living hover. Grade: illustrative.
ni-diag-01

Figure ni-diag-01

PDF twin§2 / §7

Caption: System One → WCA → Plant complement; owns / does not own

Layers: System One (proposers) → WCA gate (certificate / refuse) → Plant.
Owns irreversible branch; does not own upstream proposal search.
ni-diag-02

Figure ni-diag-02

PDF twin§3 / §4

Caption: Commit stack sense→propose→certify→commit|refuse; compose predicate

Default compose: lut_and_safe_and_cbf.
Stack: sense → propose → certify → commit | refuse.
ni-fig-01

Figure ni-fig-01

PDF twin§3 / §4

Caption: Annotated wca.commit.v1 refuse example JSON

Schema fields as claim chips; RefuseReason codes from frozen example.
Grade: measured (schema) / illustrative (UI).
ni-run-01

Figure ni-run-01

PDF twin§5

Caption: Seed-1 SoC scoreboard: committed=1 / refused=15 / J≈8.6795e-10 [SURROGATE]

default_state: committed=1 refused=15 J=8.6795e-10 [SURROGATE]
init (θ,ω)=(1.5,3.0) seed=1 steps=16. Not board watts.
ni-run-02

Figure ni-run-02

PDF twin§5

Caption: Safe-PH false-allow=0 table excerpt (toy)

Safe v2 false_allow=0 on toy grid. Grade: measured (toy only).
ni-run-03

Figure ni-run-03

PDF twin§5 / §7

Caption: MCP gate demo case table (mcp_gate_demo.json)

Cases: read_only_bypass / irreversible_refuse / irreversible_allow / shell.
Refuse never executes.
ni-inf-02

Figure ni-inf-02

PDF twin§5 / §8

Caption: Joule tier A/B/C ladder; board_synth_claimed=false

Tier A [SURROGATE] OpCounter · Tier B tool estimate · Tier C DUT.
board_synth_claimed=false locked.
ni-3d-01

Figure ni-3d-01

PDF twin§5 / Appendix

Caption: Toy plant state 3D orbit stub - static 2D phase snapshot

PDF twin of interactive orbit: θ=1.5 ω=3.0 seed-1 init.
Gate overlay = toy paint only. Grade: illustrative / modelled (toy).
Label: [illustrative] · [SURROGATE] unused for J here.
shared-diag-01

Figure shared-diag-01

PDF twin§7 / §7

Caption: Full System One → WCA → Plant complement path

Shared twin of ni-diag-01 content.
shared-inf-01

Figure shared-inf-01

PDF twin§1 / §1

Caption: Hardware/scale wave center vs IT/IS commit-law bet

Two-column thesis + steelman cards (Hooker / Kaplan / Epoch).
shared-inf-02

Figure shared-inf-02

PDF twin§8 / §8

Caption: Honesty tag legend + board_synth_claimed=false

[SURROGATE] [DUT] [VENDOR] [UNVERIFIED] [SOFT] [MIRROR]
board_synth_claimed=false  -  must appear near any J figure.
shared-fig-01

Figure shared-fig-01

PDF twin§3-4 / §4

Caption: Compose atom strip: Proposal / Certificate / RefuseReason / CommitDecision

Proposal → Certificate → RefuseReason → CommitDecision.
shared-tab-01

Figure shared-tab-01

PDF twin§8 / §8

Caption: Joule tier A/B/C vocabulary table

Twin of ni-inf-02. [SURROGATE] for tier A. No board watts.