Seed: Formation Evidence Lab v0.1

[LalaSkye]

Purpose

Plant a small build seed for formation evidence as an upstream companion to execution-boundary proof.

Core invariant:

Execution evidence shows what the boundary did.
Formation evidence shows what the boundary was allowed to see.

Proposed path

docs/formation-evidence/

Initial artefacts

1. README.md
2. formation_evidence_schema_v0.1.json
3. sample_narrowing_trace_v0.1.json
4. test_vector_narrowed_world_v0.1.json
5. CLAIM_BOUNDARY_v0.1.md

Minimal machine purpose

Record signals of narrowing before a proposed action reaches the execution boundary.

It should capture:

• candidate action
• visible options
• known excluded options
• constraints applied
• authority context
• representation source
• narrowing signals
• formation evidence receipt state

Receipt states

• FORMATION_VISIBLE
• FORMATION_NARROWED
• FORMATION_INSUFFICIENT
• FORMATION_UNKNOWN

Claim boundary

This artefact does not prove that every possible action was available.

It does not reconstruct the full decision space.

It does not claim production enforcement, compliance, validation, adoption, or runtime control.

It only records what the boundary was allowed to see, which constraints shaped that visibility, and whether the candidate action arrived from a narrowed world.

Status

Seed only.
Design + test artefact.
No implementation claim.
No new public doctrine page.

Next small move

Create the docs/formation-evidence/ packet on a branch when ready.