Declared Inspiration and Current Source Availability: A revision contract for autobiographical exploration in TRAJEXA

An uncertain personal record can prompt an activity without establishing a fact about the past. If the record is later corrected, an exploration system must distinguish the participant's earlier declaration of inspiration, the availability of that source version, and the plan and outcome of the present activity. We specify this distinction as a revision contract for TRAJEXA. The contract fixes a trial's declared source version and initial plan, removes superseded or withdrawn sources from current comparison, and retains separately reported outcomes. Neither a declared link nor an active record is treated as historical truth, observed causation, or a reason that the activity ought to continue. Psychology, sociology, philosophy of action and behavioural economics motivate these boundaries; established provenance and truth-maintenance methods constrain the novelty claim. A ten-scenario executable exercise compares the existing implementation with a separately written generic typed ledger. Both satisfy all ten declared scenarios. Deliberately lossy projection controls match the expected outputs on four, six and four scenarios, exposing distinct failure modes. The generic match is a boundary result: the contract requires no new general provenance algorithm. The contribution is a domain-specific specification, a reference realisation and a reproducible diagnostic artefact for distinguishing a remembered or reported past from a present exploration history. Human comprehension, belief change and decision benefit remain untested. English and Japanese manuscripts and an offline reproducibility supplement are included. This is revision 1.1 of the trace-layer paper, not a new version of the earlier TRAJEXA records. No human participants were recruited. A generic typed-ledger comparator matches all ten declared scenarios; no algorithmic superiority is claimed.