CPT (Minimal)

This repo is the smallest CPT filesystem that maps onto (x, P, V) + (U, D, C) and supports accumulation without bloat.

Layout

• core.md: small theory (x, P, V, u, U, D, C, H1-H3)
• projection.md: spec for P(x)
• verifier.md: spec for V(x) and U(x)
• experiments/: falsification records (one per experiment)
• runs/: raw outputs (gitignored)
• notes.md: dated scratchpad
• .gitignore: ignores runs/ and other noise

Accumulation rule

• Commit: core.md, projection.md, verifier.md, experiments/*.md
• Do not commit: raw run artifacts (keep them in runs/)

Start here

1. Keep core.md minimal and falsifiable.
2. Define a tight projection in projection.md.
3. Make verifier.md executable and unambiguous.
4. Run the smallest experiment in experiments/0001-...md and summarize.