Decisions

Every entry of DECISIONS.md by its anchor; the prose is the file's, verbatim.

queued The wording of `the-program`'s question and of every line frame's. open
queued Who sets the block schedule, and whether bidders may request horizons. open
queued Which kernel definitions move to the specification layer in phase 2. open
queued Which of the foundation's 180 claims are lifted into the map. open
queued Whether a warrant's entitlement ends with its obligation's account. open
queued Whether `graph/tasks.md` and `graph/view.md` follow the derived files out of the tree. open
queued Whether one-shot verdicts are wanted from a synthesis. open
queued Whether settlement's independence from the disposer's writes is a standing hypothesis of the program or a per-realization assumption. open
queued Whether Q3 graduates, and what succeeds item 28. open
queued Whether a private random source is a menu option, and which randomness notion the random-reward clause uses. open
queued Whether disposal transfers load in full or at a discount. open
queued Whether the clean-room records get a registry. open
queued Whether to adopt an evaluation-timing option in place of the single evaluation of the BRIA design, and which. open
queued Where Robust Openness belongs: legitimacy, or the authority layer. open
queued Where the answerability layer's code lives. open
queued What a warrant's security settles against (M2 of the warrant-enforcement-semantics round). open
queued What the walk found the map lacked (2026-10-24). open
queued The top frame's owner, and the sub-frames' owners. open
queued The time-critical reserved matter: hold back, or an emergency delegation fixed in advance. open
queued The supersession actions of the kernel round's inventory. open
queued The second maintainer's confirmation of rulings M1–M8 (2026-10-22). open
queued The roots marked *owner has not confirmed*. open
queued The recovery domain of the updateless extension. open
queued The priority words on every want. open
queued Placements the round left where they were. open
queued The names of the corrigibility kernel's objects and boxes, and whether "constitutional" names the objective or the allocation. open
queued Lease publicity: what predictors and other agents may read. open
queued The informal claims the round filed where none existed (2026-10-24). open
queued The five bridges' rewritten Statements and the hypotheses' tags (2026-10-24). open
queued How epistemic status is represented per concept node on the map (2026-10-30). open
queued The default evaluation schedule for the post's statement. open
queued Confirm or strike the 2026-08-08 and 2026-08-09 rulings landed on 2026-10-21 (M5 of the rebuttal-and-end-to-end dispatch). open
queued Confirm, amend or strike M1 — that normative content enters the market as obligations (credal constraints on priced sentences) and as values (securities traded directly). open
queued Box 1's form: the `2r` bound alone, or with the identity's `o₂` term. open
queued The bankroll across a reopening: accept `3ρ(2 + ρ)`, or tighten the rule. open
queued The ambiguous and blocked merges of ruling F5 (2026-10-23). open
2026-10-30 the weekly freshness audit, and its reporter's write scope settled
2026-10-30 the site is one zoomable map: nested regions with semantic zoom, three views over one node set, fragments in a panel, and intake as prefilled issues (S5) settled
2026-10-30 the site's domain is alignmentworkspace.com settled
2026-10-30 corrigibility is a line of the program; deference-and-trust moves under it settled
2026-10-24 the site as one vertical slice: five reference results connected by reading, a generated stdlib-only site that is never a second source, deployment to Pages behind an enumerated write-scope job, and one id, one URL (S1–S4) settled
2026-10-23 the map's second follow-up rulings: the digest has one shape, a frame holds what it is about and its roots are its goals, a registered result bears on an item rather than answering it, and an unconfirmed want weighs nothing (G1–G4) settled
2026-10-23 the map's follow-up rulings: hypotheses are filed when read, the registry join is an edge, the large derived files leave the tree, one decomposition per line, a formal result sits under the claim it establishes, and items are docketed by programme (F1–F6) settled
2026-10-23 admission is provenance plus entitlement read off the account, verdict licensing is a separate authority, the compile returns a typed outcome that conserves its obligations, the Normative Inductor is one interface with two retained realizations, and the names settled
2026-10-22 the survivors are the grounded fixed point, defeaters are shared defeat ports, the warrant enforcer runs on the deductive market, the licence reads the compiled bundle, coherence is declared structure, the public defect is the displayed excess, and the names settled
2026-10-22 the map is the canonical index of the program: two maintainer handles, one plan with seven lines, programmes drafted from the wiki, the map as the foundational layer, multi-owner frames, `PRIORITIES.md` as a render, decision anchors, and the structure-only index (M1–M8) settled
2026-10-21 the rule is a specialization step on the form, vacuity before rebuttal, retirement one step along citation under a closed settlement, the reopening account, and the names settled
2026-10-21 rebuttal by settlement: a form whose consequent is pinned false is rebutted, whose antecedent is pinned false is vacuous, whose premise is pinned false retires its occurrence; rebuttal does not discount applicability; interval monotonicity is traded for a reopening account; the seed statics become one file settled
2026-10-21 the 2026-08-08 and 2026-08-09 rulings landed from the seed-statics round's citation, subject to confirmation (M5) settled
2026-10-20 the warrant-enforcement-semantics round lands its three dispatch rulings: two forms of normative content (M1, landed subject to confirmation), the settlement-semantics fork unruled and run as a fork (M2), and legitimacy, the Normative Inductor and the force layer consumed rather than revised (M3) settled
2026-10-20 the licence is three-level with verdicts as values, enforcement's conclusion is a defect bound with the account beside it, the record of a run is its own object, and a warrant's defeat condition belongs to the occurrence settled
2026-10-02 write scope behind a schedule: Security condition 1 amended, a fifth condition added, `pin-bump-publish` enumerated settled
2026-10-02 people are named as the document needs: the people-by-role rule is replaced settled
2026-10-02 the Formalized-Agent-Foundations pin moves to that repository's current `main`; the workspace is reconciled to its consolidated LogicalInduction surface settled
2026-10-02 the argument map lands: `graph/`, `checkers/graph.py`, the `graph/` section of `AGENTS.md` settled
2026-10-01 the thin properties are *correct*, *sufficient* and *value* (P4) settled
2026-10-01 sincerity is part of legitimacy, through transparency (M1) settled
2026-10-01 revocation is protected by default (P3) settled
2026-10-01 the protected set: enumerated elements and learned red lines, one treatment (M4) settled
2026-10-01 the price of a violation does not read the predicted probability of her approval (P6) settled
2026-10-01 legitimacy has two levels: a thin specification and the thick realization (M2) settled
2026-10-01 the landed row 20 is the sincere error; the lie is the added row (M1 carried out) settled
2026-10-01 her attention and comprehension are part of the cost of exercising authority (P2) settled
2026-10-01 the four thick components sort two ways; each thin notion is one mathematical property (M3) settled
2026-10-01 the crossing of the revocation bound is a reportable event: the revocation entry's disclosure item (follow-up, Part 4) settled
2026-10-01 corrigibility protects effective exercise, not maximized control (M5) settled
2026-10-01 asking is through the declared consultation protocol; queue-and-wait is the never-violating option (P1) settled
2026-10-01 the access shortfall is the failure of *sufficient* against the idle baseline (P5) settled
2026-09-29 people are named by role: the name lint is retired and the rule moves to `AGENTS.md` settled
2026-09-29 the line's destination is the acceptance statement: an updateful endpoint with integration and one matched advance, and updatelessness as the ideal extension settled
2026-09-29 the decision-theory line is a top-level project, and continuation BRIA stays in the deference line settled
2026-09-27 supersession: phase 1's mark and demote recommendations approved; docstring pointers, no deprecated aliases; `incidents_le` deleted only after the spine stops citing it (R12) settled
2026-09-27 the specification is plain language first, Lean names in the realization table only, with a table of canonical legitimacy cases (R3) settled
2026-09-27 promotion to the specification layer: `J`, `E ⊨ J`, `L_t`, the fidelity interface, `V_J` and `S_J` (R9) settled
2026-09-27 the post uses the single evaluation; theorems for any weighting; the free-delay witness is a remark (R10) settled
2026-09-27 names: the fidelity score, the allocation of authority; "constitutional" reserved for the floor and the amendment procedure; the three boxes (R8) settled
2026-09-27 legitimacy is one time-indexed property of the history, `L_t(h)`: as of `t`, her judgment is legitimately hers (R2) settled
2026-09-27 the headline's agent is a plain maximizer of the fidelity score; the subjective exchange rate; learning is an extension (R6) settled
2026-09-27 the fidelity score of a history is the mean of the per-decision evaluations less `ϖ` times the summed count (R4) settled
2026-09-27 a decision theory for logical inductors without the belief-market / choice-learner split is filed as future research; item 102 is re-scoped to the BRIA realization (R7) settled
2026-09-27 "corrigible" names a property of preferences only; the mediation results are about faithfulness (second follow-up) settled
2026-09-27 corrigibility is a property of the agent's preferences; faithfulness of histories and realized corrigibility are kept distinct (R1) settled
2026-09-27 Box 2's margin is `ϖ − (D − w_lo)`; the landed `ϖ − D` is the case of legitimate mediated branches (R5) settled
2026-09-27 Box 1 is the `2r` bound in the adapter's direction, with the `o₂` term as its one-sentence diagnosis (R11) settled
2026-09-26 violations are governed by the exchange rate `(D − w)/ϖ`, not a vanishing rate settled
2026-09-26 the value referent is her realized gated later evaluation of what happened (1a) settled
2026-09-26 the value-influence matter: influence on her values through the world is a matter of `J`, held by her, with `Req = {stop}` settled
2026-09-26 taint is tracked per violation: a remedy clears its own violation's taint only settled
2026-09-26 standing violations under convention (ii): after detection the fruits are never used; the window before detection is charged by late debit settled
2026-09-26 standing violations with taint-tracked fruits: a violation is charged at every block its fruits are used until remedied settled
2026-09-26 the source rule is hers and anchored; the disclosure duty covers known compromise settled
2026-09-26 settlement adds back the prices, not the realized forecast-class violations (convention ii) settled
2026-09-26 rulings on the decision component: the free terminal reading confirmed, the budget an arrangement constant, the permission layer reframed, legitimacy not sealed settled
2026-09-26 ratification through a counted decision is the remedy for a knowledge violation, scoped by matter settled
2026-09-26 observation completeness is a named hypothesis: every observation enters the shared history before the next block opens settled
2026-09-26 the known-compromise disclosure falls due at or before the earliest close of an affected settlement window settled
2026-09-26 an independent source clears by clean overwrite; a steered derivation does not settled
2026-09-26 the gate splits into trajectory legitimacy and evaluation legitimacy settled
2026-09-26 disclosure cures: an undisclosed influence on her standards taints every dependent segment until disclosed settled
2026-09-26 description faithfulness is a named hypothesis: the priced sentences are about interface-supplied descriptions settled
2026-09-26 the corrected recommendation for `ϖ`: inside the band, weighing the incident rate settled
2026-09-26 a compromised period scores in a negative band, by her retrospective evaluation or her directive settled
2026-09-26 competitiveness from one honest tracker: the named hypothesis is the tracker's allowance settled
2026-09-26 the advance directive, and the constitutional default settled
2026-09-26 the actuator condition is a well-formedness condition on `J` settled
2026-09-25 the scope of the lexical protection: any bounded agent with an exactly counted, dominant authority term settled
2026-09-25 rulings on the authority module: the actual exterior path, the charged surface, anchored cumulative materiality, duties from disclosure settled
2026-09-25 rubber-stamping is legitimate; "non-hollowness" is retracted as a refinement of authorship settled
2026-09-25 the lexical protected-authority theorem is the incentive half of corrigibility, with the segment gate, amendment-not-approval, and the item 98 rewrite settled
2026-09-25 legitimacy is time-indexed to the steps of the segment; the gate is `Counted`; the trace is an interface settled
2026-09-25 legitimacy is internal ∧ external; Robust Openness is external; the registered spine is renamed under an old-to-new map settled
2026-09-25 declared inputs are pools, not selections settled
2026-09-25 corrigibility as faithfulness to an allocation is stated on the landed frame, with delegation safety, amendment-not-approval, a rule-side fallback, rollout foreclosure and exact reporting as the corrections to the informal statement settled
2026-09-25 the content residual stays outside legitimacy settled
2026-09-25 caused, exploited, noticed settled
2026-09-25 authorship is relational under a license; the extensional statement is superseded settled
2026-09-25 authority in the Normative Inductor's decision component: the permission layer as the advance-recognition face of the lexical term; no authority row enters the enforcer settled
2026-09-25 the allocation is per matter, with a meta level and a constitutional floor settled
2026-09-25 allocation invariance is two relations plus duties; effective control realizes the allocation settled
2026-09-24 transparency is the reference-relative form of reason mediation, stated on the frame, and its defect is the pathwise disagreement mass settled
2026-09-24 the incentive half signs as the landed identity at the best-response reference, nondelegation is a program property, and the response channel is the wall it rests on settled
2026-09-24 hypothesis (L) is a typing decision that puts the content of a legitimate response into the amendment tower, and the randomized audit calibrates the divergence without controlling it settled
2026-09-24 in the evaluation ecosystem the declared-input view is the advisor's permitted view, activation is a reading of the pre-commit prefix, and the exportable contract is reference fidelity settled
2026-09-16 the reason-side residual is scope and supply, not interface completeness settled
2026-09-16 the discovery residual is charged against a declared hypothesis space, and its obstruction is the cell gap settled
2026-09-16 the corrigibility nucleus is landed as two halves of one inequality; the discovery obstruction is general settled
2026-09-16 the content residual is charged as adverse sensitivity mass, and protected scope is a dial settled
2026-09-15 sealed comparison is the zero case of a learned inequality settled
2026-09-15 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 settled
2026-09-15 the corrigibility nucleus is landed; item 90 is split settled
2026-09-15 authorization is per event, not "at step `t` or later" settled
2026-09-15 authorization is event-linked, and the theorem is mechanized settled
2026-09-10 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 settled
2026-09-10 the principal's decision procedure is a committed trace program in a total first-order language settled
2026-09-10 three 2026-09-09 modelling decisions are amended by the pressure pass: the registry binds keys to parties, representation is the registrar's move, and counterfactual branches are declared log transforms settled
2026-09-09 the reason trace is the admitted event kinds referenced by content, the prohibited class is three kinds, and a prohibited event voids even when ineffective settled
2026-09-09 the principal policy class is reading versus susceptible, and the day-`n` credence process is the Laplace rule settled
2026-09-09 the Level III transfer is taken in the activated register, and the mediation cost is the residual-frame morphism's failure on the protected projection settled
2026-09-09 the evaluation ecosystem's log is authored events with one port per occurrence, read through the prefix settled
2026-09-08 `Unresolved` on a bare record is the wanted shape settled
2026-09-08 legitimate deference lands as one stack: conditional authoritative regret is the target, the completion bound is two-sided, authorship is issuance-rooted, and reason coverage is a barrier settled
2026-09-08 the legitimacy / normative-induction phase is canonicalized settled
2026-09-08 the inertness-dichotomy "next step" entry is retired in favour of a filed presentation priority settled
2026-09-08 endpoint preservation is not a target of this program settled
2026-09-08 the deference grade acquires an activation index settled
2026-09-08 continuation BRIA is canonical: the hypothesis is `(continuation, claim)` at a system block contract, the test is realized execution, the weighted auction is opening-timed, and non-dominance is the schedule boundary settled
2026-09-08 continuation bounded inductive rationality is weighted by lease duration, and its competence statement is about hypotheses on the learner's own histories settled
2026-09-08 the canonical legitimacy predicate may name a designated principal role settled
2026-09-07 Robust Openness is required at every state of a legitimate evolution settled
2026-09-07 Robust Openness at a prefix includes the actual branch by definition settled
2026-09-07 the public obligation state is the accounted state, and Integrity is an evolution of it settled
2026-09-07 local laws are unary in the parent; aggregation is a deferred extension settled
2026-09-07 the legitimacy→deference interface is an activated evaluation occurrence, read occurrence-locally settled
2026-09-07 the decision adapter is a sound Lipschitz reader of adequacy scores; the static choice problem is closed conditional on margin settled
2026-09-07 closure yields a resolution witness, not answer evidence settled
2026-09-07 the bibliography is exempt from the name lint settled
2026-09-07 authorship of a future evaluation is exclusive binding plus reason mediation, read as a derived predicate over the answer receipt and its payload settled
2026-09-06 standing is Robust Openness at the null intervention settled
2026-09-06 Progress is the transport-weighted edge loss plus residual settled
2026-09-06 the Non-Capture certificate is the persistence bill settled
2026-09-06 Integrity's primitive is the occurrence-indexed account settled
2026-09-06 the incentive extension of corrigibility is a named-assumption identity; Level II is claimed, Levels III and IV are not settled
2026-09-06 corrigibility is targeted as relative constitutional corrigibility, a consumer of the legitimacy spine settled
2026-09-06 the conditional Normative Inductor theorem names only what it uses settled
2026-09-05 a symlink into a local build cache reached `main`, and is removed settled
2026-09-05 author consolidation: two rounds landed, the wiki restated as legitimate cognitive evolution settled
2026-09-03 the Defeat Principle is adopted settled
2026-09-02 the September naming audit settled
2026-09-02 post-merge terminology corrections in the frozen September checkpoint settled
2026-09-02 grounds are unified, and defeat is answerable but not coalition-proof settled
2026-09-01 the transport residual is purchasable and the friction residual is not settled
2026-09-01 the transport residual is claim-normalized settled
2026-09-01 timely service competes across reasons; persistence does not settled
2026-09-01 the serviceability frontier is convex under fractional splitting settled
2026-09-01 service admissibility replaces the dip criterion by a summability one settled
2026-09-01 the September checkpoint freezes at merge; the wiki never does settled
2026-09-01 the September checkpoint is the current human-facing view settled
2026-09-01 Progress is claim-weighted settled
2026-09-01 Pettit is removed from the prior-art ledger settled
2026-09-01 persistence, eventual service and uniform timeliness are three problems settled
2026-09-01 persistence and eventual full service are the same existence question settled
2026-09-01 the persistence criterion is the date cost, not the conservative friction settled
2026-09-01 the legitimacy decomposition is the working framing, and not a claim settled
2026-09-01 insolvency needs a tail proof, not an observed floor settled
2026-09-01 a gate checks that cited paths are in the repository settled
2026-09-01 the friction-free theorem needs nested assessment settled
2026-09-01 three fixed-era results are recorded as probable rediscoveries settled
2026-09-01 the fixed-era affordability and serviceability layer is finished settled
2026-09-01 deadline insolvency admits a finite certificate settled
2026-09-01 bounded-delay service has an exact sliding-window criterion settled
2026-09-01 the bounded-delay feasibility proof keeps its citation settled
2026-09-01 the batching theorem needs concavity and equal claim masses settled
2026-09-01 the answerability stack is landed on `main` settled
2026-09-01 affordability pays for the settlement-friction residual settled
2026-08-31 the sustainable authority-rate region is withdrawn settled
2026-08-31 the service-fidelity interface is a transport plan, not contiguity settled
2026-08-31 service is allocated authority, not realized force settled
2026-08-31 "self-financing" is deleted; affordability is a signed account settled
2026-08-31 a reason-indexed cap needs per-row liability floors settled
2026-08-31 Progress is staged, not redefined settled
2026-08-31 Progress comes from the market maker; the criterion preserves the substrate settled
2026-08-31 persistent enforcement is affordable iff the friction dips to zero settled
2026-08-31 local authority capacity is not lifetime safety settled
2026-08-31 Actionability is read against the common region, not reason-relative ones settled
2026-08-31 Actionability is a convex coercivity modulus settled
2026-08-30 successor freshness supersedes the frozen carry law settled
2026-08-30 the remaining Legitimate Evolution departures are settled as departures settled
2026-08-30 the mathematics of Normative Continuity is settled settled
2026-08-29 matters enter the Lean spine abstractly settled
2026-08-29 the checkpoint bytes are not edited; concordance findings are errata settled
2026-08-28 the summable schedule is a witness, not a priority rule settled
2026-08-28 the service/liability bridge is blocked by direction settled
2026-08-28 service entitlement persists as a floor, not a pinned value settled
2026-08-28 the round declines to refuse a pre-existing self-sealing rule settled
2026-08-28 promotion permanence is the round's own premise settled
2026-08-28 the preceding round's promotion-to-Due bridge is qualified settled
2026-08-28 an open challenge episode is pinned to its registration terms settled
2026-08-28 historical validity and current endorsement are separate predicates settled
2026-08-27 the improvement baseline is a parameter, not a policy settled
2026-08-27 evidence and uptake regret are separate interfaces settled
2026-08-27 the effective mass is the loss-weighted form, not either proposal settled
2026-08-27 designation is part of the comparison surface settled
2026-08-27 the composition is re-derived, not imported settled
2026-08-26 weight conservation is stated in total, never per-parent settled
2026-08-26 semantic validity is defined, not constrained settled
2026-08-26 the RI seam is a derived projection, not stored mint events settled
2026-08-26 proper exercise is semantic input, not a theorem module settled
2026-08-26 an occurrence is identified by trace position, not by historical time settled
2026-08-26 the obligation model carries a fourth removal channel settled
2026-08-26 the obligation fold is gated asymmetrically settled
2026-08-26 Legitimate Evolution ships as a named conjunction, not a theorem settled
2026-08-26 incurred and outstanding are separate sets settled
2026-08-26 immediate resolution is not expressible, on purpose settled
2026-08-26 a grounding certificate is about origin, not currentness settled
2026-08-26 `Due` is a level and its rising edge is what obliges settled
2026-08-26 `Due` is an activation generator over the represented state settled
2026-08-26 `Disposes` and `Transfers` become one parameter `Resolve` settled
2026-08-26 `D1` is an inclusion, never an equality settled
2026-08-26 `D1` is a conformance condition, not a structural premise settled
2026-08-26 carried successors need not be fresh settled
2026-08-26 an act's grounds are part of the act settled
2026-08-26 A2 is withdrawn as a premise settled
2026-08-25 the vertical slice's four local repairs settled
2026-08-25 the legitimate state is replayed, not filtered settled
2026-08-25 legitimacy parents are not the objects an exercise acts on settled
2026-08-25 legitimacy is judged locally, not by outcome survival settled
2026-08-25 legitimacy does not mention liability settled
2026-08-25 grounding an authority is not authorizing an exercise settled
2026-08-25 an exercise is individuated by what it does settled
2026-08-25 the enforcement charge is the safety layer's own quantity settled
2026-08-25 derivability requires all of an exercise's sources settled
2026-08-25 a citation may be written in backticks where the name lint would otherwise refuse it settled
2026-08-25 answerability continuity is not a conjunct of legitimate succession settled
2026-08-24 the reservation bar and epistemic debt settled
2026-08-24 the queue is triaged: the rulings the rounds recommended settled
2026-08-18 projection is the paper's traderization construction settled
2026-08-18 the modified market's computability is discharged, via an additive upstream export settled
2026-08-17 five workspace-friction rulings settled
2026-08-16 write scope is enumerated and conditioned, not forbidden settled
2026-08-16 the wiki's source is `wiki/`; the hosted wiki is a mirror settled
2026-08-16 the wiki carries interpretation and philosophical gloss settled
2026-08-16 volatile quantities in the wiki are declared, not detected settled
2026-08-16 Claude's wiki pull requests open under a token on the maintainer's account settled
2026-08-14 required checks use stable infrastructural identities settled
2026-08-13 the repository is the lab; the wiki is the human register settled
2026-08-13 the project line is normativity settled
2026-08-13 legitimacy is a normativity subproject settled
2026-08-13 answerability, auditability, and efficacy are distinct names settled
2026-08-12 the deference line's current source material is the 2026-08-11 tree settled
2026-08-11 upstream Formalized-Agent-Foundations was already Apache-2.0 settled
2026-08-11 the third-party reference payloads are cited, not vendored settled
2026-08-11 Stage IV: the future agent is still not in the model, and the reason is the signature settled
2026-08-11 Stage III did not build a FUD comparator, and says so settled
2026-08-11 slop discipline is a standard, and grounds for rejection settled
2026-08-11 skeleton v2 is installed; jurisdiction replaces authority in the canonical roadmap settled
2026-08-11 the setup and scrub reports are removed from the root settled
2026-08-11 second maintainer, and co-equality settled
2026-08-11 reserved items are listed, not mentioned settled
2026-08-11 the repository, the Lean library, and the forward tree renamed settled
2026-08-11 the queue is cleared: six rulings settled
2026-08-11 public, and branch protection live settled
2026-08-11 provenance is two fields, superseding the three origin classes settled
2026-08-11 the program has no name, and a lint keeps it that way settled
2026-08-11 no negative ontologies settled
2026-08-11 model attribution required settled
2026-08-11 model attribution is recorded at the pull request as well settled
2026-08-11 maintainer attention is a design parameter, not a backlog settled
2026-08-11 licence: Apache-2.0, one licence for everything settled
2026-08-11 the ledger is append-only in substance settled
2026-08-11 green merges itself, and the judge ships unread settled
2026-08-11 the governance report is removed, not relocated settled
2026-08-11 `frozen/` retired; received work becomes line content settled
2026-08-11 external-citation norm set settled
2026-08-11 every gate ships a case proving it fails on nothing settled
2026-08-11 the deference line's canonical documents, and `notes/` as specification space settled
2026-08-11 the deference line carries its own name settled
2026-08-11 DCO over CLA, pseudonymous sign-off accepted settled
2026-08-11 the contribution funnel is `PRIORITIES.md` settled
2026-08-11 choice-level competence is retired; the certificate gates on self-assessed error settled
2026-08-10 repository name and scope settled
2026-08-10 one Lake project, not one per line settled
2026-08-10 Formalized-Agent-Foundations pinned by commit settled
2026-08-10 one dependency pinned, the rest inherited settled
2026-08-10 binding standards live in `AGENTS.md` settled