Proof 2 of 6 · Homeostatic repair

Scan tiles and the healing loop

One query establishes a baseline across the estate. Its report then becomes the trigger set for narrower scans and repairs, so follow-up work scales with implicated or locally changed devices rather than a blind full-fleet sweep.

What you are looking at

Five devices answer the baseline tile. Later tiles query only devices named by the previous exhaust or marked as locally changed.

Do this

  1. Select Run guided loop.
  2. Introduce one new drift, scan, and heal it.
  3. Run the wasteful-sweep mutation.

Watch for

The baseline gets five responses; later rounds get fewer. Repair touches only exhaust targets. Two identical reports declare a stable floor, and the mutation turns bounded work red.

What this demonstrates

A shared baseline can drive O(delta) follow-up and a stop condition. The model assumes each device can signal its own local change; it does not solve discovery without observation.

Findings10
Responses this scan0
Repair devices touched0 / 5
Identical reports0 / 2
Frame evidence: waiting Mint a scan to create hash-linked evidence.
Bounded follow-up: waiting Run a post-baseline scan or repair.
Convergence: waiting Two identical reports are required.

Append-only evidence log

No frames yet.

Independent reproduction

Ask any LLM to build a separate proof

The prompt requires the independent page to distinguish scan cost from repair cost and to include a mutation that its own assertions reject.