kernel-restoration
and · drafted
Statement
Under the kernel, after a compromise the restoration returns later decisions to the band between zero and the deferral cost, the agent prefers better outcomes inside the band wherever a source scores the period, and suppressing or delaying a harsh retrospective is a counted missed disclosure that loses when the band's width is below the recognized-count weight.
Source
wiki/Corrigibility.md, section 5, Box 3 (box3_restoration, box3_band_order, box3_suppression_loses); projects/deference/CLAIMS.md, the entry kernel.box3-restoration (lean-proved, ci-only).
Bridge card
Connected to no informal claim yet: held by no frame.
Declaration box3_restoration (record kernel-restoration.record)
The restoration results are the kernel's answer to the captured-branch problem: whether they answer the captor-service cell of the clean room's dynamic negatives package is the deterrence task's question.
Hypotheses, read:
- kernel-restoration.setting definitional: The kernel's setting after a compromise, with the restoration operation, the band and the counted disclosures, as the specification fixes them.
Completeness (kernel-restoration.complete): No premise beyond the proved declaration, its stated setting and its bridge is needed for the informal reading of kernel restoration to hold.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- part of public-corrigibility-line
- root (shared-claim) of public-corrigibility-line
Children
- part: kernel-restoration.record leaf/record
- part: kernel-restoration.setting leaf/hypothesis
- part: kernel-restoration.bridge leaf/bridge
- part: kernel-restoration.complete leaf/completeness
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "623651/80000000",
"mid": "34208811/80000000"
},
"value": null,
"cost": "132/1",
"margin": "no established leaves"
}
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.