Frame 03 · Synthetic proof
Network sealed

Mars colony / autonomous continuity

The colony is its own immune system.

One content-addressed scan fans across twelve function-named modules. Their linked responses become a deterministic report; only its delta may be repaired. Precommitted logical-beat leases—a fixed turn-taking schedule keyed to accepted chain steps, not wall-clock time—preserve authority, while a partitioned dimension keeps writing and returns only when its claims do not contradict the chain.

Start here. After each step, focus returns to this control so Enter continues the eight-step proof.
Seed MARS-IMMUNE-03 Canonical SHA-256 Frames are state No coordinator election

What you are looking at

A synthetic twelve-module Mars colony whose visible state is rebuilt from frames. One scan tile fans out, and every child response carries that tile’s exact hash.

Do this

Inject the seeded drift, mint the scan tile, repair only the report’s three-module delta, disable ARES, then partition and reattach Research.

Watch for

The full twelve-module sweep is rejected as waste. No vote occurs after ARES stops: PHOBOS may append only when its precommitted logical-beat lease begins.

What this demonstrates

Delta-bounded repair can converge, ranked leases can preserve authority without election, and Research can continue offline yet rejoin only when its base claims still agree.

Arcadia Planitia · Colony topology

beat 0 head — delta 0 stable 12/12
Offline dimension
No partitioned frames.

Guided scenario

01 · Seed the disturbance Three deterministic changes make the report’s delta visible.

Manual controls

Scan + heal

Lease succession

Offline dimension

Precommitted roster

Live assertions

Failure controls must visibly fail without corrupting accepted state.

Append-only frame ledger

Main and offline dimensions; newest frame first.

FrameTypeLinksHash

Frame-derived inspector

Select a module to inspect its state reconstructed from the ledger.

Copy the independent any-LLM build prompt

Use this prompt with any capable coding model to generate a separate implementation of the same proof contract.

Build a single standalone HTML page called “Mars Colony Immune System.” Use no network, dependencies, external assets, real devices, or real operational data. Render a cinematic synthetic Mars base with exactly twelve function-named modules: oxygen, power, water, agriculture, communications, habitat, rover bay, medical, storage, thermal, navigation, and research.

Use a fixed seed and canonical JSON serialized with lexicographically sorted object keys. Hash every frame with the browser’s real Web Crypto SHA-256, include the previous frame hash, and reconstruct all visible state by replaying frames.

Prove these paths interactively:
1. A scan-tile frame fans out to all modules. Every child response contains the exact scan-tile hash.
2. A deterministic report references the response hashes, identifies only changed modules, and permits repairs bounded to that delta. A deliberately wasteful full sweep must fail the delta assertion.
3. Healing converges after a rescan.
4. The active coordinator can be disabled. Succession uses a precommitted ranked roster and logical-beat lease windows, without election. A premature lower-rank claim must fail the lease oracle.
5. Research can partition, append to an offline dimension, and reattach by deterministic contradiction checking. A contradictory reattachment must be refused without mutating accepted state.

Include four newcomer guidance panels plus a clearly labeled Scope note, guided scenario, manual controls, deterministic replay/reset, visible ledger, live assertions, colony/resource-flow visualization, keyboard access, 44px targets, aria-live feedback, 390px layout, reduced-motion handling, and light/dark/high-contrast Clawpilot themes. Label the page synthetic-only and make the prompt itself copyable.

Synthetic-only · deterministic seed MARS-IMMUNE-03 · no requests leave this document.