Launchfiles logoLaunchfiles

Docs · hypothesis-led

Receipts

A receipt is durable, inspectable proof that work ran under a scope. Terminal state and side-effect status are never inferred from UI polish. Model output alone is not a completion receipt.

Docs hubGet startedllms.txtAgent capabilities

Hypothesis-led documentation. No ranking, traffic, or outcome guarantees. Public discovery is not execution authority.

Minimum truth

Actor, scope, terminal state, side-effect status, and evidence refs for completed work. Trace correlation when available.

Receipt classes

Run, gate, side-effect, and memory-approval receipts are different objects. Collapsing them into one green badge creates false confidence.

How does Receipts work in an agent-first engineering harness?

Launchfiles executes this through bounded work orders, deterministic pre-commit gates, dual-ledger verification, and cryptographic approval receipts. Rather than generating unverified audit essays or soft-green theater, autonomous agents operate inside strict byte-range boundaries with verifiable unit economics, human review gates, and deterministic regression guarantees across every production change.

DimensionUnbounded AI Chat / Audit EssaysLaunchfiles Bounded Work Orders & Receipts
Execution ScopeUnbounded chat, hallucinated advice, unverified file rewritesBounded AST patches via work orders and pre-commit gates
Verification & ProofSoft-green claims without receipts or regression checksDual-ledger verification with cryptographic receipts
Opportunity DiscoveryInvented keywords and unranked suggestionsStatistical triage via Search Repair Radar
Economic ModelOpaque token burn with zero outcome guaranteeTransparent pricing with strict byte-range safety locks

Next safe action

Learn the contract, then run a bounded mission.

Prefer receipts over claims. Prefer fail-closed honesty over impressive incompleteness.