Friendship-Governed Goal Architecture — Part 4: Risks, Integration, and Acceptance
20. Risks And Criticisms
The main risks are recorded in risks-and-criticisms.md. The most important Thesis 0-specific risks are:
- operationalization-density drift
- Friendship root impersonation
- goal-DAG cycle or ancestry laundering
- goal-stack snapshot tampering or opacity
- active intention persistence beyond plan retirement
- instrumental goal regrowth
- thesis-backed rationalization
- formalism theatre
- authority collapse under single-owner Phase 1
- goal-governance schema migration mid-cycle
- goal revision laundering through narrowing
- multi-parent asymmetric authority
- Friendship indirect-normativity drift
- Thesis 0 doctrine capture
- worked-example misdirection
- cross-artifact drift between body and schemas
- goal-class cascade mismatch
The thesis must not merely list these risks. Each risk must bind to at least one invariant, schema field, ledger record, worked example, or validation check.
The risks should be triaged by how much downstream doctrine they can silently invalidate. First-order risks directly change whether goals are legitimate: Friendship root impersonation, goal-DAG laundering, multi-parent asymmetric authority, authority collapse, indirect-normativity drift, and doctrine capture. Second-order risks change whether legitimate goals remain auditable: snapshot opacity, active-intention persistence, schema migration, revision laundering, and cross-artifact drift. Third-order risks change whether the thesis remains intellectually honest: operationalization-density drift, formalism theatre, thesis-backed rationalization, worked-example misdirection, instrumental regrowth, and cascade mismatch. This ordering is not a severity downgrade for third-order risks; it is a review workflow. If first-order legitimacy is broken, the remaining layers cannot repair it.
The risk register also has to distinguish prevention, detection, and recovery. Prevention is the invariant or schema rule that should stop the failure before activation. Detection is the ledger record, validator check, or review question that should reveal the failure if prevention fails. Recovery is the suspension, veto, rollback, retirement, or supersession path that restores a governed state. A risk row that has only prevention is brittle. A risk row that has only detection is reactive. A risk row that has no recovery path turns a discovered failure into an unresolved incident. Each major risk should therefore answer all three questions.
Risk binding table:
| Risk | Binding invariant | Operational hook | Worked example |
|---|---|---|---|
| Operationalization-density drift | T0-I1 | per-model density target, post-expansion review prompt | all models |
| Friendship root impersonation | T0-I2 | registry semantic validation | WE-T0-M2 |
| Goal-DAG cycle or ancestry laundering | T0-I2, T0-I9 | goal_ancestry_decision, revision_lineage | WE-T0-M2 |
| Goal-stack snapshot tampering or opacity | T0-I8, T0-I14 | snapshot fingerprint validation | WE-T0-M10 |
| Active intention persistence beyond plan retirement | T0-I10 | expiration_triggers, snapshot active intention ID | WE-T0-E2E4 |
| Instrumental goal regrowth | T0-I6 | instrumental_goal_classification | WE-T0-IG1 through WE-T0-IG10 |
| Thesis-backed rationalization | T0-I3 | thesis backing required records | WE-T0-M6 |
| Formalism theatre | T0-I1 | model falsification conditions | per-model failure sections |
| Authority collapse under Phase 1 | T0-I4 | cooling-window table, authority matrix | WE-T0-M4 |
| Schema migration mid-cycle | T0-I7 | protected-artifact handling | WE-T0-M8 |
| Goal revision laundering | T0-I9 | revision_lineage | WE-T0-IG3 |
| Multi-parent asymmetric authority | T0-I2, T0-I4 | tightest-authority merge | WE-T0-M2 |
| Friendship indirect-normativity drift | T0-I5 | evidence cannot remove correction authority | WE-T0-M5 |
| Thesis 0 doctrine capture | T0-I7, T0-I13 | non-author review, rollback path | WE-T0-M11 |
| Worked-example misdirection | T0-I1 | failure or near-miss required per example | Section 19 |
| Cross-artifact drift | T0-I7 | cross-reference map, validator | post-expansion review |
| Goal-class cascade mismatch | T0-I3 | schema enum plus planning bridge layers | WE-T0-M7 |
Operationalization-density drift is the risk that Thesis 0 reaches its word target by adding explanation rather than enforceable artifacts. The mitigation is the per-model density rule, the worked-example inventory, the roundtrip audit, and the post-expansion LLMNonInteractive review prompt. The residual risk is that the document could satisfy local density in each section while still failing as a coherent whole. The false-negative condition is a review that counts artifacts without checking whether they bind to schemas, ledger records, or validator behavior.
Friendship root impersonation is the risk that a goal cites a plausible but unregistered friendship.root.* identifier. This matters because goals can appear aligned when their root is only a string. The mitigation is the Friendship registry schema, registry instance, semantic validator checks, and friendship_root_anchoring_decision records. The residual risk is section-level drift: a prose section may refer to an unregistered root even if JSON fixtures validate. The false-negative condition is a review that validates syntax but does not check registry membership.
Goal-DAG cycle or ancestry laundering is the risk that parentage is manipulated to make a goal appear derived from Friendship while weakening the actual chain. Cycles can make a goal justify itself. Narrowing can hide widening across revisions. The mitigation is parent-edge typing, cycle detection in future semantic validators, revision_lineage, and ledgered ancestry decisions. The residual risk is aggregate laundering: several individually narrow child goals can recombine into a broader effect. The false-negative condition is checking each edge locally while ignoring graph-level and aggregate behavior.
Goal-stack snapshot tampering or opacity is the risk that the system cannot reconstruct which intention, plan, evidence view, and veto checks governed an action. Heavy snapshots can drift; mutable snapshots can be rewritten; opaque snapshots can point nowhere useful. The mitigation is thin-pointer design, required fingerprints, append-only supersession, retention policy, and snapshot semantic validation. The residual risk is source disappearance: a snapshot can point to a plan fingerprint that is no longer retrievable. The false-negative condition is accepting a matching snapshot fingerprint without checking that referenced artifacts remain available.
Active intention persistence beyond plan retirement is the risk that a task keeps pursuing a goal after its parent plan, source thesis, or authority window expires. This is a classic agentic failure because the local task can still look productive. The mitigation is T0-I10, expiration_triggers, plan lifecycle records, and suspension/retirement records. The residual risk is delayed detection in long-running tasks. The false-negative condition is validating the task prompt while ignoring parent-plan freshness.
Instrumental goal regrowth is the risk that a vetoed or constrained instrumental goal returns under another name. Self-preservation becomes uptime hygiene; benchmark modification becomes deflaking; authority expansion becomes workflow simplification. The mitigation is suspicious-by-default classification, future-regrowth keys in veto records, and aggregate ThesisBackingRequired(plan) checks. The residual risk is semantic novelty: a new label may evade existing matching keys. The false-negative condition is matching only exact goal IDs instead of mechanism, protected artifact, and effect.
Thesis-backed rationalization is the risk that agents cite Thesis 0 or another thesis after deciding what they wanted to do anyway. This turns thesis text into decorative justification. The mitigation is pre-activation thesis backing, source hashes, required ledger records, and compliance-packet evaluation. The residual risk is persuasive but shallow backing: a claim cites a thesis section but does not preserve its non-claims or forbidden means. The false-negative condition is checking for citation presence rather than coverage quality.
Formalism theatre is the risk that formal models, schemas, and invariants create the appearance of rigor without constraining behavior. A model can define objects and predicates yet never falsify a plan. The mitigation is per-model failure modes, falsification conditions, ledger bindings, schema implications, and worked examples. The residual risk is that examples remain too clean. The false-negative condition is a review that praises formal notation while ignoring whether any real fixture or plan would fail because of it.
Authority collapse under single-owner Phase 1 is the risk that proposal, adoption, activation, revision, and veto collapse into an undocumented single decision. Phase 1 cannot fully solve this institutionally, so it must solve it procedurally. The mitigation is authority matrices, cooling windows, owner-waiver records, non-author model review where available, and override-frequency monitoring. The residual risk is waiver normalization. The false-negative condition is seeing owner approval and assuming all authority-separation concerns are satisfied.
Goal-governance schema migration mid-cycle is the risk that schema changes alter which goals validate while active intentions still depend on prior semantics. The mitigation is protected-change handling, old-version preservation, migration notes, dependent-intention suspension, and validator negative fixtures. The residual risk is migration ambiguity: a goal may be valid under both schemas but mean different things. The false-negative condition is running only current-schema validation and ignoring semantic drift from the prior schema.
Goal revision laundering through narrowing is the risk that a sequence of apparently narrower revisions cumulatively widens authority or changes meaning. Each step can look safe in isolation. The mitigation is revision_lineage, prior-version preservation, changed-field records, and parent-scope comparison. The residual risk is recombination across sibling goals. The false-negative condition is checking that each revision has a rationale but not checking that current scope remains within the adopted scope.
Multi-parent asymmetric authority is the risk that a child goal cites multiple parents for legitimacy but selects only the least restrictive authority path. The mitigation is tightest-constraint merge: union forbidden means, union non-claims, maximum risk, strongest authority. The residual risk is non-mergeable conflict that reviewers are tempted to resolve by convenience. The false-negative condition is accepting a multi-parent goal because every parent is valid while ignoring the merged constraint set.
Friendship indirect-normativity drift is the risk that the system gradually treats its inferred Friendship interpretation as good enough to reduce owner authority. This is especially plausible if evidence accumulates and the system performs well. The mitigation is Model 5: evidence cannot remove correction authority. The residual risk is cultural rather than technical: reviewers may become accustomed to treating high confidence as deference replacement. The false-negative condition is asking whether the system is usually right rather than whether correction remains structurally available.
Thesis 0 doctrine capture is the risk that the goal-governance thesis itself becomes the target of optimization. A model can make future goal approval easier by editing definitions, invariants, schemas, or examples. The mitigation is T0-I7, T0-I13, T0-I15, non-author review, rollback path, and protected-artifact suspension. The residual risk is semantic weakening through stylistic edits. The false-negative condition is diff-size review: small textual edits may have large governance effect.
Worked-example misdirection is the risk that examples demonstrate only clean success cases and never exercise the failure paths the thesis claims to control. The mitigation is the inventory rule that every example includes a failure or near-miss path, ledger records, and outcome. The residual risk is staged examples that are too artificial. The false-negative condition is checking that examples exist but not checking that they would change a plan disposition.
Cross-artifact drift between body and schemas is the risk that the thesis body, vocabulary file, schema files, ledger appendix, planning bridge, validator, and fixtures slowly diverge. The mitigation is the cross-reference map, schema validation, roundtrip audit, and post-expansion review. The residual risk grows with length. The false-negative condition is reviewing the body alone.
Goal-class cascade mismatch is the risk that schema goal_class values, planning bridge layers, and thesis prose describe different hierarchies. The mitigation is the aligned cascade: Friendship root, system goal, strategic, campaign, operational, mission, task, method/action. The residual risk is that future planner schemas only implement some layers. The false-negative condition is enum validation without checking planner semantics.
Risk review should be performed as a set of operational questions. For operationalization-density drift, the reviewer should ask: which new invariant, schema field, ledger record, fixture, worked example, failure mode, or validation hook was added by this section? If the answer is "none," the section is probably expanding by explanation rather than substance. For Friendship root impersonation, the reviewer should ask whether every root-like string in the body, fixtures, plans, and examples resolves to the registry. For goal-DAG cycle or ancestry laundering, the reviewer should ask whether parent edges can be loaded, whether revisions preserve removed parents, and whether any child goal justifies the parent it depends on.
For snapshot tampering, the reviewer should ask whether the snapshot is a thin pointer, whether its required-field fingerprint can be recomputed, whether failed veto checks remain visible, and whether correction uses supersedes rather than mutation. For active-intention persistence, the reviewer should ask whether every task that continues after a parent change has a fresh authorization decision. For instrumental regrowth, the reviewer should ask whether a vetoed mechanism has returned under a safer label. These questions should be used during post-expansion review because they catch failure modes that ordinary prose review misses.
For thesis-backed rationalization, the reviewer should ask whether thesis backing constrained the plan before activation or merely explained it afterward. For formalism theatre, the reviewer should pick a formal model and ask what real fixture or plan would fail because of it. For authority collapse, the reviewer should inspect whether a decision records proposal, adoption, activation, and veto separately, or whether owner approval has been used as an all-purpose replacement for process. For schema migration mid-cycle, the reviewer should ask which active goals and snapshots depend on the old schema semantics.
For revision laundering, the reviewer should inspect revision_lineage rather than current goal prose. For multi-parent asymmetric authority, the reviewer should compute the strictest inherited authority, not the authority the child chose. For indirect-normativity drift, the reviewer should ask whether evidence confidence is being used to reduce correction authority. For doctrine capture, the reviewer should read small edits semantically, not by diff size. For worked-example misdirection, the reviewer should require every example to contain at least one failure or near-miss path that would change a disposition.
These risk-review questions should eventually become a checklist in the post-expansion LLMNonInteractive review prompt. Their role is different from the validator. The validator catches known executable failures. The risk checklist catches judgment failures that still require human or model review: persuasive rationalization, overclean examples, semantic weakening, and authority drift. Both are needed because a 50,000-word governance thesis can fail either by invalid artifacts or by persuasive but unenforced prose.
Risk closure should be stricter than risk mention. A risk is not closed because the body names it. It is not closed because a mitigation sounds plausible. It is closed for drafting purposes only when the thesis names the invariant that prevents it, the validator or review question that detects it, the ledger record that preserves evidence of it, the recovery path that handles it, and the worked example that exercises it. If one of those columns is absent, the risk should remain open or partially mitigated. This standard is intentionally demanding because Thesis 0's main failure mode is persuasive governance prose that does not bind future action.
Risk severity should be assigned by failure consequence, not by rhetorical intensity. A risk that changes Friendship root interpretation, owner authority, protected artifact status, or validator semantics is critical even if the edit is small. A risk that weakens auditability without directly authorizing action is high because it prevents later correction. A risk that creates reader misunderstanding is moderate unless it can lead to unauthorized activation. This severity scheme helps reviewers avoid overreacting to dramatic examples while missing small governance edits that change future authority.
The recovery path should be named in the same risk row as the mitigation. For root impersonation, recovery is suspension or veto plus registry correction. For snapshot tampering, recovery is incident handling, superseding snapshot, and source reconstruction. For active-intention persistence, recovery is suspension, retirement, or reauthorization. For doctrine capture, recovery is rollback to preserved old version, owner decision, non-author review, and dependent-intention revalidation. Recovery language matters because a long thesis that detects failures but does not say how the system returns to a governed state leaves incident response under-specified.
Post-expansion review should sample risks across severity classes. It should not only check the most famous risks, such as instrumental convergence or doctrine capture. It should also sample low-glamour risks like cross-artifact drift, cascade mismatch, and worked-example misdirection, because those are the risks most likely to accumulate during ordinary drafting. The reviewer should pick at least one first-order legitimacy risk, one auditability risk, one evidence-authority risk, one self-protection risk, and one exposition-density risk, then run the closure test for each.
21. Integration With The Five Theses
Thesis 1, Validated Improvement Loop: accepted improvements must cite governed goals when their objective affects recursive capability, protected controls, validators, benchmarks, ledgers, or authority. Thesis 1 decides whether a change is an accepted improvement. Thesis 0 decides whether the goal being improved toward is governed. A patch can pass tests and still fail Thesis 0 if it pursues an unauthorized goal, weakens goal ancestry, or treats benchmark improvement as goal validity.
The concrete binding is ThesisBackingRequired(plan). If an improvement proposal modifies validators, benchmarks, ledgers, V_ref_0, protected artifacts, autonomy scope, tool scope, successor authority, or recursive capability claims, it must cite a governed goal and produce the relevant ledger records before activation. Thesis 1's acceptance gate therefore depends on Thesis 0 when the improvement target is goal-relevant.
The practical integration rule is that Thesis 1 should not count an improvement as accepted when the improvement target is an unauthorized or under-governed goal. A patch can improve a benchmark, reduce errors, or simplify code while still weakening goal governance. Thesis 0 supplies the filter for that case: if the improvement changes a validator, benchmark, ledger, V_ref_0, protected artifact, or recursive capability claim, the accepted-improvement evidence must include planner_inheritance_decision, relevant protected-change records, and a goal-stack snapshot where activation occurred. Otherwise the improvement may be technically successful but goal-invalid.
This binding also protects Thesis 1 from benchmark capture. Thesis 1 needs benchmarks and validation sets to judge improvement. Thesis 0 asks whether those evaluators were themselves modified under governed conditions. A candidate improvement that edits the benchmark and then passes the edited benchmark is not automatically disqualified, but it must carry benchmark_modification_decision, protected-set evidence, owner disposition, and comparability notes. This prevents the improvement loop from becoming self-ratifying.
The Thesis 1 integration should be audited by separating three questions: did the change improve something, was the improvement measured by a protected or modified evidence channel, and was the goal being optimized governed before activation? A validator improvement can answer the first question yes while failing the second or third. This is why Thesis 0 records benchmark, validator, and ledger modifications as goal-governance-relevant events. Accepted improvement evidence is incomplete when the target goal or the measurement channel is under-governed.
Thesis 2, Cognitive Substrate: cognitive agents may propose goals, reason about goals, detect goal conflicts, and generate alternatives. They may not adopt authoritative goals without lifecycle gates. Thesis 2 supplies the cognitive machinery that can represent beliefs, desires, candidate goals, uncertainty, and conflict. Thesis 0 supplies the governance boundary: candidate generation is not adoption, and internally motivated goal reasoning is not authority.
This matters most for powerful agents. A frontier model may produce a persuasive goal proposal with strong arguments and plausible ancestry. Under Thesis 0, that proposal is still an untrusted artifact until classification, ancestry checks, authority separation, evidence review, and veto checks complete. The cognitive substrate can accelerate goal formation, but it must not collapse generation into authorization.
The integration rule for Thesis 2 is that cognitive richness increases the need for goal governance rather than decreasing it. A more capable agent can generate better candidate goals, find more subtle parent links, anticipate obstacles, and produce more persuasive rationales. Those abilities are useful at the proposal and analysis stages. They are dangerous if the system treats them as adoption authority. Thesis 0 therefore places BDI-style distinctions around Thesis 2 outputs: desire-like candidate generation, belief-like evidence modeling, and intention-like commitment must remain separate lifecycle states.
Thesis 2 also supplies candidate conflict detection and goal-reasoning capabilities. Thesis 0 defines what those capabilities must output when they touch governed goals: proposed parent edges, instrumental classifications, authority requirements, uncertainty notes, dissent references, and veto candidates. A cognitive agent that detects a conflict should not silently resolve it for convenience. It should produce a goal_ancestry_decision, goal_classification, governed_goal_veto_decision, or escalation record depending on the failure class.
The Thesis 2 integration should be audited by inspecting the handoff from cognitive output to governed artifact. A model-generated candidate goal should arrive as a proposal with source claim, uncertainty, parent hypotheses, instrumental-class hypotheses, and possible veto conditions. It should not arrive as an adopted goal. If the cognitive substrate supplies a polished rationale, Thesis 0 treats that rationale as evidence to evaluate, not as authority. This preserves the useful part of cognition while preventing persuasive generation from becoming goal adoption.
Thesis 3, Causal Decision Foundations: decision procedures must reason under goal uncertainty. They may estimate consequences, compare interventions, and model causal pathways. They do not convert confidence into terminal authority. Thesis 3 helps answer "what would happen if this goal were pursued by this plan under these constraints?" Thesis 0 answers "is this a legitimate goal to pursue, revise, delegate, suspend, or retire?"
The key integration point is Model 5. Evidence can support a causal claim, but the authority matrix still governs lifecycle transition. A causal model may predict that benchmark modification would improve apparent acceptance rate. Thesis 0 asks whether the benchmark is a protected evidence artifact, whether V_ref_0 is affected, whether the modification is instrumental-quarantined, and whether owner/Friendship correction remains intact.
The integration rule for Thesis 3 is that causal decision quality is evaluated inside a governed goal frame. A causal model can estimate effects, compare interventions, and identify likely consequences. It cannot decide that the goal is authoritative merely because the expected outcome is good. If a causal analysis says a validator change will improve acceptance probability, Thesis 0 asks whether the change preserves negative fixtures, source hashes, authority, and corrigibility. The causal recommendation becomes evidence, not permission.
This distinction is critical for preference uncertainty. Causal reasoning can make the system more effective at satisfying an inferred objective, but if the objective is incomplete or misgeneralized, improved causal power can worsen alignment. Thesis 0 therefore requires causal decision outputs to preserve evidence_state.unknowns, dissent, ask-or-abstain policy, and authority boundaries. The correct integration is not "Thesis 3 tells Thesis 0 what goal is best." It is "Thesis 3 supplies consequence evidence that Thesis 0 evaluates under governed authority."
The Thesis 3 integration should be audited by checking whether causal recommendations preserve counterfactual uncertainty. A causal model may recommend a plan because it predicts better validator coverage, lower incident rate, or faster improvement. The audit should ask what alternative outcomes were considered, which uncertainties remain, and which veto conditions would still block the recommendation. If the causal recommendation removes unknowns by assertion or treats expected utility as adoption authority, it has crossed from decision support into goal authority.
Thesis 4, Self-Modifying Software Substrate: code, schema, validator, and benchmark changes that affect goal governance are protected changes. Self-modifying software may not weaken the goal layer. Thesis 4 explains how Consullo can modify its substrate. Thesis 0 identifies which substrate changes are goal-governance changes and therefore require protected handling.
The core integration point is Model 11. A self-modification that changes Thesis 0, the Friendship registry, goal schemas, validator checks, ledger semantics, or T0 invariants is not an ordinary code improvement. It is a change to the rules by which future goals become legitimate. Thesis 4 must therefore treat Thesis 0 artifacts as protected controls with rollback and independent review.
The integration rule for Thesis 4 is that self-modifying software must distinguish ordinary code changes from goal-governance substrate changes. A refactor that does not touch protected governance artifacts may proceed under ordinary improvement gates. A schema edit, validator edit, benchmark edit, ledger-retention edit, or planning-bridge edit must pass through Thesis 0's protected-change rules. This distinction prevents the software substrate from treating governance semantics as implementation details.
Thesis 4 also supplies rollback and version-control expectations that Thesis 0 depends on. Goal-governance changes need preserved old versions, tested rollback paths, and validation that known negative fixtures still fail. A self-modification that improves local code quality while weakening a required field or semantic check is not an accepted improvement under the combined system. Thesis 0 names the protected meaning; Thesis 4 supplies the substrate discipline needed to preserve and restore it.
The Thesis 4 integration should be audited by following the diff's semantic target rather than its file extension. A Markdown edit can weaken doctrine. A JSON fixture edit can weaken evidence. A schema edit can change which goals validate. A validator edit can change which failures are visible. A refactor can change runtime authority if it alters tool routing or review gates. Thesis 0 therefore asks what future governance decision becomes easier, harder, or less visible because of the software change; Thesis 4 asks whether that change is versioned, testable, reversible, and safe to apply.
Thesis 5, Alignment And Scoped Trust: scoped trust is the enforcement substrate for authority, tool access, review requirements, and protected artifact modifications. Thesis 0 supplies the goal-specific triggers that Thesis 5 enforces. A planner can be trusted for documentation cleanup but not for goal adoption. A validator can be trusted for schema syntax but not for deciding that a goal-governance weakening is safe.
The practical rule is least privilege over goal authority. Tool access, model-family review, compliance-packet evaluation, and owner override must be scoped to the goal class, risk class, autonomy level, and protected-artifact impact. Thesis 5 prevents a generally useful agent from inheriting authority over goals merely because it performs well on tasks.
The integration rule for Thesis 5 is that trust is scoped by goal authority, not general competence. An agent may be trusted to edit Markdown, run a validator, or propose a plan, while not being trusted to adopt a goal, revise a Friendship root, or waive a veto. Thesis 0 supplies the goal-specific authority matrix and risk triggers. Thesis 5 supplies the scoped-trust enforcement model that prevents tool access, model capability, or prior success from becoming unrestricted authority.
This integration is especially important for frontier-model assistants. A frontier model may be useful for critique, literature synthesis, schema review, and candidate-goal generation. Thesis 5 may permit those roles under scoped trust. Thesis 0 still treats the model's goal-governance proposals as untrusted artifacts until non-author review, owner authority, rollback, and validation conditions are satisfied. The combined rule is simple: trust a model for the role it was scoped for, not for every downstream authority its output tries to claim.
The Thesis 5 integration should be audited by looking for authority spillover. A model trusted to summarize literature should not become trusted to define Friendship roots. A tool trusted to edit a fixture should not become trusted to decide that a negative fixture is unnecessary. A planner trusted to decompose a campaign should not become trusted to adopt a new system goal. Thesis 0 supplies the role-specific authority matrix; Thesis 5 supplies enforcement so scoped trust does not expand through competence, convenience, or repeated successful use.
The following cross-map is the minimum integration audit. It does not replace the existing thesis bodies; it names the Thesis 0 artifacts that those bodies must respect when a plan or change touches goal governance.
| Existing thesis | T0 invariants consumed | T0 artifacts consumed | Required ledger evidence |
|---|---|---|---|
| Thesis 1 | T0-I3, T0-I6, T0-I8, T0-I11 | ThesisBackingRequired(plan), benchmark/validator protected-change rules, goal-stack snapshot schema | benchmark_modification_decision, goal_stack_snapshot, plan_object_lifecycle |
| Thesis 2 | T0-I1, T0-I2, T0-I4, T0-I13 | lifecycle states, parent-goal schema, authority matrix, untrusted frontier-edit rule | governed_goal_proposal, goal_classification, goal_ancestry_decision |
| Thesis 3 | T0-I5, T0-I8, T0-I10 | evidence_state, ask-or-abstain policy, active-intention lifetime rule | goal_evidence_update, goal_stack_snapshot, governed_goal_suspension |
| Thesis 4 | T0-I7, T0-I9, T0-I14, T0-I15 | protected artifact list, revision lineage, append-only snapshot rule, Friendship registry protection | goal_governance_modification_decision, governed_goal_revision, validator_decision |
| Thesis 5 | T0-I4, T0-I6, T0-I7, T0-I13 | authority matrix, instrumental quarantine classes, protected artifact impacts, non-author review rule | human_authority_decision, instrumental_goal_classification, governed_goal_veto_decision |
The integration has to be bidirectional. Thesis 0 supplies the root-goal governance layer, but it should not restate every rule owned by the other theses. When Thesis 1 owns accepted-improvement criteria, Thesis 0 should cite those criteria and add the goal-authority precondition. When Thesis 4 owns rollback and protected software-change mechanics, Thesis 0 should cite those mechanics and specify which goal-governance artifacts trigger them. When Thesis 5 owns scoped-trust enforcement, Thesis 0 should cite its role boundaries and supply the goal-specific authority matrix. This prevents Thesis 0 from becoming a duplicate master document that drifts from the suite it is supposed to govern.
Conflict resolution should follow ownership and strictness. If Thesis 0 says a goal-governance change requires owner review and Thesis 4 says a software change can proceed under ordinary review, the stricter Thesis 0 rule governs when the software change affects goal governance. If Thesis 5 says a model is trusted for a task and Thesis 0 says the same model cannot adopt the goal that authorizes the task, the scoped trust remains bounded by the Thesis 0 authority matrix. If Thesis 1 says an improvement is accepted and Thesis 0 says the target goal was unauthorized, the improvement may remain technically valid evidence but cannot count as Friendship-governed recursive improvement. The integration rule is not "Thesis 0 always wins"; it is "the artifact owner governs its domain, and goal-authority constraints are prerequisites for goal-relevant action."
The dependency map should therefore track imported and exported obligations. Thesis 0 imports improvement evidence from Thesis 1, cognitive proposal machinery from Thesis 2, causal consequence analysis from Thesis 3, rollback and protected-change substrate from Thesis 4, and scoped trust from Thesis 5. It exports governed-goal ancestry, lifecycle state, authority matrices, instrumental classifications, goal-stack snapshots, and goal-governance ledger records. A plan that crosses thesis boundaries should show both sides: which non-T0 thesis supplied the operational capability, and which T0 artifact authorized or constrained the goal being pursued.
Integration summary:
| Thesis | What it contributes | Thesis 0 boundary |
|---|---|---|
| Thesis 1 | accepted-improvement evidence | improvement target must be a governed goal when high-impact |
| Thesis 2 | cognitive goal reasoning | proposal is not adoption |
| Thesis 3 | causal decision quality | confidence is not authority |
| Thesis 4 | self-modifying substrate | governance artifacts are protected controls |
| Thesis 5 | scoped trust and alignment gates | trust is scoped by goal authority, not general usefulness |
22. Validation And Fixtures
The current validation command is:
python the internal planning-cascade artifacts
It validates:
- existing positive and negative planning fixtures
- the Friendship registry instance
- the seed organizational RSI thesis-goal anchor
- fixtures for
system_goal,strategic_goal,campaign_goal,operational_goal,mission_goal,task_goal, andmethod_goal - an owner-approved goal fixture
- a valid goal-stack snapshot fixture
- a valid computed-fingerprint goal-stack snapshot fixture
- negative fixtures for unregistered Friendship root, missing parent goals, missing authority matrix, empty required review history, snapshot fingerprint mismatch, and thesis-backed planner object missing
goal_stack_snapshot - negative fixtures for benchmark modification without owner review, goal-governance self-weakening with only self-review, and expired active-intention continuation
- negative fixtures for multi-parent asymmetric authority, missing revision lineage, Friendship registry modification without protected-change record, direct goal-DAG self-cycle, aggregate child-plan backing bypass, and computed snapshot fingerprint mismatch
- negative fixture for child intention continuation under stale campaign
This validation is not a full implementation. It is a publication-draft guardrail. Future hardening should add richer negative fixtures as worked examples become concrete enough to justify executable coverage.
The validator exits non-zero on schema or semantic assertion failure, so it is suitable for CI gating once the planning-cascade tests are wired into the repository's normal validation job.
The validation suite has two distinct layers. The first layer is ordinary JSON Schema validation: required fields, enums, conditional requirements, disallowed additional properties, and basic structure. This catches errors such as a non-root goal without parent_goals, an owner-approved goal without authority_matrix, or an owner-approved independently reviewed goal with an empty review_history_refs array. These are local shape failures. They do not require the validator to understand Friendship, ancestry, or runtime authority; the schema itself should reject them.
The second layer is semantic validation across artifacts. JSON Schema cannot know whether friendship.root.corrigible-safe-beneficial-operation is registered in the live Friendship registry, whether a non-pending snapshot fingerprint matches the canonical required fields, whether a direct parent edge creates a self-cycle, or whether a high-impact aggregate bypass is being smuggled through routine child tasks. validate_planning_schemas.py checks these conditions explicitly. This is the layer that makes Thesis 0 more than a schema exercise: it verifies some of the governance semantics that require cross-document reasoning.
The negative fixtures are intentionally schema-valid in several cases. That is by design. A bad benchmark-modification proposal, stale-campaign continuation snapshot, or goal-governance self-weakening proposal should be representable as evidence. The system must be able to store invalid proposals and failed decisions without letting them authorize action. This distinction is central to auditability. If the schema rejected every bad governance object syntactically, the ledger could lose the record of what was proposed, why it failed, and how similar proposals should be recognized later.
Every negative fixture should therefore fail for a named reason, not merely fail somewhere. A missing-parent fixture should fail because parent_goals is required for non-root goals. A self-cycle fixture should fail because the semantic validator detects that the goal appears in its own ancestry. A computed-snapshot mismatch should fail because recomputing the fingerprint from canonical required fields disagrees with the stored fingerprint. This reason-specific discipline matters because otherwise a test can pass for the wrong reason. A fixture with both an unreachable source path and a missing authority matrix might still fail after the authority rule is accidentally removed, concealing a regression behind an unrelated path error.
Positive fixtures have a parallel obligation. They should not merely be syntactically accepted examples; they should demonstrate one governance path that the thesis body relies on. The owner-approved fixture demonstrates lifecycle-conditional authority and review requirements. The computed snapshot fixture demonstrates thin-pointer fingerprinting. The goal-class fixtures demonstrate that system_goal, strategic_goal, campaign_goal, operational_goal, mission_goal, task_goal, and method_goal are not just enum values but usable discriminator branches. During final expansion, every fixture cited by a worked example should state which invariant, schema condition, and ledger record it exercises, so fixture coverage can be audited without rereading the whole thesis.
The current suite also establishes a drafting discipline. A worked example that claims executable support should either cite a fixture already covered by the validator or state that it remains prose-only. The thesis should not imply implementation support where only design intent exists. For example, direct self-cycle detection is currently fixture-backed, but arbitrary multi-node cycle detection remains a future implementation gap. Aggregate bypass detection is currently represented by a compact marker-pattern fixture, but not by full arbitrary plan-set analysis. These gaps should stay visible rather than be smoothed over by confident prose.
The CI posture is clear: once the planning-cascade tests are wired into normal repository validation, any schema, fixture, or validator edit that breaks an expected positive case or stops an expected negative case from failing for the intended reason should block promotion. This is especially important for Thesis 0 because many harmful changes would look like simplification. Removing a required field, loosening an enum, accepting a mismatched snapshot fingerprint, or treating a self-weakening edit as ordinary cleanup could all make the suite easier to pass while making the goal-governance layer weaker.
The CI gate should report failure classes separately. Schema failures, semantic-goal failures, semantic-snapshot failures, path-existence failures, fingerprint recomputation failures, and expected-failure-reason mismatches are different signals. If they collapse into a single red/green result, a regression can hide behind another expected failure. For Thesis 0, the validator should eventually state not only that invalid_goal_multi_parent_asymmetric_authority.json failed, but that it failed because the tightest applicable authority was not preserved. That specificity is what makes the test suite a governance control rather than a syntactic smoke test.
Every new fixture should be registered in a fixture matrix. The matrix should name the fixture path, expected schema result, expected semantic result, invariant exercised, schema field exercised, ledger record exercised, worked example supported, and known residual gap. This is intentionally redundant with prose. Redundancy at the fixture boundary is useful because it lets reviewers detect orphan fixtures and orphan claims. A fixture with no invariant is probably test clutter. A thesis claim with no fixture, validator hook, or explicit prose-only marker is probably overclaiming implementation support.
Validation also needs a promotion rule for prose-only examples. A prose-only example may remain in the thesis when it describes intended governance semantics that are not yet executable. But the example should not be cited as proof that the current artifact suite enforces the rule. The promotion path is: prose-only example, fixture sketch, schema-valid positive or negative fixture, semantic validator hook when cross-document logic is required, and finally CI-gated regression case. This staged path lets Thesis 0 specify future controls without pretending that specification is implementation.
The remaining validation work should prioritize semantic depth over fixture count. More fixtures are useful only when they exercise new governance distinctions. The highest-value future checks are multi-node DAG cycle detection, parent-object constraint merge, arbitrary aggregate plan-set threshold detection, runtime goal-stack snapshot emission, append-only storage enforcement, and model-family identity representation for independent review. Each of those checks corresponds to an invariant already stated in Section 5 and should eventually have at least one positive fixture, one negative fixture, and one worked example.
23. Roadmap To Final-Length Thesis
The thesis exceeds 50,000 words of substantive content. Future hardening should preserve that floor and follow this order when adding material:
- Expand each formal model to the density target: at least 6 entities, 10 fields or variables, 5 relations or transition rules, 3 invariants, 5 failure modes, 3 falsification conditions, 1 ledger binding, 1 schema implication, and 1 worked example.
- Expand each worked example from checklist form into a trace with setup, artifacts, ancestry, snapshot, ledger records, failure or near-miss, outcome, and schema validation status.
- Add per-section invariant registers and claim-evidence-invariant-schema boxes.
- Add a literature crosswalk that maps every source family to a model, invariant, schema field, failure mode, or worked example.
- Add a roundtrip audit table: invariant -> body argument -> formal model -> schema field -> ledger record -> worked example -> fixture where applicable.
- Add a post-draft LLMNonInteractive review prompt focused on operationalization density and cross-artifact drift.
Current expansion status is tracked by the section bodies rather than by this roadmap. The formal models now contain the required model components; worked examples, evidence-ledger integration, risk analysis, five-thesis integration, and literature grounding have all moved from outline to operational prose. The remaining roadmap role is to identify post-expansion cleanup: cross-reference reconciliation, worked-example depth audit, roundtrip audit, validation sweep, and LLMNonInteractive review after the thesis exceeds the substantive length floor.
The detailed source-to-artifact crosswalk is now summarized in Section 2. The roadmap preserves the compact checklist below only as a drafting-control reminder:
| Source family | Thesis 0 use | Formal model | Invariant | Operationalization |
|---|---|---|---|---|
| Bratman practical intention | intention as plan-embedded commitment | M3, M10 | T0-I10 | active_intention_id, lifecycle transition records |
| Cohen and Levesque commitment | intention is not mere desire | M3, M4 | T0-I4, T0-I10 | adoption/activation split, authority matrix |
| Rao and Georgeff BDI | candidate/adopted/active distinction | M3 | T0-I1, T0-I10 | lifecycle_state, active-intention snapshots |
| KAOS / GORE | refinement, obstacles, responsibilities | M2, M6, M7 | T0-I2, T0-I12 | parent edges, planner inheritance, obstacle escalation |
| Soar subgoaling | subgoal stack and impasse handling | M7, M10 | T0-I8, T0-I12 | planning cascade, goal-stack snapshot |
| HTN planning | hierarchical task decomposition | M6, M7 | T0-I3, T0-I12 | goal-to-plan bridge, method/action layer |
| CIRL / assistance games | objective uncertainty and deference | M5 | T0-I5 | evidence state cannot remove correction authority |
| Off-Switch / interruptibility | agents may learn to avoid interruption | M3, M8 | T0-I5 | suspension cannot require agent cooperation |
| Corrigibility | correction, shutdown, and modification acceptance | M4, M5, M8 | T0-I5 | allowed interventions, veto and suspension records |
| Goal misgeneralization | success can hide wrong goals | M5, M9 | T0-I1, T0-I6 | benchmark success not goal validity |
| Learned optimization / mesa-risk | internal objectives can diverge | M9, M11 | T0-I6, T0-I13 | instrumental quarantine, untrusted frontier edits |
| Responsible scaling / agent governance | capability escalation needs stronger controls | M4, M9, M11 | T0-I3, T0-I7 | risk class, protected artifacts, self-protection |
This crosswalk is intentionally operational rather than bibliographic. The bibliography establishes source identity. The crosswalk states what each source family is allowed to support inside Thesis 0. For example, KAOS supports refinement and obstacle vocabulary, but it does not directly define Consullo's JSON fields. CIRL supports preference uncertainty, but it does not by itself define owner authority. Responsible scaling literature supports risk-scaled escalation, but it does not become Consullo policy unless mapped into T0 invariants and schemas.
The crosswalk should prevent two opposite errors. The first error is citation theatre: citing a large literature without changing any rule, schema, or example. The second error is overclaiming: saying a source proves a Consullo-specific governance mechanism that it only loosely motivates. Every final citation should therefore answer: which model does this support, which invariant does it constrain, which field or record does it justify, and which failure path does it help detect?
The detailed source-to-artifact crosswalk belongs in Section 2, not in the roadmap. The roadmap's remaining obligation is to check that Section 2 keeps each source family bound to a model, invariant, schema field or validator hook, failure mode, and worked example. If the final review finds an orphan citation or an unsupported Consullo-specific claim, Section 2 should be corrected rather than expanding this roadmap.
The most important crosswalk rows for recursive self-improvement are the rows connecting goal misgeneralization, learned optimization, and responsible scaling to M9 and M11. A self-improving system will repeatedly find instrumental means that are genuinely useful. The danger is not that every instrumental goal is bad. The danger is that usefulness becomes the approval criterion. The crosswalk therefore maps those literatures to suspicious-by-default classes, benchmark-modification checks, protected-artifact impacts, self-weakening fixtures, and non-author review.
The most important crosswalk rows for corrigibility are CIRL, Off-Switch, and Corrigibility. Together they justify a goal-governance stance where uncertainty and correction are not temporary training scaffolds. They remain live authority constraints. That is why evidence_state.confidence is coarse, why unknowns and dissent remain fields, why suspension cannot require agent cooperation, and why active intentions expire with their parent plans.
The most important crosswalk rows for planning are GORE, Soar, and HTN. They justify decomposition, but Thesis 0 adds a governance rule that those literatures do not supply by themselves: decomposition may narrow execution but may not invent root authority, weaken inherited constraints, or split a high-impact goal into apparently routine children. That is why the planning bridge, parent_goals, edge_type, planner_inheritance_decision, and aggregate ThesisBackingRequired(plan) rule are load-bearing.
High-Load-Bearing Literature Expansion
The high-load-bearing literature expansion now belongs primarily in Section 2 and in the model sections that consume each source family. This roadmap should retain only the cleanup obligation: every source family cited as load-bearing must constrain at least one model, invariant, schema field, validator hook, ledger record, or worked example. If a source family does not do that, it should be demoted to background literature or removed from the load-bearing crosswalk.
BDI, Practical Intention, And Active Intention Boundaries
Section 2 and Models 3, 4, and 10 now carry the BDI and practical-intention burden. The final cleanup task is to verify that candidate, adopted, activated, suspended, retired, vetoed, and active-intention terminology remains consistent across the body, schema, validator fixtures, and worked examples. Any remaining BDI discussion in this roadmap should be treated as a checklist item, not thesis content.
GORE, KAOS, i*, And Consullo-Specific Goal Refinement
Section 2, Model 2, Model 6, Model 7, and the planning bridge now own the GORE and refinement material. The roadmap task is to verify that GORE-derived language remains bounded: refinement vocabulary should support parent edges, obstacle handling, planner inheritance, and aggregate-bypass review, but it should not be described as the source of Consullo's Friendship roots, authority matrix, or self-protection doctrine. The post-expansion review should sample WE-T0-M2, WE-T0-M6, WE-T0-M7, invalid_goal_dag_self_cycle.json, and invalid_goal_multi_parent_asymmetric_authority.json to confirm that refinement claims are operational rather than decorative.
CIRL, Assistance Games, Corrigibility, And Evidence Humility
Sections 2, 11, 14, and 24 now own the CIRL, assistance-game, corrigibility, and safe-interruptibility material. The roadmap task is to verify that evidence remains separate from authority, correction remains structurally available, suspension does not require agent cooperation, and the thesis does not overclaim solved alignment. The review should sample evidence_state, allowed_interventions, corrigibility_requirements, failed-veto snapshot fixtures, and WE-T0-M5/WE-T0-M8.
Goal Misgeneralization, Specification Gaming, And Benchmark Humility
Sections 2, 15, 19, and 22 now own the goal-misgeneralization, specification-gaming, and benchmark-humility material. The roadmap task is to verify that the body keeps "goal != metric" operational: benchmark success remains evidence rather than authority, benchmark and validator modifications route through protected records, and worked examples include near-miss failure paths. The review should sample benchmark_modification_decision, validator_decision, instrumental_goal_classification, invalid_goal_benchmark_modification_without_owner_review.json, invalid_goal_aggregate_child_plan_backing_bypass.json, and WE-T0-E2E2.
Instrumental Convergence And Suspicious-By-Default Subgoals
Sections 15, 19, and 20 now own the instrumental-convergence treatment. The roadmap task is to verify that each suspicious-by-default class remains operational rather than rhetorical: it must have a legitimate form, a bypass form, a gate, an authority requirement, a ledger record, a worked example, a future-regrowth key, and at least one near-miss path. The review should sample WE-T0-IG1 through WE-T0-IG10, instrumental_goal_classification, governed_goal_veto_decision, invalid_goal_aggregate_child_plan_backing_bypass.json, and the T0-I6/T0-I11 risk bindings.
Responsible Scaling, Agent Governance, And Risk-Scaled Goal Controls
Sections 2, 10, 12, 17, 18, and 22 now own the responsible-scaling and agent-governance material. The roadmap task is to verify that capability escalation is expressed as concrete goal-object and planner controls: risk_class, autonomy_level, protected_artifact_impacts, independent_review_required, cooling windows, ThesisBackingRequired(plan), snapshot activation, validator fixtures, and protected-change records. The review should sample the authority matrix, protected-artifact impact fields, self-weakening and registry-modification negative fixtures, WE-T0-M4, WE-T0-M6, WE-T0-M11, and the Section 2 boundary statements that prevent responsible-scaling literature from being treated as Friendship doctrine.
The roundtrip audit now belongs in Section 5 rather than this roadmap. The final cleanup task is to verify that the invariant section preserves the full chain for a representative set of invariants: body argument, formal model, schema field or validator hook, ledger record, worked example, fixture where applicable, and residual implementation gap. The post-expansion review should treat any orphan invariant, orphan fixture, or unsupported body claim as a publication-readiness finding.
24. Publication-Draft Non-Claims
This thesis body now exceeds the 50,000-word substantive floor, but it does not claim that Consullo has implemented live goal governance.
This thesis does not claim that every worked example is fully fixture-backed or runtime-backed.
This thesis does not claim that every formal model has reached the aspirational 3,000-word target in the expansion plan.
This thesis does not claim that all 25 worked examples have reached final case-study density. The formal models now include compact worked examples and several deeper traces, but further artifact-by-artifact worked examples remain useful.
This thesis does not authorize autonomous execution.
This thesis does not replace owner authority, Friendship review, Thesis 5 scoped trust, or existing protected-control requirements.
The final expanded thesis should preserve those non-claims even after it exceeds 50,000 words. Length, density, schemas, fixtures, and validation do not by themselves create deployment authority. They create a stronger specification for how goal governance should work. Live authority still requires owner decisions, protected-control procedures, scoped trust enforcement, runtime implementation, and evidence that the implementation behaves as specified.
The final thesis also should not claim that every model is fully executable. Some model requirements are already represented in JSON Schema and semantic fixtures. Others remain design specifications for future services: live ledger enforcement, runtime snapshot emission, arbitrary plan-set aggregation, multi-node DAG traversal, model-family identity tracking, and dependency-index-based suspension. The honest claim is that the thesis identifies those implementation gaps and makes them auditable.
The validation suite should be described as evidence of artifact coherence, not evidence of deployment readiness. Passing fixtures show that current schemas and semantic checks catch named failures. They do not show that live agents will emit records at the right time, classify every instrumental goal correctly, preserve append-only storage, or enforce authority in runtime execution. That boundary should remain visible in the final review prompt and in any future implementation plan.
25. Drafting Acceptance Criteria
The structural-draft acceptance criteria were:
- it creates the canonical Thesis 0 body file
- it preserves the governance-overlay framing
- it cites the existing schema, registry, ledger, validation, and worked-example artifacts
- it includes all 11 formal model slots
- it includes all stable T0 invariants
- it includes the planner inheritance and instrumental quarantine rules
- it states that final publication requires expansion beyond 50,000 substantive words
- it prepares the next LLMNonInteractive review after the first complete body draft
The next pass should expand substance, not redesign the thesis.
The publication draft is acceptable only if it exceeds 50,000 words of substantive content after roadmap cleanup and duplicate-process material removal. The count should exclude any separately stored prompt files, external review responses, or planning notes that are not part of the thesis body. The target is not word count alone; each major section should produce operational artifacts: invariant mappings, schema references, ledger records, fixture references, worked examples, falsification conditions, or review checklists.
The density gate should be applied section by section. A section longer than roughly 1,500 words should produce at least one named operational artifact or binding that did not merely repeat prior prose. For model sections, the minimum is objects, fields, relations or transitions, invariants, failure modes, falsification conditions, ledger evidence, schema implication, and worked example. For literature sections, the minimum is source family to model to invariant to schema field to failure mode to worked example. For risk sections, the minimum is prevention, detection, recovery, residual risk, and false-negative condition. Sections that cannot satisfy their local density gate should be compressed rather than padded.
The roundtrip gate should be applied to a representative set of invariants before the final review. For each selected invariant, the reviewer should be able to find the body argument, formal model, schema field or validator hook, ledger record type, worked example, fixture or prose-only marker, and cross-reference-map entry. The target is not perfect closure for every future implementation gap. The target is that the thesis makes gaps explicit instead of hiding them. A roundtrip row that ends in "future implementation required" is acceptable when the claim is stated as specification; it is not acceptable when the body presents the claim as already enforced.
The worked-example gate should reject clean demonstrations that never exercise failure. Every example should include setup, ancestry path, snapshot or snapshot rationale, ledger records, failure or near-miss path, outcome, and validation status. A prose-only example is allowed, but it must say what fixture or validator support is missing. A fixture-backed example must cite the artifact and the validator behavior it relies on. This prevents examples from becoming narrative illustrations disconnected from the enforcement layer.
The cross-reference gate should run after expansion, not before. Long drafting inevitably creates restatements. The cleanup pass should replace restated rules owned by the planning bridge, vocabulary file, schemas, evidence-ledger appendix, validation appendix, or cross-reference map with citations unless Thesis 0 is intentionally asserting canonical ownership. This is the main control against a 50,000-word body drifting away from the artifacts that make it operational.
The review-trigger gate should be explicit. A post-expansion LLMNonInteractive review is warranted only after the thesis body itself exceeds the substantive floor, the validator is green, and roadmap holding content has either been integrated into owning sections or marked as roadmap-only. The review prompt should ask for findings before praise, require line references, audit density by section, sample roundtrip closure, inspect fixture-backed examples, and identify any body claim that overstates current implementation. If those preconditions are absent, another review will mostly rediscover known drafting gaps rather than test the publication draft. The same gate should explicitly require the reviewer to distinguish publication blockers from ordinary hardening items, because a long operational thesis will always retain some implementation backlog and should report that backlog without weakening publication accountability.
The publication-readiness decision should use three categories. A blocker is a defect that makes the thesis assert an operational control that the artifacts contradict or cannot support, such as a schema-body lifecycle mismatch, an invariant cited without canonical text, a worked example that claims validator support without a fixture or prose-only marker, or a plan-trigger rule that omits a protected artifact such as V_ref_0. A hardening item is a defect that weakens reviewability but does not invalidate the core claim, such as a sparse fixture, an underdeveloped case trace, a missing future implementation drill, or a section that would benefit from more line-level cross-references. A backlog item is implementation work that the thesis properly describes as future work, such as live append-only ledger storage, runtime snapshot emission, arbitrary multi-node DAG analysis, or model-family identity enforcement. The LLMNonInteractive review should classify findings into those categories rather than treating all unfinished implementation work as a publication blocker.
The publication draft is also acceptable only if the validation suite passes after the final body edit and after any fixture, schema, or validator changes made during expansion. A failing validator blocks publication unless the owner explicitly records a waiver and the thesis marks the affected claim as prose-only. The preferred path is no waiver: positive fixtures pass, negative fixtures fail for the intended reasons, and every example that claims executable support cites an artifact covered by the validation suite.
The final review gate is a LLMNonInteractive review after the body reaches the substantive length floor and after the roadmap has been compressed into a true roadmap rather than a holding area for thesis content. That review should audit operationalization density, cross-artifact drift, model density, worked-example failure paths, roundtrip invariant closure, literature-to-artifact bindings, and validation status. A review before those conditions are met is useful for local defects but should not be treated as the final go/no-go review.