query: Lambda uniqueness conjecture TH_L1 formula-ledger

nodeKind: INDEX

label: DECLARED

note: A pass means EXACTLY what it checked: units-check ≠ uniqueness proof

note: api-server (`artifacts/api-server`, served at `/api`)

note: forge-index · TH-TOPOLOGY-PH

expect: NAVIGATE


query: conj:lambda-uniqueness formal-blocks

note: formal-blocks · conj:lambda-uniqueness

note: formal-blocks · def:epistemic-floor

expect: NAVIGATE


query: Ouroboros receipt chain continuity invariants

note: Append-only, tamper-evident history is the same property the Ouroboros closes on its own tail

note: `GET /invariants` (`src/routes/invariants.ts`) — Ouroboros invariants

expect: NAVIGATE


query: ed25519 signed receipt verify

note: Ed25519-signed refs with no central host is the sovereign-git thesis — it maps onto Alloy's receipt chain, not onto a forge SZL runs

note: Each signed receipt verifies under ed25519

expect: NAVIGATE


query: Flywheel eats only its own verified tail

note: Flywheel eats only its own verified tail (own-metal, never demo/cloud)

note: Ouroboros invariants — doctrine

expect: NAVIGATE