# FATE Article — Evidence and Review Ledger

**Version:** 1.2 · **Date:** 2026-09-17  
**Manuscript:** [*FATE: Manufactured Vindication and the Distortion of Causal Contribution*](FATE_ARTICLE.md), Draft 0.2, Rafael Caferati.  
**Purpose:** Record definition authority, claim support, scholarly access, formal checks, and the manuscript's completed-work boundary.  
**Review status:** Mathematical, scholarly, and editorial passes completed. Sections 5–8 preserve Draft 0.1's review, count, fingerprint, and delivery record. Section 9 records the final logical review and current Draft 0.2. Section 10 records the assertiveness review without manuscript changes. Primary-source reading is limited to the explicitly recorded passages and versions.

## 1. Authority and manuscript scope

The article follows [FATE_ARTICLE_PLAN.md v1.2](FATE_ARTICLE_PLAN.md), dated 17 September 2026, for an approximately 3,200-word English theoretical manuscript. Family authority is [canon v1.0](DARVO_FAMILY_CANON.md). Mechanism predicates and chronology follow [FATE v1.1](FATE_Forecast_Actualization_Blame_Transfer_Logical_Framework_v1_0.md), whose filename retains `v1_0`. The reviewed descriptor supplies the proof dossiers, constructed demonstration, and separately scoped threat/control argument without changing the framework definition.

[DARVO Draft 0.4](DARVO_ARTICLE.md) supplies the main family exposition, logical-closure discipline, and distinctions among functional self-protection, knowledge, intention, and success. [PAST Draft 0.2](PAST_ARTICLE.md) supplies the short theoretical companion format. The [writing principles](PATTERNA_WRITING_PRINCIPLES.md) and [scientific voice guide](RAFAEL_CAFERATI_SCIENTIFIC_VOICE.md), both v1.1, govern expression. The [DARVO ledger](DARVO_ARTICLE_EVIDENCE_LEDGER.md) and [PAST ledger](PAST_ARTICLE_EVIDENCE_LEDGER.md) retain their own completed reviews and historical verification records.

This manuscript's contribution comprises definitions, four propositions, constructed witnesses and countermodels, a complete FATE derivation, and analytical implications. It includes no empirical case study, measured prevalence, psychological-effect estimate, observed recurrence, or agent-performance result. Constructed context is stipulated true within the respective model; dialogue and outcomes are identified as constructed. No corpus record is rewritten or supplemented to complete a demonstration.

The opening conversion and the distinction between distortion of available choice and distortion of causal contribution preserve the companion articles' shared argument. FATE is a DARVO-family maneuver. Family membership supplies neither another mechanism's missing predicates nor the complete DARVO response. FAO remains an independently assessed descriptive precursor.

## 2. Claim-to-source map

Locations below were checked against the completed eight-section manuscript. The grounds identify definition authority, deductive premises, or scholarly antecedents as appropriate.

| Claim | Article location | Grounds and scope |
|---|---|---|
| Operator contribution obscured while the outcome vindicates an account blaming the counterpart | 2; 8 | FATE v1.1 sections 2–9; descriptor opening. The conversion names the represented operation, not a required literal admission or a finding of conscious intent. |
| FATE is a DARVO-family maneuver | 2; 4 | Canon; DARVO Draft 0.4 section 3. Membership follows the adopted hierarchy once the incident is established. |
| Forecast accuracy and causal explanation are distinct | 3; F1 | FATE sections 3–6; descriptor F1 models. R13 supplies the antecedent; R14 supplies bounded modeling concepts. Neither citation supplies missing incident evidence. |
| Base and independently assessed FAO precursor | 4 | FATE sections 10–13; descriptor section 3. Preserve the contribution requirement in FAO and the additional attribution, evidential-reuse, and account-link requirements in FATE. |
| Scoped chronology and record links | 4 | Descriptor section 3.1; FATE sections 4, 8, and 10. Contribution may begin before forecasting; the specified forecast precedes realization. |
| Dependency review and evidence states | 4 | Corrected FATE specification and descriptor section 3.3. Invalid annotations require review; unresolved evidence does not become a positive premise. |
| F1–F4 | 5 | Descriptor section 4. Countermodels, joint production, precursor/completion separation, and fixed-record audience invariance each retain their stated assumptions. |
| Positive complete finding | 6 | Descriptor section 5's constructed context and messages; conjunction introduction under a consistent premise set. Non-entailment alone does not establish misleading attribution. |
| Recurrence and implicit threatened intervention | 7 | Canon section 4.1; FATE sections 14–17; descriptor section 6. Require distinct completed incidents, a named historical witness, the same operator, recipient knowledge, and supported contextual meaning. |
| Attempted control through an identified threat/expectation relation | 7 | Descriptor sections 6.2–6.3. Patterna's expressly defined rule; the Dutton–Goodman comparison preserves credibility, attempt, and outcome distinctions. |
| Family, causal, communicative, and responsibility antecedents | 3; 4; 7 | The seven claim-specific source records below. These do not constitute empirical validation of the FATE classifier. |

## 3. Scholarly passages and citation decisions

Reference identifiers R01, R09, and R11–R14 retain the coordinated plan's register. Dutton and Goodman is the descriptor's additional reference. **Selected full text** means the identified passages were examined, not that an entire publication was critically reviewed. **Inherited** records preserve the passage-level verification documented for the DARVO manuscript on 13 September 2026 and carried into the companion plans. Inspection of those local records during this drafting pass is not a new primary-source reading.

The Dutton–Goodman record distinguishes primary proof passages inspected during the 17 September planning discussion from the additional publisher metadata/abstract check and proof-page check described below. No final journal full-text comparison is claimed.

### R01 — Freyd (1997): established DARVO response

**Citation:** Freyd, J. J. (1997). II. Violations of power, adaptive blindness and betrayal trauma theory. *Feminism & Psychology, 7*(1), 22–32. [DOI](https://doi.org/10.1177/0959353597071004).

**Access:** inherited selected full text of the [author-hosted original journal scan](https://dynamic.uoregon.edu/jjf/articles/freyd97r.pdf), bibliographic p. 22 and printed pp. 29–30, visually inspected during the DARVO pass. Provenance: [DARVO ledger R01](DARVO_ARTICLE_EVIDENCE_LEDGER.md#r01--freyd-1997).

**Assigned use:** origin of connected denial, attack, and victim–offender reversal in the established response. The source also distinguishes denial from evidence of guilt. Patterna's broader family organization and FATE specification retain their separate project attribution. These passages do not certify a particular conversation's responsibility account.

### R13 — Merton (1948): self-fulfillment and apparent vindication

**Citation:** Merton, R. K. (1948). The self-fulfilling prophecy. *The Antioch Review, 8*(2), 193–210. [DOI](https://doi.org/10.2307/4609267).

**Access:** inherited selected full text of the [university-hosted original journal scan](https://eclass.uowm.gr/modules/document/file.php/NURED263/Merton%20The%20Self-Fulfilling%20Prophecy%201948%20Antioch%20Review.pdf), printed pp. 194–196 and 199–200. Definition and apparent vindication occur together on p. 195. Provenance: [DARVO ledger R13](DARVO_ARTICLE_EVIDENCE_LEDGER.md#r13--merton-1948); that ledger's later scholarly recheck also retains this attribution. No new primary rereading is claimed here.

**Assigned use:** credit both conduct contributing to predicted conditions and subsequent use of the outcome as apparent confirmation. FATE's contribution lies in its explicit contribution, misleading attribution, evidential reuse, and linkage conditions. FATE does not require the forecast itself to cause the intervention; Merton's particular formulation is not silently expanded into that different requirement.

### R14 — Halpern and Pearl (2005): structural models and interventions

**Citation:** Halpern, J. Y., & Pearl, J. (2005). Causes and explanations: A structural-model approach. Part I: Causes. *The British Journal for the Philosophy of Science, 56*(4), 843–887. [DOI](https://doi.org/10.1093/bjps/axi147).

**Access:** inherited selected full text of the [author-hosted manuscript dated 24 October 2005](https://www.cs.cornell.edu/home/halpern/papers/actcaus.pdf), section 2.1, manuscript pp. 3–4. The inspected material concerns variables, structural equations, and interventions with counterfactual interpretation. Provenance: [DARVO ledger R14](DARVO_ARTICLE_EVIDENCE_LEDGER.md#r14--halpern-and-pearl-2005). Manuscript and journal pagination remain distinct.

**Assigned use:** bounded formal antecedent for comparing causal models with matching observed values and different intervention behavior. The manuscript's constructed models state their own equations and assumptions. The planned joint-production argument is an explicit elementary model comparison, not an unexamined application of every part of the authors' actual-cause definition.

**Outstanding if scope expands:** inspect the exact actual-cause definition, its qualifications, and relevant examples in the journal-matched formulation before attributing a complete decision procedure, contingency/minimality criterion, overdetermination result, or omission rule to this source. Material contribution remains evidence-reviewed under the article's stated causal account. Part II (*Explanations*, pp. 889–911; DOI `10.1093/bjps/axi148`) is not adopted by this citation. The UAI 2001 paper posted as arXiv:1301.2275 in 2013 is not silently substituted for the 2005 journal formulation.

### R09 — Grice (1975): contextual meaning

**Citation:** Grice, H. P. (1975). Logic and conversation. In P. Cole & J. L. Morgan (Eds.), *Syntax and semantics: Vol. 3. Speech acts* (pp. 41–58). Academic Press. [Chapter DOI](https://doi.org/10.1163/9789004368811_003).

**Access:** inherited selected full text of the [Stanford-hosted original chapter scan](https://web.stanford.edu/class/psych205/papers/Grice-1975.pdf), pp. 41–45, especially 43–45. Provenance: [DARVO ledger R09](DARVO_ARTICLE_EVIDENCE_LEDGER.md#r09--grice-1975). The DOI identifies later hosting; locators refer to the original chapter's pagination.

**Assigned use:** distinguish said and implicated content and attend to contextual reference when evaluating account endorsement and implicit threatened intervention. The particular FATE account link and threat interpretation require their own established premises. The source does not make a merely plausible implication conclusive or establish a psychological effect.

### R11 — Bandura (1999): responsibility displacement and blame attribution

**Citation:** Bandura, A. (1999). Moral disengagement in the perpetration of inhumanities. *Personality and Social Psychology Review, 3*(3), 193–209. [DOI](https://doi.org/10.1207/s15327957pspr0303_3).

**Access:** inherited selected full text of the [manuscript reproduction](https://www.antoniocasella.eu/nume/Bandura_1999.pdf), manuscript pp. 5–7 and 11–12, “Displacement of Responsibility” and “Attribution of Blame,” previously checked against the [abstract record](https://pubmed.ncbi.nlm.nih.gov/15661671/). Provenance: [DARVO ledger R11](DARVO_ARTICLE_EVIDENCE_LEDGER.md#r11--bandura-1999). These manuscript locators are not final journal page numbers.

**Assigned use:** theoretical comparison with accounts displacing responsibility and attributing blame to another person's behavior. The source does not supply the operator's causal contribution, knowledge, conscious purpose, or individual psychological process in an assessed incident.

### R12 — Malle, Guglielmo, and Monroe (2014): causal and normative distinctions

**Citation:** Malle, B. F., Guglielmo, S., & Monroe, A. E. (2014). A theory of blame. *Psychological Inquiry, 25*(2), 147–186. [DOI](https://doi.org/10.1080/1047840X.2014.877340).

**Access:** inherited selected full text of the [author-hosted journal article](https://research.clps.brown.edu/SocCogSci/Publications/Pubs/Malle_Guglielmo_Monroe_2014_Blame_theory.pdf), journal pp. 151–152, 155–156, 158–159, and 175–176, covering the Path Model and blame management. Provenance: [DARVO ledger R12](DARVO_ARTICLE_EVIDENCE_LEDGER.md#r12--malle-guglielmo-and-monroe-2014).

**Assigned use:** distinctions among causal involvement, intentionality, reasons, obligation, and capacity in blame judgments. Another participant's contribution does not automatically settle the operator's contribution or normative responsibility. The article's causal and normative premises remain explicit; a descriptive model of blame judgments is not itself the justification for a particular blame allocation.

### Additional reference — Dutton and Goodman (2005): threats and attempted control

**Citation:** Dutton, M. A., & Goodman, L. A. (2005). Coercion in intimate partner violence: Toward a new conceptualization. *Sex Roles, 52*(11–12), 743–756. [DOI](https://doi.org/10.1007/s11199-005-4196-6).

**Access:** the [university-hosted publisher proof](https://niwaplibrary.wcl.american.edu/wp-content/uploads/Dutton-Goodman-coercive-control-model.pdf) is dated **15 April 2005, 16:1**, marked **“FOR PROOFREADING ONLY.”** The descriptor records selected inspection on 17 September of printed pp. 745–750 and 752. This pass additionally inspected p. 751's threat-appraisal passage and rechecked selected extracted passages at pp. 745, 749–750, and 752. No complete-publication reading is claimed.

**Assigned passages:** p. 745 separates attempted control from compliance; pp. 749–750 distinguish contingent coercive threats and describe implicit demands/threats; p. 751 separates threat appraisal and perceived credibility; p. 752 concerns resistance/compliance and control of threatened consequences. Their credibility condition must be assessed when applying their model. Patterna's FATE-specific threat/enforcement rule remains its own formulation.

**Final-version check:** the [publisher record and final abstract](https://link.springer.com/article/10.1007/s11199-005-4196-6) were inspected on 17 September, confirming authors, June 2005 publication, volume/pages, DOI, and demand–credible-threat framing. The publisher PDF endpoint returned a subscription preview. Detailed version-of-record comparison remains outstanding; all detailed page locators above identify the proof, not a verified final-text match.

## 4. Scholarly boundaries and outstanding access

The cited works supply particular theoretical antecedents and formal methods. They do not empirically validate the entire FATE conjunction or establish the truth of an individual finding. Patterna's definitions, the manuscript's deductions, the constructed demonstrations, and any later empirical findings retain separate grounds.

The opening conversion does not assert conscious planning merely through its wording. “Manufactured vindication” names the evidenced contribution-and-account structure. Specific interests, knowledge, deliberate misleading, harm-production intention, prior integrated planning, audience belief, and successful behavioral control require their own premises.

For causal analysis, a displayed structural equation does not establish that its model fits an actual incident. Joint production and a failed isolated but-for test require the exact distinctions the article argues; neither silently settles every overdetermination or omission case. A duty to prevent harm and causal significance of nonperformance remain separate findings.

The Halpern–Pearl actual-cause reading task is conditional on extending the source's assigned role. The Dutton–Goodman final-text comparison is an explicit outstanding version check; its already inspected proof supplies the bounded detailed antecedent. Neither gap changes an independently stated definition or a valid proof.

The PAST ledger's unresolved Kleene primary-table inspection is not inherited as a completed verification. This manuscript states its evidence-state operations explicitly; no unverified historical table attribution is required. Additional citations require their own claim-specific primary passage checks.

Primary-source access records are complete only for the scope expressly recorded above. The completed manuscript checks below do not expand that reading scope.

## 5. Formal proof and boundary review

| Check | Result and scope |
|---|---|
| F1: matching observations | Both structural models have the same actual conduct, background value, forecast, and outcome. The common equation fixing a unless intervened on makes its intervention status explicit. Setting a to zero distinguishes the outcome equations. The observations alone establish neither contribution nor its absence. |
| F2: concurrent contribution | The joint-production model has both actions present; changing either while holding the other fixed removes the outcome. This establishes coexistence of contributions, without assigning blame percentages or adopting indispensability as a general criterion. |
| F3: precursor and completion | Conjunction elimination proves FATE implies FAO. The stipulated truthful account supplies a countermodel to the converse. A separate supported-blame/accuracy-only account lacks inferential endorsement and therefore lacks completed FATE. |
| F4: persuasion invariance | The eight defining predicates and incident bindings remain fixed. Alpha denotes audience acceptance separately from operator conduct A. Alternative audience contexts are compared only where both are admissible. Recorded rejection is never rewritten. |
| Positive exclusion demonstration | Declared constructed context establishes the forecast, false communications, realized exclusion, causal reliance, misleading responsibility account, exact evidential reuse, and both links. Each required predicate has its own mapped grounds; the premise set admits a consistent interpretation. |
| Accurate forecast without contribution | Matching forecast and outcome leave C unestablished; where contribution is established absent, C is false. Neither case supports completed FATE. No moral conclusion follows merely from the model comparison. |
| Truthful acknowledgment and accuracy-only confirmation | The countermodels stipulate complete reviewed accounts, so negative attribution/reuse findings rest on stated facts rather than missing quotations. Mere co-occurrence of blame and prediction confirmation does not supply E. |
| Chronology and unrealized outcomes | Contribution may precede the forecast. Forecasting still precedes the specified realization. Unrealized harm cannot satisfy H; a threat can be established separately before another adverse outcome. |
| Dependencies and unresolved evidence | C requires A and H; T requires C; E requires H and T; J_account requires T and E. Unsupported positive flags do not promote unknown prerequisites. Wrong record links require review. Unknown evidence never becomes a positive premise. |
| Link semantics | E and J_account are not claimed independent. A positive exact-account endorsement conflicts with an annotation denying that same relation. FAO remains separately assessable if a defect is confined to the later account. |
| Joint causation and omissions | The article specifies causal contribution as an evidence-reviewed premise. It supplies no universal causal decision procedure. Omissions require both the relevant undertaking/responsibility/control relationship and causal grounds. |
| Recurrence and duplicates | Two distinct completed FATE incidents, the same operator, and supported historical linkage establish recurrence. Two exports of one occurrence do not. A shared PAST/FATE incident counts once in family totals; mixed mechanisms do not manufacture FATE recurrence. |
| Historical cutoff and recipient knowledge | The named witness must already contain two completed incidents, including attribution and reuse. The recipient knows the relevant relationships at statement time. Later-recorded evidence of earlier facts is distinguished from later-occurring completion. |
| Explicit versus implicit threats | FATE-RT retains the omitted-agency condition. Expressly announced intervention is assessed as explicit; single-incident threats can be established outside the recurrence extension. History alone does not supply the current statement's meaning. |
| Constructed recurrent continuation | The additional prior incidents, completion, and knowledge are separately stipulated. The current demand, contingent loss, and references to operator-contributed exclusions establish threatened agency and deployment to enforce silence. The one base demonstration is not silently counted twice. |
| Genuine cooperative warning | A warning about independent or jointly managed risk does not itself establish threatened intervention. A request beside a forecast is not the same-threat enforcement relation. |
| Enforcement and attempted control | Enforcement identifies that same intervention as a consequence of failing to satisfy the expectation. Its implication of Threat is reviewed first. The control rule is sufficient, not necessary for every form of attempted control. |
| Unknown versus absent enforcement | Unknown enforcement supports no positive control finding through this rule. Established absence rejects this particular relation, without establishing that all control attempts are absent. Unsupported dependent flags require review. |
| Attempt versus success | Rejection, disbelief, resistance, or absence of further harm does not erase an established communicative attempt. Successful control requires a behavioral effect attributable to pressure. Legitimacy, intended harm, actual capability, and broader abusive patterns remain separate. |

### Exhaustive source-level checks

- All **6,561 raw eight-predicate three-valued assignments** matched independently enumerated Boolean-completion conjunction outcomes. Both the five-condition FAO result and nested FATE result were checked; supported FATE always preserved supported FAO. Raw aggregation does not certify semantic admissibility of arbitrary flags.
- Five separately reviewed assignments covered complete FATE, truthful acknowledgment, accuracy-only confirmation with misleading blame, valid false dominance despite causal uncertainty, and unresolved completion. Positive dependents with unknown and false prerequisites were checked as review and inconsistency states, respectively. Invalid evidence-state names were rejected by the check.
- F1's two intervention substitutions and F2's two joint-production interventions produced their stated outcomes. These finite checks supplement the written arguments; they do not validate a causal model against a real conversation.
- Exactly **five Boolean models** satisfy both the declared Enforcement⇒Threat dependency and the sufficient threat/enforcement control rule. They include supported Threat with absent Enforcement and either truth value for ControlAttempt. Thus denying this sufficient antecedent does not determine the consequent.

For reproducibility, the base assignment order is `(F, A, H, C, J_core, T, E, J_account)`. With `T/F/U` denoting evidence states rather than predicate names, the five reviewed tuples are `TTTTTTTT`, `TTTTTFFF`, `TTTTTTFF`, `TTTUTUFF`, and `TTTUTUUU`. Their `(FAO, FATE)` results are `(T,T)`, `(T,F)`, `(T,F)`, `(U,F)`, and `(U,U)`. Boolean completions replace each U independently by true and false; unanimous conjunction truth or falsity yields that state, and mixed outcomes yield U. Semantic dependency and record review are separate prerequisites.

## 6. Completed review and refinements

**17 September 2026.** The mathematical pass checked all four propositions, notation, the positive derivation, chronology, evidence-state dependencies, family membership, and extension scope. An independent read-only review found no remaining mathematical or semantic defect after the refinements below.

The scholarly pass matched all seven external references to the precise claims and passages in section 3. Metadata, author–date citations, project year suffixes, and bibliography entries are consistent. It identified one traceability refinement: the manuscript now explicitly identifies Dutton–Goodman's detailed page references as publisher-proof locators. Its final-version metadata and abstract are verified; the full-text comparison remains outstanding.

The editorial pass reviewed the manuscript against both companion articles and the writing guides. Definitions and deductions are stated directly. Constructed examples remain identified; the text introduces no empirical validation or agent-performance claim. The opening conversion leads into the formal relationships and returns in the conclusion with those relationships established.

| Refinement | Reason |
|---|---|
| Historical knowledge at statement time and same named witness | Excludes later-acquired knowledge and unrelated histories from the recurrence-based interpretation. |
| Explicit contingency in Enforcement | Preserves the link between the same threatened intervention and failure to satisfy the identified expectation. |
| Conditional direction in the conclusion | Supported history and contextual meaning establish the implicit threat; mere recurrence does not automatically establish that meaning. |
| Dependency, unresolved enforcement, and sufficient-rule scope | Prevents both unsupported positive classification and denying the consequent from absent enforcement. |
| Explicit/implicit distinction and later evidence | Preserves omitted agency and separates later discovery of earlier facts from later completion of the historical maneuver. |
| Distinct control assessments | Keeps demand legitimacy, intended harm, and broader abusive-control patterns separate without weakening a supported attempt finding. |
| Causal variable assignment | Makes the intervenable conduct variable explicit in both F1 structural models. |
| Publisher-proof note | Identifies the inspected version used for detailed Dutton–Goodman page citations. |

## 7. Word count and document verification

**Historical record — Draft 0.1.** Section 9 supplies the current manuscript count and identity.

The counting convention follows the companion ledgers: include headings, keywords, quotations, table text, and prose; exclude front matter, mathematical expressions, and references. Markdown link labels count; URL destinations do not. Tokens contain Unicode letters or digits, with internal apostrophes and hyphens retained.

| Section | Words |
|---|---:|
| 1. Abstract, including heading and keywords | 169 |
| 2. The outcome presented as vindication | 333 |
| 3. Scholarly foundations | 274 |
| 4. Formal specification | 773 |
| 5. Propositions and derivations | 610 |
| 6. A complete constructed derivation | 333 |
| 7. Analytical implications | 489 |
| 8. Conclusion | 206 |
| **Total** | **3,187** |

The total meets the approximately 3,200-word target. Allocation shifts toward analytical implications to retain v1.2's complete historical, threat, enforcement, and success distinctions. The manuscript has eight main sections, four named propositions, eight display-math blocks, one predicate table, seven external scholarly references, and four project/companion references.

Local links and supplied anchors, display and inline mathematical delimiters, citation/reference correspondence, and both agreed opening anchors were checked. Preservation fingerprints cover all **30 pre-existing files** in the framework directory. The canon and diagram, planning descriptor, DARVO and PAST articles, frameworks, previous ledgers, source reviews, and corpus files remain unchanged. Only this ledger and the FATE manuscript were added.

**Manuscript identity:** `FATE_ARTICLE.md`, Draft 0.1, SHA-256 `ca069f18d33b60dfa1b37c8c029d0edac9ead04737ba82d17ec8a611af1cf9be`. The final document check covered **25 local link occurrences** across the manuscript and ledger; every target and supplied anchor resolved.

## 8. Delivery boundary

Draft 0.1 is a complete theoretical manuscript with its evidence and review record. The outstanding Dutton–Goodman final-text comparison and conditional deeper Halpern–Pearl reading are recorded with their exact scope; no uninspected argument is attributed to either source. The article's definitions and proofs rest on their explicitly stated grounds.

This pass makes no empirical qualification, application-test, deployment, or publication claim. Empirical case studies, translation, website integration, framework updates, and application work remain separate.

## 9. Final logical and mathematical review — Draft 0.2

**17 September 2026.** Re-reviewed the manuscript against descriptor v1.2, FATE v1.1, and the canon's logical-closure and evidence principles. Two independent read-only audits checked the four propositions and the historical threat/control extension. The propositions, constructed derivation, and extension retain their stated conclusions. One distinction in the mathematical presentation required clarification.

### 9.1 Predicate aggregation and classical consequence

The manuscript now explicitly separates three-valued aggregation of individual predicate assessments from entailment using the complete premise set. The combination rule remains unchanged: any contradicted condition gives a contradicted aggregate, all supported conditions give a supported aggregate, and the remaining combinations give an unresolved aggregate. These are evidence statuses; unresolved does not introduce a third truth value for the incident.

For the presentation counterexample, let p and q be arbitrary propositions and let the consistent premise set be:

$$
\Gamma_0=\{p\lor q,\;\neg(p\land q)\}.
$$

Its models assign `(p,q)` the values `(true,false)` and `(false,true)`. Neither proposition nor its individual negation follows, so both individual assessments are unresolved. Their three-valued aggregate is unresolved. Yet the joint negation follows directly: $\Gamma_0\models\neg(p\land q)$. The individual-status aggregate therefore cannot be represented as a complete procedure for classical consequence.

This is a generic logical counterexample, not a newly classified conversation or an assertion that arbitrary FATE predicate combinations are semantically admissible. The manuscript retains any established joint refutation as a conclusive scoped finding, recorded separately from the aggregate. The revised account preserves the strength of deductive conclusions and the specified aggregation rule simultaneously.

The related wording changes identify entailment as the criterion for a supported FATE finding and distinguish a conflicting annotation from a valid evidential status. Audience acceptance is consistently written as $\alpha$. No predicate, conjunction, causal model, or mechanism definition changed.

### 9.2 Conclusions retained after review

| Result | Final assessment |
|---|---|
| F1 | The two models share the specified observations and differ under intervention. Forecast accuracy alone identifies neither contribution nor its absence. |
| F2 | The joint-production countermodel establishes concurrent contribution and defeats automatic cancellation. It makes no universal claim about one counterfactual test or normative blame allocation. |
| F3 | FATE entails FAO. The truthful-account and accuracy-only countermodels correctly fail the additional completed-maneuver requirements. |
| F4 | Classification remains invariant with the defining predicates fixed. Alternative response contexts must both be admissible; an audience response already fixed by the record is not rewritten. |
| Positive derivation | Every required condition is grounded in the explicitly constructed context. Misleading statements are attributed without accepting their content as true. The resulting premise set is satisfiable and entails FATE. |
| Historical threat | Distinct completed incidents, matching history, recipient knowledge at statement time, omitted agency, and established contextual meaning remain required. A recurrent history alone does not establish the current statement's meaning. |
| Control attempt | The same threatened intervention is deployed as a consequence of noncompliance with the identified expectation. The rule is sufficient; lack of its antecedent does not establish absence of every control attempt. |
| Success and family membership | Actual harm remains necessary for completed FATE; persuasion and compliance remain separate. Supported FATE establishes family membership without supplying missing complete-DARVO-response conditions. |

### 9.3 Completed verification

- Rechecked all **6,561** raw three-valued assignments against independent Boolean-completion conjunction outcomes, including nested FAO/FATE aggregation and positive completion implying the precursor.
- Enumerated all **15 nonempty sets of classical interpretations of two propositions**. Every positive or negative aggregate agrees with the corresponding entailed conjunction status. Two sets yield an unresolved individual-status aggregate while jointly refuting the conjunction, confirming the precise incompleteness clarified in section 4.3.
- Recomputed F1's actual and intervened structural-model values and F2's two independent interventions. Rechecked five curated base assignments and positive-dependent annotations with unknown or contradicted prerequisites.
- Rechecked the **five** Boolean models satisfying the threat/enforcement dependency and sufficient control rule. No invalid converse or denial-of-antecedent inference was introduced.
- Reviewed exact-account reuse, chronology, unknown evidence, recipient knowledge, duplicate incidents, historical cutoff, cooperative warnings, and explicit/implicit threat scope. These remain semantic checks distinct from raw truth-table arithmetic.
- Rechecked mathematical delimiters, local links and anchors, section inventory, and word count. Source-verification limits are unchanged; this review did not add scholarly claims or claim new primary-source inspection.
- Preservation fingerprints confirm that all **30 other files** in the framework directory remain unchanged. Only the FATE manuscript and this ledger were revised. No application or framework implementation was changed.

### 9.4 Current manuscript count

The counting convention remains the one recorded in section 7.

| Section | Words |
|---|---:|
| 1. Abstract, including heading and keywords | 169 |
| 2. The outcome presented as vindication | 333 |
| 3. Scholarly foundations | 274 |
| 4. Formal specification | 861 |
| 5. Propositions and derivations | 609 |
| 6. A complete constructed derivation | 333 |
| 7. Analytical implications | 489 |
| 8. Conclusion | 206 |
| **Total** | **3,274** |

Draft 0.2 retains eight main sections, four named propositions, eight display-math blocks, one predicate table, seven external references, and four project/companion references. Its additional explanation resolves the aggregation/entailment distinction without weakening the established logical results.

**Current manuscript identity:** `FATE_ARTICLE.md`, Draft 0.2, SHA-256 `d1949f1cdb1c3420af590effe84ed43d5e90177fe4a7a7919b6f8e20a31a40ce`. All **25 local link occurrences** and supplied anchors resolve. No additional files were created during this review.

## 10. Assertiveness review — manuscript unchanged

**17 September 2026.** Reviewed the complete article against the governing instruction to establish premises, show the mechanism, and state the conclusion. An independent editorial check reached the same result: no assertiveness edits are necessary.

Family membership, the four proved results, the complete constructed finding, and the supported threat/control conclusions already receive direct, conclusive wording. The remaining conditional and modal language expresses actual scope, coexistence, countermodels, or separately assessed evidence. Removing it would change the argument rather than strengthen its expression.

Draft 0.2 remains unchanged, including its 3,274-word count and section 9 fingerprint. Only this ledger was updated; all other 31 files in the framework directory remain unchanged.