authorship.mediation-by-reexecution
and · drafted
Statement
Clause 2 of item 87 only, not the bill. For any frame over the ecosystem's logs, any audited class of activated continuations sharing the mandated program, and any policy, the committed payload factors through the trace at commitment with factor map `eval π_P`.
Source
projects/deference/CLAIMS.md, entry authorship.mediation-by-reexecution (class lean-proved, status active, origin round 2026-09-10-committed-principal-program; answers item 87). Documentation: verification: projects/deference/rounds/2026-09-10-committed-principal-program/PRINCIPAL_PROGRAM.md; context: prompts/2026-09-10-committed-principal-program/REPORT.md. The signature of Workspace.Deference.Contrib.EvaluationEcosystem.reasonMediated_of_reexecution in lean/Workspace/Deference/Contrib/EvaluationEcosystem.lean.
Notes
Filed by the map-as-canonical round (prompts/2026-10-22-map-as-canonical) from the registry entry and the declaration's signature; its hypotheses are unread (ruling F1, 2026-10-23): the record's Source carries the signature verbatim, and a reader files the hypothesis leaves. Registry note: Clause 2 of item 87 only, not the bill. For any frame over the ecosystem's logs, any audited class of activated continuations sharing the mandated program, and any policy, the committed payload factors through the trace at commitment with factor map eval π_P. Inhabited by Instance.mediation_witness: two continuations with equal traces and different logs, both activated. What it does not say: that the trace, the scope or the pair class are declared correctly, or that any log is authentic. The registry's answers_item is the priorities pointer to item 87 (ruling F2).
Bridge card
Connected to no informal claim yet: held by authorship-and-transparency.
Declaration Workspace.Deference.Contrib.EvaluationEcosystem.reasonMediated_of_reexecution in lean/Workspace/Deference/Contrib/EvaluationEcosystem.lean (record authorship.mediation-by-reexecution.record)
Registry authorship.mediation-by-reexecution: class lean-proved, status active, review ci-only, origin round 2026-09-10-committed-principal-program; bears on item 87
The statement of record of `authorship.mediation-by-reexecution` formalizes the registered claim as the registry reads it: reason mediation by construction under a committed, re-executed principal program.
Hypotheses: unread (the record's Source carries the signature; a reader files them).
Completeness (authorship.mediation-by-reexecution.complete): No premise beyond the signature's binders enters the declaration; the kernel checks it as stated. The result is the record, this leaf and the bridge, and its hypotheses are unread: the record's Source carries the signature verbatim and no hypothesis leaf is filed until a reader files one.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- held by authorship-and-transparency
Children
- part: authorship.mediation-by-reexecution.record leaf/record
- part: authorship.mediation-by-reexecution.bridge leaf/bridge
- part: authorship.mediation-by-reexecution.complete leaf/completeness
Work pointers
- round 2026-09-10-committed-principal-program
- decision a valid answer re-executes the mandated program on the commit's strict prefix; a non-matching vector is void, and computational integrity is not a hypothesis of authorship
- decision the corrigibility program is consolidated as one research state: corrigibility from response authority, corrigibilization with its dominance bound, legitimate activated evaluation as its principal value, and continuation BRIA as its learning layer
- item 87
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"held by authorship-and-transparency",
"hypotheses unread"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.