Load-Proof — control structure & vocabulary

Research operations that survive refute-by-default. One operator, several engines, a file tree; every loop, gate, and term on this sheet is drawn from a real operation's record, generalized so you can try it.

Docload-proof-systems-map
Rev / DateREV A · 2026-07-06
Sourcethe operation's private record, generalized
LicenseCC-BY-4.0
System stateRUNNING
Change controlrevisions, not a garden
A

System overview & operating thesis

purpose · products · opponents

The plant converts ideas into exactly four products — verified claims, shipped tools, filed bugs, and honest negatives — and every structure below exists to keep those four honest. Scoring is infinite-game: there is no win condition, so there is no pressure to inflate a claim toward one. The system's credential is that it killed its own flagship: in the mid-2026 audits, every casualty was an internal abstraction validated against itself, and every survivor held an anchor outside the system that produced it. The machine survived the program it killed and transferred to new work the same week.

Operating thesis Verification belongs at birth, not only at death. Death-side machinery (closure, honest triage, adjudication) catches inflated claims eventually — at the cost of everything built on them meanwhile. The birth-side rules — anchor rule, claim boxes, slice charter with an expected-outcome line — make the catch cheap. The goal state: forensic archaeology never needed again.
Self-deceptioncountered structurally

Refute-by-default verification, claim boxes, anchor rule, controlling artifacts. The tax is cheap once installed, and it is load-bearing.

Driftcountered ritually

Closure checklists, ledgers, registry scans, capsules. Nothing fires on its own — rituals are doctrine, not machinery.

Boredomlive design target

Mixed payout cadences, a fixed exploration budget, lottery arms. The opponent that actually kills solo operations.

B

Plant diagram

authority · crew · instruments · state

Four layers. Authority flows down as GO; evidence flows up as verdicts and gate counts; the two feedback paths that make the plant a learning system are drawn dashed — the strategy loop up the right edge, the lesson-promotion loop along the bottom.

AUTHORITY CREW INSTRUMENTS STATE OPERATOR GO · veto · taste — verbatim GO quotes are the consent record GO / veto bus evidence · verdicts · gate counts ADJUDICATOR weigh · synthesize · orchestrate the strongest judge available REFUTER refute-by-default · red-team a rival with veto — never the generator VOLUME ENGINE mechanical batches · counts · hashes packets embed everything; reads nothing SHARED BLACKBOARD — task dirs · status lifecycle · «verified» requires a written verdict run · verify scheduled scrapers timers · growing corpora live viewers the map · the board registry scan clean-exit closure gate path-policy guard path → commit/push policy snapshot ritual at close, by hand frozen instruments retired code kept runnable close: notes · anomalies · commits · snapshot data steers work working note one file per day · GO quotes index + anomaly log archive · append-only engine memory index over topic files doctrine stack global → workspace → project ledgers & maps claim standing capsules sealed · twilight strategy loop — retros · roadmaps · penciled forks lesson promotion — named lesson · confirmed twice → doctrine, same session parts reusable; claims stay buried
FIG B-1 — plant, four layers. Solid = command/evidence paths · dashed = feedback (learning) paths. Color carries status semantics only.
C

Control loops L1–L8

cadence · trigger · sequence · gate · failure mode

Eight loops, nested by cadence: L1 runs inside a day, L7 spans months. Each card names its setpoint (what "in control" means) and its known failure mode with a pointer into the failure register (zone H).

L1Sessionhours
Trigger
Pickup, or an operator GO mid-day.
Sequence
read carry-forward → re-verify live state → GO → work under gates (tests, suites, lint) → close: classify · registry · anomalies · notes · commits · snapshot
Setpoint
Tree clean, gates green, provenance written, workspace clean.
Failure mode
Late stop leaves consequences on the record with no session behind them. → F-7 · corrected (late-stop tier)
L2Slicedays, not months
Trigger
A question worth a charter.
Sequence
charter: question · anchor · expected · kill → compute via named runs → score the expectation hit/miss → ledger entry → close or capsule
Setpoint
Kill criteria honored on contact; expectation scored; one anchor, one question, one week.
Failure mode
Framework-tell ignored — the slice quietly becomes a program. → F-1 · corrected
L3Claimcontinuous
Trigger
Any number or statement that wants standing.
Sequence
full path drawn in zone D — birth label → named run → refute → adjudicate → GO → ledger
Setpoint
External anchor or it stays a hobby; promotion only via the controlling artifact.
Failure mode
Self-validation — the system grading its own homework. → F-1 · corrected
L4Discoveryper block
Trigger
Operator GO on a generation block (the built instance: a discovery engine over a curated atlas of mathematical correspondences).
Sequence
volume engine generates from grounded packets → deterministic screen → refuter attacks (scoped/graded) → adjudicator weighs → operator GO → apply to registry
Setpoint
The engine never writes the registry; a consistency probe runs behind every batch.
Failure mode
Ungrounded generation — a strict run went 0/20; fixed on the input side, never by weakening the gate. → F-5 · corrected
L5Anomalyper session
Trigger
Anything that looks wrong, surprising, or inconsistent — unfiltered, even off-task.
Sequence
observe → one-liners with pointers in the session block → append to the consolidated log at close → additive dispositions later → doctrine candidates feed L6
Setpoint
"No anomalies" is a valid entry; silence is not.
Failure mode
Append-forever growth without rotation. → F-10 · open
L6Lesson promotionevent-driven
Trigger
A named lesson's second confirmation — the 2-for-2 rule.
Sequence
lesson named in a note → confirmed again in practice → written into doctrine the same session → binds every future session
Setpoint
Notes are where lessons are found; doctrine is where they survive.
Failure mode
Mood-driven promotion — candidates float unwritten. → F-11 · corrected
L7Strategyweeks–months
Trigger
Program close, month boundary, or operator ask — never a calendar alarm.
Sequence
retro over the record → one-paragraph verdict → portfolio (lanes) → penciled dates → forks stay the operator's
Setpoint
Many small independent positions, never one leveraged one.
Failure mode
Durable method rules parked in perishable strategy docs. → F-1 · corrected
L8Exploration~25% of sessions
Trigger
Curiosity, plus a deliberate schedule of daily / weekly / long / lottery arms.
Sequence
new arm → cheap probe → verdict: pursue · park · kill → the data steers the next build
Setpoint
Every exploration leaves a verdict. The type specimen: an hourly scrape of a public schedule feed grew into a live map instrument.
Failure mode
Monoculture — a mismeasured payout once ran for months; the budget is the counter.
D

The claim path

every number walks this line

The epistemic pipeline, serpentine like the paper trail it produces. Diamonds are gates — each can send a claim down, and down is a valid product. Demotion runs any time re-adjudication finds a weaker truth.

IDEA observation · intuition, named CHARTER question · anchor expected · kill BOX LABEL one of five, at birth NAMED RUN controlling artifact REFUTE by default survives, scoped ADJUDICATE a separate judgment pass OPERATOR GO consent recorded LEDGER KEEP · CONTRIBUTION · DITCH demotion on re-adjudication — identities are not discoveries refuted · unscopeable SHIP deliberate yes at the moment HOLD local · no clock CAPSULE sealed record · twilight NEGATIVE REGISTRY typed negatives · honest ledgers — negatives are product
FIG D-1 — claim path. Down-arrows are products too: a typed negative has the same standing as a shipped tool.
identity

True by construction. Presented as bookkeeping, never as discovery — the lesson of the retired flagship metric.

theorem-under-assumptions

Proved, with the hypotheses named and carried. Kernel-checked where possible.

empirical

Measured, with a named run behind every number and uncertainty carried.

conjecture

Believed, stated as such, with the falsifier written down.

correspondence

Two formalisms mapped, with regime and strength graded — never "same thing."

Promotion between boxes requires the controlling artifact — a clean story promotes nothing. Labels attach to the claim, not the document; hedged classes ("theorem-adjacent") are banned vocabulary. A claim's class is adjudicated, never split down the middle.

E

State stores

what persists, where, on what cadence
StoreRoleWrite cadenceDiscipline
working noteDay log: carry-forward, session blocks, per-session anomaly lines, GO quotes.continuous, daily fileOne file per day; files to the archive at pickup; live state re-verified, never trusted as copies.
indexLocator over the notes archive: day headlines plus session one-liners.at filingShort lines by rule; history keeps its voice — no retro-edits.
anomaly logCross-session consolidation with pointers and status tags.at closeAdditive dispositions only, never strikethrough; the note block is the source of truth.
engine memoryDurable state for the assisting engines: an index over topic files.per sessionIndex line = current state + next action + pointer; replace, don't append; history lives in topic files.
doctrine stackThe rules: global constitution → workspace contract → project-local files.event-drivenAdditions dated in place; the most local file wins on conflict; lessons enter via L6.
ledgers & mapsClaim standing: honest ledgers, run contracts, retirement notes.per program / sliceEvery cut carries a one-line recorded reason; settled ledgers do not reopen.
document registryA hash-verified catalog of the document estate, indexed in place — no copies.rescan at closeClean exit gates the closure block; a missing entry means repoint or surface, never silent deletion.
capsulesSealed archives of anything removed or closed.eventCapsule-before-remove, always; restore only by deliberate decision.
snapshotsBackups of the working set.at closeManual by choice — doctrine, not machinery; tiered retention.
transcriptsEvery engine session's scripts and outputs, greppable.automaticThe archaeology of last resort; the birth-side rules exist to make it unnecessary.
F

Gates & interlocks

what each gate protects · bypass policy: none
GateProtectsRule
operator GOScope, applies, sends, anything outward or expensive.Verbatim quote recorded in the session header — the log is also the consent record. Naming a plan is not consenting to it.
pushEverything public.A deliberate yes at the moment of execution, per-path policy from the contract. Penciled dates do not fire themselves.
commitThe record.Per-path policy, read from the contract, never inferred. Messages and staged diffs scanned before they enter history.
verifiedThe word "done."The board refuses it without a written verdict in the task directory, from someone other than the producer.
registry writesAny curated corpus.Human-approved adjudication only; engines rate and gate but never admit.
numbers into proseEvery document a reader might trust.No number without a named, rerunnable artifact behind it — plans included.
claim promotionThe box ladder.Controlling artifact required; a clean story promotes nothing.
releaseReputation, and the record's honesty.Own initiative only; day-old results sit; no deadlines, no campaigns.
twilight fenceClosed programs staying closed.No purges, corrections, releases, or revival; engineering reuse of parts allowed, claims stay buried.
G

Core vocabulary

twelve load-bearing terms · full glossary in the repository
anchor rule
A claim gets an external anchor or it stays a hobby — upstream code, an independent implementation, a physical dataset, a proof checker, a public benchmark.
refute-by-default
The verifier's job is to kill the claim; survival is the exception. Strict-binary at curation gates; scoped and graded for discovery.
controlling artifact
The runnable thing that decides a promotion. Stories, however clean, promote nothing.
named run
A dated, rerunnable artifact behind a number. No named run, no standing.
slice charter
Four lines before computing: falsifiable question · external anchor · expected outcome · kill criteria.
expected line
The guess written pre-run and scored hit-or-miss at close. The running record is calibration; surprise is signal.
honest negative
A "no" recorded with the same care as a "yes": the claim, the refutation, the regime where it died.
anomaly log
Mandatory second deliverable of every session: one line per oddity, unfiltered. "No anomalies" is a valid entry; silence is not.
capsule
A sealed archive made before anything is removed. Restore is a decision, not an accident.
twilight
A closed program left in place and ignored — no purges, corrections, releases, or revival. Parts reusable; claims stay buried.
2-for-2 rule
A named lesson confirmed twice gets written into doctrine the same session. Notes find lessons; doctrine keeps them.
Framework-tell
The moment a bounded slice starts wanting to become a Framework. Stop and re-charter.
H

Failure register

every detection names a real event

The register that wrote the rules. Corrections follow the house style: fix the input or the doctrine, never weaken a gate. Statuses are honest — some exposures are simply open.

IDFailure modeDetected byCorrectionStatus
F-1Self-validated abstraction — claims anchored only to the system that produced them; durable rules parked in perishable docs.The audits that closed the program: every casualty internally validated, every survivor externally anchored.Anchor rule + claim boxes + slice charter, promoted to constitution level.CORRECTED
F-2Identity read as discovery — a metric true by construction celebrated as an empirical law.The flagship metric decomposed into bookkeeping under triage.The identity box; "validates the law" language banned; a demotion path that actually runs.CORRECTED
F-3Lost provenance — numbers whose generating computation cannot be found.Half a headline table traced to values hardcoded in a plotting script; the sweep that produced them was never saved. The headline did not survive recompute.Numbers enter prose, plans, or ledgers only from named, rerunnable artifacts.CORRECTED
F-4Circular labels — a classifier scored against labels derived from its own output quantity.A "0% misclassification" claim unwound to a tautology in audit.Tautology purge: anything validating the system against itself gets eradicated.CORRECTED
F-5Ungrounded generation — a generator fed thin context produces confident junk at volume.A strict refuter run returned 0 survivors from 20 candidates.Ground the generator's inputs; keep the gate. Weakening a refuter manufactures belief.CORRECTED
F-6Index layers absorb history — the always-visible summary surface accretes narrative until it stops summarizing.An index re-bloated to its size limit ten days after being trimmed.Replace, don't append: index line = state + next action + pointer; history lives one layer down.PARTIAL
F-7Late-stop provenance gap — consequences land on the record with no session log behind them.An evening session closed unlogged; reconstructed at the next pickup.A defined late-stop minimum: anomaly lines plus a one-line stub, the rest at pickup.CORRECTED
F-8Ritual text drift — duplicated doctrine copies age apart until the checklist describes a retired world.A close checklist found describing a note convention retired a week earlier.Single-source doctrine; link copies to one master instead of duplicating.PARTIAL
F-9Silent ritual death — a layer stops running and strands its contents without any alarm.A weekly checklist layer found dead a month later, its own filing ritual never once executed, live items stranded inside.Every ritual gets a defined minimum and an explicit disposition: fold, revive, or retire — never fade.OPEN
F-10Append-forever logs — locators outgrow their readers.A notes index grew past what a reader (human or engine) can take in one pass.Periodic rotation; the closed period keeps its voice, the live file stays small.OPEN
F-11Mood-driven lesson promotion — confirmed lessons float in notes, unwritten into doctrine.Doctrine-candidate tags found aging in the anomaly log.The 2-for-2 rule: second confirmation promotes the same session.CORRECTED