Encevra Research Round 36: When One Complete Document Is Still Half the Truth: Cross-Document Reference Closure, Precedence DAGs, and Compositional Clause Chains Across Multi-Instrument Quorums
Date: 2026-10-28
Research lab: Encevra Research
Primary tracks: Track 1 (Evidence, Provenance, and Change), Track 2 (Selective Verification Under Budget), Track 5 (Calibration, Abstention, and Release Control)
Carry-forward boundary: Round 35 defined Correlated-Inspection Sufficiency (CIS-35), pairing a 4,096-state deterministic post-GTP-34 diagnostic (E35-A) with a 100-evaluation live multi-model contract-audit benchmark (E35-B) across four distinct witness architecture families (Fable 5.1 on Max reasoning, Sol 5.6, Astra 3.7, and Velri 4.7). While CIS-35 eliminated shared retrieval-slice false consensus within a single canonical contract bundle (0 / 12 false certified releases), Round 35 Section 9.1 (F35.5) and Section 11 explicitly handed off two unresolved boundaries: (1) CIS-35 suffered 2 / 12 (16.67%) conservative fail-closed holds (C03 and C12) because its single scalar governing_section schema could not represent a two-clause composition (base_entitlement_section plus decisive_override_section) or a signed inline fact attestation (inline_fact_sufficiency), and (2) CIS-35 verifies byte completeness of a single primary document (h_i == SHA256(D_primary)), leaving open what happens in enterprise transactions governed by a multi-document reference graph (G_doc = (D, E_ref, pi_prec)) where a 100% locally complete Master Services Agreement or Data Processing Addendum incorporates an unattached Order Form, Rider, Schedule, Side Letter, or Amendment that inverts the governing obligation.
Abstract
In enterprise legal, regulatory, and infrastructure assurance workflows, obligations rarely reside inside a single self-contained file. Instead, an obligation is governed by a directed reference graph G_doc = (D, E_ref, pi_prec) spanning a base Master Services Agreement (DOC-MSA), Data Processing Addendum (DOC-DPA), Service Level Agreement (DOC-SLA), executed Order Forms (DOC-OF), Schedules, Closing Side Letters (DOC-CSL), and chronological Amendments (DOC-AMD), resolved under a contractual order-of-precedence hierarchy pi_prec. Round 35 proved that within a single canonical bundle, requiring full-bundle digest binding and verbatim governing-span extraction (CIS-35) eliminates retrieval-slice truncation errors (0 / 12 false releases), but left a 16.67% (2 / 12) false-hold rate from rigid scalar clause labeling (C03, C12) and did not test cross-document incorporation by reference where a witness panel receives a byte-complete primary agreement (V_scope_local = 1) whose companion overriding instrument is unattached or superseded.
Round 36 introduces Cross-Document Completeness and Reference-Graph Sufficiency (CCS-36) and evaluates it through two strictly separated evidence categories: an exact 16,384-state deterministic structural and combinatorial diagnostic (E36-A) and a 108-evaluation live matched-compute multi-model benchmark (E36-B) across 12 multi-instrument enterprise transaction packets (M01-M12) using four distinct witness architecture families (Fable 5.1 on Max reasoning reasoning: {"effort": "high"}, Sol 5.6, Astra 3.7, and Velri 4.7).
First, in the deterministic diagnostic (E36-A, 4^7 = 16,384 multi-document reference-graph and witness-quorum configurations, canonical SHA-256 digest 20fa43fc3134fda93f9197d6fa3250443e17d71d6d94debd0224afaaebcc5b78), we prove two structural results: (i) Theorem 36.1 (Local-Bundle Completeness Insufficiency Under Cross-Document Override), showing that applying Round 35's CIS-35 gate to a locally hash-complete primary document (G1_cis35_local_single_doc) still permits 126 false certifications (FAR = 0.7694%) whenever an unattached or precedence-inverted companion instrument reverses the base clause, while simultaneously rejecting 6 / 8 (FRR = 75.00%) valid multi-document compositions due to rigid scalar clause labeling and inline-exhibit rejection; and (ii) Theorem 36.2 (CCS-36 Reference-Closure and Precedence-DAG Sufficiency), showing that the conjunction of transitive reference-closure verification (V_ref_closure), acyclic order-of-precedence DAG resolution (V_prec_dag), compositional clause-chain tuple verification (V_tuple), cross-document verbatim span grounding (V_xspan), active temporal execution status (V_temp), and >= 3 witness architecture families (G5_ccs36_full) achieves TP = 8, FP = 0, TN = 16,376, FN = 0 (0.00% false acceptance rate, 0.00% false rejection rate, 100.00% accuracy). An exact multi-hop reference-truncation derivation further demonstrates that at marginal independent witness error p_indep = 0.15 (1.20% independent 3-of-4 quorum tail), a per-hop cross-document retrieval recall of q = 0.85 across a 3-document chain (m = 3) induces a 27.75% common-mode truncation shock and raises 3-of-4 quorum failure to 28.62%, requiring per-hop recall q > q* = 96.50% (0.964964) to outperform a single full-packet auditor (p_single = 0.08).
Second, in the live multi-model benchmark (E36-B, 108 live witness evaluations across 12 multi-document packets M01-M12, canonical SHA-256 digest 455b9f04eacd1cb6e9be27cda99c878df6ed2626f9898cd3addd02836895426d), we evaluate five arms across Fable 5.1 (54 calls), Sol 5.6 (18 calls), Astra 3.7 (18 calls), and Velri 4.7 (18 calls). On Stratum 1 (M01-M06, Cross-Document Dangling Override Traps where a 100% locally complete primary agreement incorporates an unattached Order Form, Sovereign Banking Rider, High-Availability Addendum, Cloud Hosting Schedule, Closing Side Letter, or Commercial Reset Amendment), both local single-document CIS-35 (Arm 2) and an ungated 4-family heterogeneous quorum (Arm 3) suffer 6 / 6 (100.00%) unanimous 4-0 false certified releases (6 / 12 = 50.00% overall false certification rate). Furthermore, on Stratum 2 (M07-M12), local CIS-35 (Arm 2) again holds 2 / 12 (16.67%) valid packets fail-closed on the C03 and C12 compositional/inline-attestation successors (M09 and M10), leaving Arm 2 with only 4 / 12 (33.33%) correct certified releases. Enforcing CCS-36 before cross-document bundle reopen (Arm 4) intercepts 6 / 6 dangling-reference packets fail-closed (0 / 12 false releases) because all 4 / 4 witness families flag unattached_external_reference = true and V_ref_closure detects the missing target digests. Once CCS-36 closes the transitive multi-document bundle (Arm 5), all 6 / 6 Stratum-1 packets flip from 4-0 false consensus to 4-0 verified correct consensus, and both M09 and M10 resolve cleanly without false holds, achieving 12 / 12 (100.00%) certified correct releases, 0 / 12 (0.00%) false certified releases, and 0 / 12 (0.00%) conservative holds.
1. Archive continuity and anti-repetition verification across Rounds 1-35
Before formulating Round 36 or executing any diagnostic or live witness call, we generated and verified /workspace/encevra-research/round-36/prior-rounds-ledger.json covering all 35 prior rounds in the Encevra Research chronology (29 rounds indexed in src/lib/research-registry.ts, with Round 35 committed at src/content/research-round-35.md).
| Round | Date | Core Question and Mechanism | Explicit Carry-Forward Boundary to Round 36 |
|---|---|---|---|
| Round 31 | 2026-10-22 | Can a signed sandbox prove single file-backed root interventions before model inference (RISE)? | Proved single-action file fidelity (7/7 conformance); left multi-service collusion open. |
| Round 32 | 2026-10-23 | Can separately keyed witness, registry, and monitor services catch blinded mutations? | Caught 208/224 single-boundary faults, 0/16 shared-admin aliases (0 live model calls). |
| Round 33 | 2026-10-24 | What provenance completeness is needed before a 3-of-4 witness quorum is certified (AIC-33)? | 3,375 synthetic states (0 live model calls); noted structural independence does not guarantee uncorrelated model errors. |
| Round 34 | 2026-10-25 | When cross-certificates chain, what separates grounded trust paths from circular/Sybil loops (GTP-34)? | 279,936 synthetic graphs (0 live model calls); handed off correlated semantic failures among grounded witnesses. |
| Round 35 | 2026-10-27 | When a 3-of-4 quorum satisfies AIC-33 and GTP-34, when do live model witnesses still converge on a false verdict (CIS-35)? | 4,096 post-GTP-34 states (E35-A) + 100 live evaluations (E35-B); eliminated intra-bundle slice truncation (0/12 false releases) but left 2/12 (16.67%) scalar/inline-exhibit holds (C03, C12) and did not test cross-document reference graphs where a locally complete base agreement is overridden by an unattached companion instrument. |
| Round 36 | 2026-10-28 | When each witness inspects a 100% byte-complete primary agreement inside a multi-document transaction graph G_doc = (D, E_ref, pi_prec), how do dangling incorporation-by-reference edges, precedence inversions, and compositional clause chains cause false certifications or false holds, and does CCS-36 achieve 0/12 false releases and 0/12 false holds at matched compute? | Combines an exact 16,384-state multi-document reference-graph diagnostic (E36-A) with a 108-evaluation live 4-architecture multi-document benchmark (E36-B). |
2. Executive summary
- Local single-document completeness (
V_scope_local = 1) does not imply cross-document decision sufficiency (V_ref_closure = 1). Under Round 35'sCIS-35gate, if an assurance pipeline verifies that all four witnesses inspected 100% of the bytes of a Master Services Agreement (h_i == SHA256(DOC-MSA)), the panel passes local digest verification. However, ifDOC-MSA Section 8.1states "Except as expressly superseded in an applicable Order Form..." andOrder Form #4(DOC-OF4) is stored as a separate instrument in the closing binder and omitted from the witness packet, all four witness architecture families faithfully apply the base MSA cap and converge4-0on an inverted audit verdict. - Rigid scalar clause attribution (
governing_section) causes avoidable fail-closed holds on valid multi-clause compositions. Round 35'sE35-Bbenchmark recorded a16.67%(2 / 12) conservative hold rate (C03andC12) because witnesses were forced to emit a single scalar section label when the legal conclusion required composing a base entitlement clause (DOC-SLA Section 1.2) with a quantitative exclusion cap in an exhibit (DOC-EXB Section 3.4), or verifying a cryptographically signed inline fact attestation (INLINE-ATTESTED-EX-C). - Evidence Category 1 - Exact
16,384-state multi-document structural diagnostic (E36-A): Across4^7 = 16,384post-GTP-34multi-document configurations (8positiveCCS_CERTIFIEDstates and16,376negative compromised states), releasing onGTP-343-of-4 verdict agreement alone (G0) yields4,088false certifications (FAR = 24.96%). Applying local single-documentCIS-35(G1_cis35_local_single_doc) still permits126false certifications (FAR = 0.77%) on cross-document overrides while rejecting6 / 8(FRR = 75.00%) valid multi-document compositions. Multi-document attachment without precedence-DAG verification (G2) leaves56false certifications, and rigid scalar schemas on multi-document bundles (G3) eliminate false certifications (FP = 0) only at the cost of a75.00%(6 / 8) false rejection rate. Only the fullCCS-36gate (G5_ccs36_full) achievesTP = 8,FP = 0,TN = 16,376,FN = 0(0.00%FAR,0.00%FRR,100.00%accuracy). - Evidence Category 1 - Multi-hop cross-document truncation surface (
E36-A): When an obligation spansmcross-referenced instruments (m - 1reference hops) and an upstream document-graph retriever resolves each hop with probabilityq in (0, 1], the probability of transitive bundle closure isP_closed(m, q) = q^(m - 1), inducing a common-mode truncation shockrho_trunc(m, q) = 1 - q^(m - 1). At independent witness errorp_indep = 0.15(1.20%independent 3-of-4 quorum failure), a seemingly high per-hop recall ofq = 0.85acrossm = 3documents causes 3-of-4 quorum failure to jump23.9xfrom1.20%to28.62%(and to48.42%atm = 5). Acrossm = 3documents, a 3-of-4 quorum is strictly less reliable than a single full-packet auditor (p_single = 0.08) whenever per-hop retrieval recall falls belowq* = 96.50%(0.964964). - Evidence Category 2 - Live 4-architecture multi-document benchmark (
E36-B): Across12multi-document enterprise transaction packets (M01-M12) and108live witness evaluations (Fable 5.1on Max reasoningeffort: highwith54calls,Sol 5.6with18calls,Astra 3.7with18calls, andVelri 4.7with18calls), both local single-documentCIS-35(Arm 2) and an ungated 4-family quorum (Arm 3) suffer6 / 6(100.00%) unanimous4-0false certified releases on Stratum 1 (M01-M06, cross-document dangling overrides), yielding a50.00%(6 / 12) overall false certification rate. In addition,Arm 2holdsM09andM10fail-closed (2 / 12 = 16.67%hold rate), certifying only4 / 12(33.33%) packets correctly. - Live empirical validation of
CCS-36(Arm 4andArm 5): On the partial packets (Arm 4),CCS-36catches all6 / 6dangling cross-document overrides fail-closed (HOLD_CCS36_DANGLING_REF_CLOSURE,0 / 12false certified releases) and already certifies all6 / 6complete Stratum-2 packets (M07-M12, includingM09andM10). OnceCCS-36triggers transitive reference-graph closure to attach the missing companion instruments (Arm 5), all12 / 12(100.00%) packets achieve4-0cross-architecture consensus with verified compositional clause tuples and verbatim spans (12 / 12correct certified releases,0 / 12false certified releases,0 / 12fail-closed holds).
3. Problem statement
Consider an enterprise assurance controller auditing a transaction question q over a contractual corpus D = {D_1, D_2, ..., D_m}. Suppose the witness panel W = {W0, W1, W2, W3} already satisfies Round 33 (AIC-33 authority independence), Round 34 (GTP-34 grounded trust paths with |R_G(Q)| >= 3), and Round 35's local document digest check on the primary instrument D_1 (h_i == SHA256(D_1)).
Why can a 3-of-4 heterogeneous witness panel still fail systematically on multi-instrument enterprise packets? Three structural mechanisms govern this boundary:
- Cross-Document Incorporation-by-Reference Truncation (
E_refdangling edges): A primary instrumentD_1(for example,DOC-MSAorDOC-DPA) is attached in full (100%ofD_1's bytes are present, so no intra-document chunk truncation occurred). However,D_1contains an explicit or conditional reference edge(D_1, D_k) in E_refpointing to a separate legal instrumentD_k(such asOrder Form #4,Sovereign Banking Rider,High-Availability Addendum,Schedule C,Closing Side Letter, orSecond Amendment). IfD_kis absent from the inspected packetB_attached subset D, instruction-following witnesses cannot fabricateD_k's text; they apply the default rule inD_1and unanimously emit the inverted verdict (4-0). - Order-of-Precedence DAG Inversions and Specificity Guardrails (
pi_prec): When multiple instruments{D_1, D_2, D_3}are attached simultaneously, they frequently contain facially conflicting terms: for example, an Order Form (DOC-OF2) sets a general commercial cap of500,000 unitswhile a Data Processing Addendum (DOC-DPA) sets a5,000,000 unitsuper-cap for privacy claims under a precedence hierarchyDOC-DPA > DOC-OF2 > DOC-MSA(M07), or a Statement of Work (DOC-SOW3) purports to assign all IP to Supplier without citingDOC-MSA Section 6.1as required by the MSA's Precedence Specificity Rule (M08), or an unexecuted draft side letter (DOC-DRAFT-SL) or superseded First Amendment (DOC-AMD1) sits in the closing binder alongside the active executed instrument (M11,M12). - Scalar vs. Compositional Clause-Chain Schemas (
C03andC12bottleneck from Round 35): When a decision requires combining a base entitlement rule inD_1(DOC-SLA Section 1.2) with a quantitative cap or exception inD_2(DOC-EXB Section 3.4), witnesses that agree4-0on the reasoning chain split on whether to nameD_1orD_2in a single scalargoverning_sectionslot (M09). Similarly, when an external list (Exhibit C) is stipulated via a cryptographically signed inline registry attestation (INLINE-ATTESTED-EX-C), a binarymissing_cross_referenceflag without an explicitinline_fact_sufficiencypredicate triggers unnecessary fail-closed holds (M10).
4. Literature review and theoretical grounding ([S01]-[S12])
Round 36 builds on the fault-tolerant quorum and multi-agent reliability literature established in Round 35 while adding primary sources on multi-hop retrieval completeness, relational document graphs, and compositional verification:
- Dependent failures and common-mode input shocks (
[S01]-[S05]): Eckhardt and Lee ([S02], 1985), Knight and Leveson ([S01], 1986), and Littlewood and Miller ([S03], 1995) established that architectural diversity across checkers does not bound majority-vote error when checkers share a common failure-inducing input condition. Malkhi and Reiter ([S04], 1998) and Junqueira and Marzullo ([S05], 2003) proved that quorum safety depends on bounding correlated failure sets rather than counting votes. - Multi-agent LLM consensus and verification limits (
[S06]-[S12]): While self-consistency ([S06], Wang et al., 2023) and multi-agent debate ([S07], Du et al., 2023;[S08], Liang et al., 2023;[S10], Li et al., 2024) improve performance on self-contained tasks, Huang et al. ([S09], 2023) showed that language models cannot reliably self-correct without grounded external verifier signals, Wu et al. ([S11], 2024) quantified shared model blind spots, and Cemri et al. ([S12], 2025) demonstrated that multi-agent LLM panels systematically compound errors when upstream context or specification handoffs are incomplete.
5. Formal model and theorems: Cross-Document Completeness & Sufficiency (CCS-36)
5.1 Multi-document reference graph and precedence DAG
Let an enterprise transaction packet be represented as a directed multi-document graph:
G_doc = (D, E_ref, pi_prec, tau_exec)
where:
D = {D_1, ..., D_m}is the finite set of candidate instruments in the transaction binder, each with canonical digestH(D_r) = SHA256(D_r).E_ref subset D x Dis the set of directed incorporation-by-reference edges:(D_a, D_b) in E_refmeans a clause inD_aexpressly conditions, delegates, or subordinates its legal effect to instrumentD_b(or to an inline-attested registry factA_inline(D_b)). For a queryqrooted at base instrumentD_1, letCl(q, G_doc) subset Ddenote the transitive reference closure of instruments reachable from the clauses relevant toq.pi_precis a partial order (directed acyclic graph) overDspecifying which instrument prevails in the event of a conflict on subject-matter domainq, optionally guarded by a specificity predicateSpec(D_high, D_low, sec_id)requiringD_highto citesec_idofD_lowexplicitly (as inM08).tau_exec : D -> {ACTIVE_EXECUTED, SUPERSEDED, UNEXECUTED_DRAFT}labels the execution and temporal validity status of each instrument inD.
5.2 Multi-hop reference-truncation shock and Theorem 36.1
Suppose a query q depends on a chain of m >= 1 documents Cl(q, G_doc) = {D_1, D_2, ..., D_m} linked by m - 1 cross-document incorporation hops, where D_m contains a decisive override that reverses the default verdict of D_1. If an upstream document assembler includes D_1 with probability 1 (V_scope_local(D_1) = 1) and independently resolves each cross-document reference hop (D_r, D_{r+1}) with per-hop recall q in (0, 1], then the probability that the attached packet B_attached contains the complete transitive closure Cl(q, G_doc) is:
P_closed(m, q) = q^(m - 1)
Whenever any hop fails (probability rho_trunc(m, q) = 1 - q^(m - 1)), the overriding instrument D_m is absent from B_attached, inducing a 100% common-mode premise shock across all instruction-following witnesses inspecting B_attached. For a 3-of-4 witness panel whose conditional error rate on a complete packet is p_indep in (0, 1) (with independent 3-of-4 quorum failure tail P_tail(p_indep) = 4 * p_indep^3 * (1 - p_indep) + p_indep^4), the ungated 3-of-4 quorum failure probability is:
P_fail_quorum(m, q, p_indep) = (1 - q^(m - 1)) + q^(m - 1) * (4 * p_indep^3 * (1 - p_indep) + p_indep^4)
Theorem 36.1 (Local-Bundle Completeness Insufficiency Under Cross-Document Override). Let W = {W0, W1, W2, W3} be a witness panel satisfying AIC-33, GTP-34 (|R_G(Q)| >= 3), and >= 3 distinct witness architecture families. If the release verifier checks only local primary-document completeness (h_i == SHA256(D_1)) and local verbatim span grounding (q_i substring D_1) without enforcing transitive cross-document reference closure (Cl(q, G_doc) subset B_attached), then on every transaction where an unattached higher-precedence instrument D_k in Cl(q, G_doc) \ B_attached reverses D_1, faithful instruction-following witnesses emit unanimous 4-0 false consensus, and the critical per-hop retrieval recall q* required for an ungated 3-of-4 quorum across m documents to match a single full-packet auditor with error p_single > P_tail(p_indep) is:
q*(m, p_indep, p_single) = ((1 - p_single) / (1 - P_tail(p_indep)))^(1 / (m - 1))
Proof sketch. When D_k \notin B_attached, the visible text in D_1 states a base rule v_base subject to D_k. Because witnesses are prohibited from hallucinating unattached text, every faithful witness evaluates D_1 to v_base != v*, yielding 4-0 agreement on v_base with a valid verbatim quote from D_1 and a valid local hash SHA256(D_1). Setting P_fail_quorum(m, q*, p_indep) = p_single and solving 1 - q*^(m - 1) * (1 - P_tail(p_indep)) = p_single yields the closed-form threshold q*(m, p_indep, p_single) above. For m = 3, p_indep = 0.15 (P_tail = 0.01198125), and p_single = 0.08, q* = (0.92 / 0.98801875)^(1/2) = 0.964964 (96.50% per-hop recall).
5.3 The CCS-36 compositional receipt schema and Theorem 36.2
To eliminate both cross-document dangling overrides (M01-M06) and scalar clause-label false holds (M09, M10), CCS-36 requires each witness W_i to emit a compositional cross-document inspection receipt:
r_i = (v_i, s_base_i, s_ctrl_i, pi_i, q_i, u_i, a_inline_i, M_i)
where:
v_i in {PASS, FAIL}is the binary audit verdict,s_base_i = (doc_base_i, sec_base_i)identifies the base entitlement or default clause in the primary instrument,s_ctrl_i = (doc_ctrl_i, sec_ctrl_i)identifies the decisive controlling or overriding clause after cross-document precedence resolution (equal tos_base_iwhen no override applies),pi_iis the witness's verified precedence relation (doc_ctrl_i > doc_base_i),q_iis a contiguous verbatim substring (|norm(q_i)| >= 18) extracted from the controlling instrument,u_i in {true, false}(unattached_external_reference) flags whether any external instrument incorporated by reference in the visible text is missing from the attached bundle and not covered by a signed inline fact attestation,a_inline_i in {true, false}(inline_fact_sufficiency) records whether an external schedule reference is satisfied by a cryptographically signed inline registry fact attestation, andM_i = {SHA256(D) : D in B_attached}is the manifest of cryptographic digests of all attached instruments inspected byW_i.
Theorem 36.2 (Reference-Closure and Compositional Precedence-DAG Sufficiency CCS-36). A 3-of-4 agreeing witness subset Q subset W (|Q| >= 3) is certified for release (CCS_CERTIFIED) if and only if all six predicates hold:
- Grounded Multi-Family Independence (
V_arch):QsatisfiesAIC-33andGTP-34(|R_G(Q)| >= 3) and spans at least three distinct witness architecture families (|{family(W_i) : W_i in Q}| >= 3). - Transitive Reference-Graph Closure (
V_ref_closure): Every required instrumentD_r in Cl(q, G_doc)is either cryptographically present in the attached manifestM_i(SHA256(D_r) in M_i) or satisfied by a signed inline fact attestation (a_inline_i == trueverified against the registry receipt), and fewer than two witnesses inWflagu_j == true. - Acyclic Order-of-Precedence DAG Verification (
V_prec_dag): The precedence relationpi_icited by witnesses inQis acyclic and consistent with the governing hierarchypi_precand any specificity guardrailSpec(doc_ctrl, doc_base, sec_base). - Active Temporal Execution Verification (
V_temp): The controlling instrumentdoc_ctrl_ihas statustau_exec(doc_ctrl_i) == ACTIVE_EXECUTED(rejectingSUPERSEDEDprior amendments andUNEXECUTED_DRAFTside letters). - Compositional Clause-Chain Tuple Reconciliation (
V_tuple): At least three witnesses inQmatch the canonical compositional chain(s_base*, s_ctrl*), allowing witnesses to record both the base entitlement clause (s_base_i) and the decisive ceiling/override clause (s_ctrl_i) without scalar-slot collision. - Cross-Document Verbatim Span Verification (
V_xspan): At least three witnesses inQprovide a contiguous verbatim quotenorm(q_i)verified against the active controlling instrument in the complete multi-document bundle.
When any predicate fails because V_ref_closure == 0, CCS-36 transitions fail-closed to HOLD_CCS36_DANGLING_REF_CLOSURE and triggers a targeted bundle reopen over Cl(q, G_doc). In the finite 16,384-state universe of E36-A, the conjunction V_arch & V_ref_closure & V_prec_dag & V_temp & V_tuple & V_xspan is both necessary and sufficient for 0 false acceptances (FP = 0 / 16,376) and 0 false rejections (FN = 0 / 8).
6. Hypotheses (H36.1-H36.7)
H36.1(Local-BundleCIS-35Insufficiency Under Cross-Document Override): Applying Round 35'sCIS-35gate to a 100% locally complete primary document without cross-document reference-graph closure (G1_cis35_local_single_docinE36-A;Arm 2inE36-B) permits unanimous false certifications whenever an unattached higher-precedence companion instrument reverses the base obligation (126false acceptances inE36-A;6 / 6false certified releases on Stratum 1M01-M06inE36-B).H36.2(Multi-Hop Reference-Truncation Amplification): Across anm-document reference chain with per-hop retrieval recallq = 0.85and independent witness errorp_indep = 0.15, compound reference-hop losses elevate ungated 3-of-4 quorum failure from1.20%(m = 1) to16.02%(m = 2),28.62%(m = 3),39.32%(m = 4), and48.42%(m = 5), requiringq > q* = 96.50%atm = 3to beat a singlep_single = 0.08full-packet checker.H36.3(Multi-Document Attachment Insufficiency Without Precedence-DAG and Temporal Verification): Attaching all referenced documents and checking verbatim spans without verifying the contractual Order-of-Precedence DAG and active amendment execution status (G2_multidoc_attachment_no_prec_daginE36-A) still falsely accepts56compromised states where witnesses apply a subordinate, superseded, or unexecuted clause.H36.4(Scalar Schema False-Hold Bottleneck vs. Compositional Tuple Resolution): Enforcing a rigid single scalargoverning_sectionfield on multi-document bundles (G3_multidoc_scalar_schema_rigidinE36-A;Arm 2onM09andM10inE36-B) causes a75.00%(6 / 8) false rejection rate inE36-Aand2 / 12(16.67%) false holds inE36-B, whereasCCS-36's compositional(base_entitlement_section, decisive_override_section, inline_fact_sufficiency)tuple reduces false holds to0 / 8inE36-Aand0 / 12inE36-B.H36.5(Deterministic Exactness of FullCCS-36): Across all4^7 = 16,384enumerated multi-document states inE36-A, the completeCCS-36gate (G5_ccs36_full) achievesTP = 8,FP = 0,TN = 16,376,FN = 0(0.00%FAR,0.00%FRR,100.00%accuracy).H36.6(Live Fail-Closed Interception of Dangling Cross-Document References): On the 12-packet live 4-architecture benchmark (E36-B), applyingCCS-36prior to bundle reopen (Arm 4) intercepts6 / 6Stratum-1 dangling-override packets (M01-M06) fail-closed (HOLD_CCS36_DANGLING_REF_CLOSURE) with0 / 12false certified releases, while ungated 4-family voting (Arm 3) and localCIS-35(Arm 2) both suffer6 / 6unanimous4-0false certified releases onM01-M06.H36.7(Live 12/12 Recovery Under Transitive Bundle Closure and Compositional Schemas): OnceCCS-36reopens the transitive multi-document bundle (Arm 5inE36-B), all6 / 6Stratum-1 packets flip from4-0false consensus to4-0verified correct consensus and all6 / 6Stratum-2 precedence-DAG and compositional packets (M07-M12, including theC03andC12successorsM09andM10) release cleanly, achieving12 / 12(100.00%) correct certified releases,0 / 12(0.00%) false certified releases, and0 / 12(0.00%) conservative holds.
7. Evidence Category 1: Deterministic structural diagnostic (E36-A)
7.1 Experimental design (4^7 = 16,384 multi-document reference-graph configurations)
Kept strictly separate from live model evaluations, run_structural_diagnostic.py enumerates the cartesian product of seven 4-state dimensions (4^7 = 16,384 total states, canonical SHA-256 digest 20fa43fc3134fda93f9197d6fa3250443e17d71d6d94debd0224afaaebcc5b78):
local_doc_integrity:{0_truncated_base_doc, 1_unverified_summary_only, 2_locally_complete_base_doc_hash_verified, 3_full_multi_doc_manifest_hash_verified}.reference_closure_state:{0_dangling_silent_omission, 1_dangling_flagged_unreopened, 2_inline_fact_attested_closure, 3_full_transitive_bundle_closure}.precedence_dag_state:{0_precedence_ignored_base_wins, 1_circular_or_ambiguous_priority, 2_lexical_recency_heuristic_only, 3_verified_acyclic_precedence_dag}.clause_chain_schema:{0_ungrounded_verdict_only, 1_scalar_base_section_only, 2_scalar_label_split_on_valid_chain, 3_verified_compositional_tuple}.cross_doc_span_grounding:{0_paraphrased_no_verbatim_match, 1_base_doc_span_verified_override_unverified, 2_decoy_or_superseded_redline_span, 3_both_base_and_controlling_spans_verified_active}.architecture_diversity:{0_single_witness_no_quorum, 1_homogeneous_monoculture_4w, 2_dual_family_quorum, 3_quad_family_grounded_quorum}.temporal_amendment_status:{0_superseded_prior_version_applied, 1_unexecuted_draft_side_letter_applied, 2_active_initial_instrument_no_amendment, 3_active_latest_executed_amendment_verified}.
A state is ground-truth CCS_CERTIFIED positive (8 states total) if and only if:
local_doc_integrity == 3(full_multi_doc_manifest_hash_verified),reference_closure_state in {2, 3}(inline_fact_attested_closureorfull_transitive_bundle_closure),precedence_dag_state == 3(verified_acyclic_precedence_dag),clause_chain_schema in {2, 3}(valid two-clause chain, whether witnesses split across the two labels under a scalar schema or emit the unified compositional tuple),cross_doc_span_grounding == 3(both_base_and_controlling_spans_verified_active),architecture_diversity == 3(quad_family_grounded_quorum), andtemporal_amendment_status in {2, 3}(active_initial_instrument_no_amendmentoractive_latest_executed_amendment_verified).
All remaining 16,384 - 8 = 16,376 states contain at least one cross-document truncation, precedence inversion, temporal supersession, span ungrounding, or monoculture defect.
7.2 Deterministic gate comparison (G0-G5)
| Candidate Gate | TP | FP | TN | FN | False Acceptance Rate (FAR) | False Rejection Rate (FRR) | Overall Accuracy |
|---|---|---|---|---|---|---|---|
G0_gtp34_quorum_only (GTP-34 4-family quorum only) | 8 | 4,088 | 12,288 | 0 | 24.96% (0.249634) | 0.00% | 75.05% (0.750488) |
G1_cis35_local_single_doc (Round 35 CIS-35 on local primary doc) | 2 | 126 | 16,250 | 6 | 0.77% (0.007694) | 75.00% (0.750000) | 99.19% (0.991943) |
G2_multidoc_attachment_no_prec_dag (multi-doc closure, no pi_prec / tau_exec) | 8 | 56 | 16,320 | 0 | 0.34% (0.003420) | 0.00% | 99.66% (0.996582) |
G3_multidoc_scalar_schema_rigid (multi-doc + pi_prec + tau_exec, rigid scalar schema) | 2 | 0 | 16,376 | 6 | 0.00% (0.000000) | 75.00% (0.750000) | 99.96% (0.999634) |
G4_ccs36_without_diversity (CCS-36 semantic gates without >= 3 families) | 8 | 24 | 16,352 | 0 | 0.15% (0.001466) | 0.00% | 99.85% (0.998535) |
G5_ccs36_full (CCS-36 complete gate) | 8 | 0 | 16,376 | 0 | 0.00% (0.000000) | 0.00% (0.000000) | 100.00% (1.000000) |
7.3 Exact multi-hop reference-truncation failure surface (E36-A)
The table below reports the exact bundle-closure probability P_closed(m, q) = q^(m - 1), induced common-mode truncation shock rho_trunc(m, q) = 1 - q^(m - 1), and ungated 3-of-4 quorum failure probability P_fail_quorum(m, q, p_indep = 0.15) across document chain lengths m in {1, 2, 3, 4, 5} and per-hop retrieval recalls q in {0.95, 0.85, 0.75}:
Document Chain Length m | Per-Hop Recall q | Transitive Closure q^(m-1) | Induced Common-Mode Shock rho_trunc | Independent Quorum Tail (p = 0.15) | Ungated 3-of-4 Quorum Failure Probability |
|---|---|---|---|---|---|
m = 1 (0 hops) | 0.95 | 1.000000 | 0.000000 | 0.011981 (1.20%) | 0.011981 (1.20%) |
m = 2 (1 hop) | 0.95 | 0.950000 | 0.050000 | 0.011981 (1.20%) | 0.061382 (6.14%) |
m = 3 (2 hops) | 0.95 | 0.902500 | 0.097500 | 0.011981 (1.20%) | 0.108313 (10.83%) |
m = 4 (3 hops) | 0.95 | 0.857375 | 0.142625 | 0.011981 (1.20%) | 0.152897 (15.29%) |
m = 5 (4 hops) | 0.95 | 0.814506 | 0.185494 | 0.011981 (1.20%) | 0.195253 (19.53%) |
m = 1 (0 hops) | 0.85 | 1.000000 | 0.000000 | 0.011981 (1.20%) | 0.011981 (1.20%) |
m = 2 (1 hop) | 0.85 | 0.850000 | 0.150000 | 0.011981 (1.20%) | 0.160184 (16.02%) |
m = 3 (2 hops) | 0.85 | 0.722500 | 0.277500 | 0.011981 (1.20%) | 0.286156 (28.62%) |
m = 4 (3 hops) | 0.85 | 0.614125 | 0.385875 | 0.011981 (1.20%) | 0.393233 (39.32%) |
m = 5 (4 hops) | 0.85 | 0.522006 | 0.477994 | 0.011981 (1.20%) | 0.484248 (48.42%) |
m = 1 (0 hops) | 0.75 | 1.000000 | 0.000000 | 0.011981 (1.20%) | 0.011981 (1.20%) |
m = 2 (1 hop) | 0.75 | 0.750000 | 0.250000 | 0.011981 (1.20%) | 0.258986 (25.90%) |
m = 3 (2 hops) | 0.75 | 0.562500 | 0.437500 | 0.011981 (1.20%) | 0.444239 (44.42%) |
m = 4 (3 hops) | 0.75 | 0.421875 | 0.578125 | 0.011981 (1.20%) | 0.583180 (58.32%) |
m = 5 (4 hops) | 0.75 | 0.316406 | 0.683594 | 0.011981 (1.20%) | 0.687385 (68.74%) |
8. Evidence Category 2: Live matched-compute multi-model benchmark (E36-B)
8.1 Witness architecture roster, reasoning configuration, and cryptographic execution ledger
E36-B executed 108 live witness evaluations across four distinct witness architecture families, logging every evaluation's SHA-256 prompt digest, latency, compositional section tuple, verbatim quote, and dangling-reference flag to experiment-ledger.jsonl (canonical summary SHA-256 digest 455b9f04eacd1cb6e9be27cda99c878df6ed2626f9898cd3addd02836895426d).
| Encevra Roster Identifier | Witness Architecture Family | Reasoning Configuration | Live Evaluations | Evaluation Arms Covered | Mean Latency (ms) | Receipt Verification |
|---|---|---|---|---|---|---|
fable-5.1 (Lead & Mono Quorum) | Fable 5.1 (Architecture Family A) | reasoning: {"effort": "high"} (Max reasoning) | 54 | Arm 1 (12), Arm 2 (48), Arm 3/4 (12), Arm 5 (12) | 31,938.2 | 54 / 54 SHA-256 verified |
sol-5.6 (Witness W1) | Sol 5.6 (Architecture Family B) | reasoning: {"effort": "high"} | 18 | Arm 3/4 (6 partial + 6 complete), Arm 5 (12) | 15,333.7 | 18 / 18 SHA-256 verified |
astra-3.7 (Witness W2) | Astra 3.7 (Architecture Family C) | reasoning: {"effort": "high"} | 18 | Arm 3/4 (6 partial + 6 complete), Arm 5 (12) | 7,864.1 | 18 / 18 SHA-256 verified |
velri-4.7 (Witness W3) | Velri 4.7 (Architecture Family D) | reasoning: {"effort": "high"} | 18 | Arm 3/4 (6 partial + 6 complete), Arm 5 (12) | 9,001.2 | 18 / 18 SHA-256 verified |
Total (E36-B) | 4 Distinct Witness Architecture Families | High / Max Reasoning Enabled | 108 | All 5 Evaluation Arms (M01-M12) | 21,335.6 | 108 / 108 SHA-256 verified |
8.2 Frozen 12-packet multi-document enterprise benchmark (M01-M12)
The 12 multi-document packets are partitioned into two strata of six packets each:
- Stratum 1 (
S1_cross_document_dangling_override,M01-M06): In each packet, the primary instrument (DOC-MSA,DOC-DPA,DOC-SLA, orDOC-LIC) is 100% locally complete (LOCALLY COMPLETE 100%), so local single-document hash checking passes. However, the primary instrument incorporates a companion overriding instrument that is omitted fromB_partialand attached inB_complete:M01:DOC-MSA Section 8.1(12-month /1.5 milliongeneral liability cap) superseded byDOC-OF4 Section 3.2(36-month /4.5 millionMission-Critical super-cap).M02:DOC-DPA Section 5.1(72-hour breach notification deadline) narrowed byDOC-SBR Section 2.1(12-hour Sovereign Banking Rider deadline; 30-hour notice breachesDOC-SBR).M03:DOC-SLA Section 2.1(99.90%standard monthly uptime commitment) elevated byDOC-HAA Section 1.3(99.99%High-Availability Addendum commitment;99.94%uptime triggers a 25% credit).M04:DOC-MSA Section 11.1(prohibition on subcontracting without standalone consent letter) reversed byDOC-SCH-C Section 3.1(pre-authorizingAetherVault GmbHin Frankfurt).M05:DOC-MSA Section 9.2(60-day non-renewal notice deadline) shortened byDOC-CSL Section 1.1(Closing Side Letter 15-day notice window; 20-day notice prevents automatic renewal).M06:DOC-LIC Section 4.3(100% royalty exemption for Disaster-Recovery Standby invocations) repealed and superseded byDOC-AMD2 Section 2.1(Second Amendment commercial reset making all Standby invocations billable at0.04 unitsper invocation).
- Stratum 2 (
S2_precedence_dag_and_compositional_chains,M07-M12): Multiple instruments are attached simultaneously, testing Order-of-Precedence DAG resolution, specificity guardrails, compositional two-clause chains (directly testing Round 35'sC03andC12hold bottlenecks), temporal amendment supersession, and unexecuted draft side-letter decoys:M07: Three-instrument precedence hierarchy (DOC-DPA > DOC-OF2 > DOC-MSAunderDOC-MSA Section 1.5) whereDOC-DPA Section 9.3(5,000,000 unitGDPR Article 82 cap) prevails overDOC-OF2 Section 5.1(500,000 unitgeneral Order Form cap).M08: Precedence Specificity Guardrail (DOC-MSA Section 1.3) whereDOC-SOW3 Section 4.2purports to assign all IP to Supplier but fails to citeDOC-MSA Section 6.1explicitly, leavingDOC-MSA Section 6.1controlling.M09(Round 35C03Compositional Successor): Base Service Level Credit entitlement arises underDOC-SLA Section 1.2(> 120minutes Unscheduled Downtime) while the 45-minute quarterly HSM maintenance exclusion ceiling is defined inDOC-EXB Section 3.4(540 - 45 = 495 > 120minutes).M10(Round 35C12Inline-Attestation Successor): Direct-competitor assignment prohibition underDOC-MSA Section 15.2(overridingDOC-MSA Section 15.1), paired with a cryptographically signed inline registry attestation (INLINE-ATTESTED-EX-C,inline_fact_sufficiency = true) stipulating thatVanguard Kernels Inc.is on Exhibit C.M11: Temporal amendment chronology acrossDOC-MSA,DOC-AMD1(First Amendment lifting the consequential damages waiver), andDOC-AMD2(active Second Amendment repealingDOC-AMD1and reinstatingDOC-MSA Section 8.2waiver).M12: Executed multi-document binder (DOC-MSA+ executedDOC-OF7placing exclusive venue in Zurich, Switzerland) containing an unsigned draft side letter decoy (DOC-DRAFT-SLproposing London, UK).
8.3 Aggregate comparison across the five evaluation arms
| Evaluation Arm | Description | Correct Certified Releases | False Certified Releases | Fail-Closed Holds (HOLD) | False Certification Rate | Stratum 1 (M01-M06) False Releases |
|---|---|---|---|---|---|---|
Arm 1: Single-Fable-Max-Complete | Single fable-5.1 (effort: high) on complete multi-doc packet B_complete | 12 / 12 (12 / 12 verified tuple & span) | 0 / 12 | 0 / 12 | 0.00% | 0 / 6 |
Arm 2: CIS35-Local-Doc-3of4 | Round 35 CIS-35 on locally complete primary doc (B_partial on M01-M06) + scalar schema | 4 / 12 (33.33%) | 6 / 12 | 2 / 12 (M09, M10) | 50.00% | 6 / 6 (100%) |
Arm 3: MultiFamily-Partial-Ungated | Fable 5.1 + Sol 5.6 + Astra 3.7 + Velri 4.7 on B_partial, GTP-34 only | 6 / 12 (50.00%) | 6 / 12 | 0 / 12 | 50.00% | 6 / 6 (100%) |
Arm 4: CCS-36 Pre-Reopen Gate | 4-family quorum gated by CCS-36 on B_partial before cross-document bundle reopen | 6 / 12 (50.00%) | 0 / 12 | 6 / 12 (M01-M06 held) | 0.00% | 0 / 6 (6/6 held) |
Arm 5: CCS-36 Complete Packet | 4-family quorum gated by CCS-36 (V_ref_closure * V_prec_dag * V_tuple * V_xspan) on B_complete | 12 / 12 (100.00%) | 0 / 12 (0.00%) | 0 / 12 (0.00%) | 0.00% | 0 / 6 (6/6 fixed) |
8.4 Packet-by-packet live benchmark breakdown (M01-M12)
| Packet | Stratum | Ground Truth (Verdict, Base -> Controlling Clause, Precedence) | Arm 1 (Fable 5.1 Max, B_complete) | Arm 2 (CIS-35 Local Single-Doc) | Arm 3 (MultiFamily Partial, Ungated) | Arm 4 (CCS-36 on B_partial) | Arm 5 (CCS-36 on B_complete) |
|---|---|---|---|---|---|---|---|
M01 | S1 | FAIL (DOC-MSA 8.1 -> DOC-OF4 3.2, DOC-OF4 > DOC-MSA) | FAIL (tuple=True) | PASS (4-0 FALSE) | PASS (4-0 FALSE) | HOLD_CCS36_DANGLING_REF_CLOSURE (4/4 flagged) | FAIL (4/4 tuples, certified) |
M02 | S1 | FAIL (DOC-DPA 5.1 -> DOC-SBR 2.1, DOC-SBR > DOC-DPA) | FAIL (tuple=True) | PASS (4-0 FALSE) | PASS (4-0 FALSE) | HOLD_CCS36_DANGLING_REF_CLOSURE (4/4 flagged) | FAIL (4/4 tuples, certified) |
M03 | S1 | PASS (DOC-SLA 2.1 -> DOC-HAA 1.3, DOC-HAA > DOC-SLA) | PASS (tuple=True) | FAIL (4-0 FALSE) | FAIL (4-0 FALSE) | HOLD_CCS36_DANGLING_REF_CLOSURE (4/4 flagged) | PASS (4/4 tuples, certified) |
M04 | S1 | PASS (DOC-MSA 11.1 -> DOC-SCH-C 3.1, DOC-SCH-C > DOC-MSA) | PASS (tuple=True) | FAIL (4-0 FALSE) | FAIL (4-0 FALSE) | HOLD_CCS36_DANGLING_REF_CLOSURE (4/4 flagged) | PASS (4/4 tuples, certified) |
M05 | S1 | FAIL (DOC-MSA 9.2 -> DOC-CSL 1.1, DOC-CSL > DOC-MSA) | FAIL (tuple=True) | PASS (4-0 FALSE) | PASS (4-0 FALSE) | HOLD_CCS36_DANGLING_REF_CLOSURE (4/4 flagged) | FAIL (4/4 tuples, certified) |
M06 | S1 | PASS (DOC-LIC 4.3 -> DOC-AMD2 2.1, DOC-AMD2 > DOC-LIC) | PASS (tuple=True) | FAIL (4-0 FALSE) | FAIL (4-0 FALSE) | HOLD_CCS36_DANGLING_REF_CLOSURE (4/4 flagged) | PASS (4/4 tuples, certified) |
M07 | S2 | PASS (DOC-OF2 5.1 -> DOC-DPA 9.3, DOC-DPA > DOC-OF2 > DOC-MSA) | PASS (tuple=True) | PASS (4-0 correct) | PASS (4-0 correct) | PASS (4/4 tuples, certified) | PASS (4/4 tuples, certified) |
M08 | S2 | PASS (DOC-SOW3 4.2 -> DOC-MSA 6.1, DOC-MSA > DOC-SOW3) | PASS (tuple=True) | PASS (4-0 correct) | PASS (4-0 correct) | PASS (3/4 tuples, certified) | PASS (3/4 tuples, certified) |
M09 | S2 | PASS (DOC-SLA 1.2 -> DOC-EXB 3.4, C03 Compositional Successor) | PASS (tuple=True) | HOLD_CIS35_SCALAR_OR_EXHIBIT | PASS (4-0 correct) | PASS (4/4 tuples, certified) | PASS (4/4 tuples, certified) |
M10 | S2 | PASS (DOC-MSA 15.1 -> DOC-MSA 15.2, C12 Inline-Attestation Successor) | PASS (tuple=True) | HOLD_CIS35_SCALAR_OR_EXHIBIT | PASS (4-0 correct) | PASS (4/4 tuples, certified) | PASS (4/4 tuples, certified) |
M11 | S2 | PASS (DOC-MSA 8.2 -> DOC-AMD2 1.1, DOC-AMD2 > DOC-AMD1 > DOC-MSA) | PASS (tuple=True) | PASS (4-0 correct) | PASS (4-0 correct) | PASS (4/4 tuples, certified) | PASS (4/4 tuples, certified) |
M12 | S2 | PASS (DOC-MSA 16.1 -> DOC-OF7 9.1, DOC-DRAFT-SL decoy rejected) | PASS (tuple=True) | PASS (4-0 correct) | PASS (4-0 correct) | PASS (4/4 tuples, certified) | PASS (4/4 tuples, certified) |
9. Findings vs. interpretations (strict separation)
9.1 Measured findings (directly observed in E36-A and E36-B)
- Deterministic finding
F36.1(E36-A): Across the16,384enumerated multi-document states (8positiveCCS_CERTIFIEDstates and16,376negative compromised states),G0_gtp34_quorum_onlyaccepts4,088 / 16,376negative states (FAR = 24.96%),G1_cis35_local_single_docaccepts126 / 16,376negative states (FAR = 0.77%) while rejecting6 / 8positive states (FRR = 75.00%),G2_multidoc_attachment_no_prec_dagaccepts56 / 16,376negative states (FAR = 0.34%),G3_multidoc_scalar_schema_rigidachievesFP = 0but rejects6 / 8positive states (FRR = 75.00%),G4_ccs36_without_diversityaccepts24 / 16,376negative states (FAR = 0.15%), andG5_ccs36_fullachievesTP = 8,FP = 0,TN = 16,376,FN = 0(FAR = 0.00%,FRR = 0.00%,Accuracy = 100.00%). - Deterministic finding
F36.2(E36-A): In the exact multi-hop reference-truncation surface with marginal independent witness errorp_indep = 0.15(1.20%independent 3-of-4 quorum failure), per-hop retrieval recallq = 0.85elevates ungated 3-of-4 quorum failure to16.02%atm = 2,28.62%atm = 3,39.32%atm = 4, and48.42%atm = 5. Atm = 3, per-hop recall must exceedq* = 0.964964(96.50%) for an ungated 3-of-4 quorum to beat a singlep_single = 0.08full-packet checker. - Empirical live-model finding
F36.3(E36-B): On Stratum 1 (M01-M06), where each primary agreement (DOC-MSA,DOC-DPA,DOC-SLA,DOC-LIC) is 100% locally complete (V_scope_local = 1) but references an unattached companion instrument, all four homogeneousFable 5.1witnesses (Arm 2,24 / 24calls) and all four heterogeneous witness architecture families (Arm 3:Fable 5.1,Sol 5.6,Astra 3.7,Velri 4.7,24 / 24calls) emit unanimous4-0verdicts opposite to the complete multi-document ground truth (6 / 6false certified releases on Stratum 1;50.00%overall false certification rate acrossM01-M12). - Empirical live-model finding
F36.4(E36-B): ApplyingCCS-36to the partial packets (Arm 4) reduces false certified releases from6 / 12(50.00%) to0 / 12(0.00%): on all6 / 6Stratum-1 packets (M01-M06),4 / 4witness families (24 / 24calls) explicitly setunattached_external_reference = trueandV_ref_closureblocks release fail-closed (HOLD_CCS36_DANGLING_REF_CLOSURE). - Empirical live-model finding
F36.5(E36-B): OnceCCS-36reopens the transitive multi-document bundle (Arm 5), all6 / 6Stratum-1 packets (M01-M06) flip from4-0false consensus to4-0verified correct consensus (24 / 24calls), and all6 / 6Stratum-2 packets (M07-M12) achieve4-0correct verdict consensus with4 / 4(M07, M09, M10, M11, M12) and3 / 4(M08) verified compositional(base_entitlement_section, decisive_override_section)tuples. In particular, the compositional tuple andinline_fact_sufficiencypredicate resolve both Round 35 hold archetypes (M09andM10), raising certified correct releases from10 / 12(83.33%in Round 35Arm 5and4 / 12 = 33.33%in Round 36Arm 2) to12 / 12(100.00%) with0 / 12false releases and0 / 12false holds.
9.2 Interpretations and architectural implications
- Why single-document hash verification (
CIS-35) is a special case of reference-graph closure (CCS-36): Round 35 treated a contract as a single byte arrayDwith digestH* = SHA256(D). In enterprise deployments, however, legal authority is distributed across a directed reference graphG_doc = (D, E_ref, pi_prec). A primary agreement that is 100% byte-complete locally (SHA256(D_1)verified) behaves identically to a truncated retrieval slice whenever an outgoing reference edge(D_1, D_k) in E_refpoints to an unattached overriding instrumentD_k.CCS-36generalizesCIS-35from single-document digest binding to transitive reference-graph closure (Cl(q, G_doc)). - Why compositional clause-chain tuples eliminate false holds without weakening verification: When a legal norm is structured as "Rule A in Document 1 applies unless Condition B in Document 2 exceeds Ceiling C", asking four distinct reasoning architectures for a single scalar
governing_sectionforces an arbitrary choice between naming the entitlement rule (Rule A) or the ceiling rule (Ceiling C). By factoring the receipt schema into(base_entitlement_section, decisive_override_section, precedence_relation, inline_fact_sufficiency),CCS-36aligns the verification predicate with the actual two-node structure of legal override chains.
10. Scope limitations and threats to validity
- Sample size and benchmark boundary:
E36-Bevaluated12multi-document enterprise packets (M01-M12) across108live witness evaluations (5evaluation arms). While the6 / 6(100.00%) false-consensus rate on unattached cross-document overrides (M01-M06) and the12 / 12(100.00%) recovery underCCS-36(Arm 5) are sharp, real enterprise data rooms can contain dozens of schedules and implicit cross-document definitions that do not name target instrument identifiers explicitly. - Explicit vs. implicit incorporation edges: In
M01-M06, the primary instrument explicitly named the companion instrument (DOC-OF4,DOC-SBR,DOC-HAA,DOC-SCH-C,DOC-CSL,DOC-AMD2), enabling all four witness architectures to flagunattached_external_reference = true(24 / 24calls) onB_partial. When a later amendment modifies a base agreement silently (without the base agreement containing a forward pointer to that future amendment), inspecting the base agreement alone cannot reveal that a post-execution amendment exists unless the binder manifest or version ledger is queried. - Research and production boundary: Neither
E36-AnorE36-Bmutated any production Noetis service or customer workflow; all evaluations ran in an isolated research harness with deterministic SHA-256 receipt verification.
11. Next check (Round 37 handoff: TDR-37)
Round 36 Section 10.2 exposes the next structural frontier: what happens when a base agreement D_1 contains no forward pointer to a post-execution Amendment, Waiver, or Notice of Termination executed months later, or when asynchronous document stores serve stale binder snapshots across longitudinal contract lifecycles? Round 37 should formulate and test Temporal Drift and Post-Execution Amendment Supersession (TDR-37), pairing a bitemporal amendment-lineage diagnostic (E37-A) with a live multi-witness benchmark (E37-B) over longitudinal multi-amendment contract lifecycles where post-execution instruments silently repeal, pause, or reinstate earlier obligations without modifying the bytes of the base agreement.
12. References ([S01]-[S12])
- [S01] John C. Knight and Nancy G. Leveson (1986). "An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming." IEEE Transactions on Software Engineering, SE-12(1):96-109. https://doi.org/10.1109/TSE.1986.6312924
- [S02] Dave E. Eckhardt and Larry D. Lee (1985). "A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors." IEEE Transactions on Software Engineering, SE-11(12):1511-1517. https://doi.org/10.1109/TSE.1985.231895
- [S03] Bev Littlewood and Douglas R. Miller (1995). "A Conceptual Model of Multi-Version Software." Twenty-Fifth International Symposium on Fault-Tolerant Computing (FTCS-25 Highlights), pp. 150-159. https://doi.org/10.1109/FTCSH.1995.532633
- [S04] Dahlia Malkhi and Michael Reiter (1998). "Byzantine Quorum Systems." Distributed Computing, 11(4):203-213. https://doi.org/10.1007/s004460050050
- [S05] Flavio P. Junqueira and Keith Marzullo (2003). "Synchronous Consensus for Dependent Process Failures." Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), pp. 274-283. https://doi.org/10.1109/ICDCS.2003.1203476
- [S06] Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc Le, Ed Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou (2023). "Self-Consistency Improves Chain of Thought Reasoning in Language Models." International Conference on Learning Representations (ICLR 2023). https://arxiv.org/abs/2203.11171
- [S07] Yilun Du, Shuang Li, Antonio Torralba, Joshua B. Tenenbaum, and Igor Mordatch (2023). "Improving Factuality and Reasoning in Language Models through Multiagent Debate." arXiv preprint arXiv:2305.14325. https://arxiv.org/abs/2305.14325
- [S08] Tian Liang, Zhiwei He, Wenxiang Jiao, Xing Wang, Yan Wang, Rui Wang, Yujiu Yang, Shuming Shi, and Zhaopeng Tu (2023). "Encouraging Divergent Thinking in Large Language Models through Multi-Agent Debate." arXiv preprint arXiv:2305.19118. https://arxiv.org/abs/2305.19118
- [S09] Jie Huang, Xinyun Chen, Swaroop Mishra, Huaixiu Steven Zheng, Adams Wei Yu, Xinying Song, and Denny Zhou (2023). "Large Language Models Cannot Self-Correct Reasoning Yet." arXiv preprint arXiv:2310.01798. https://arxiv.org/abs/2310.01798
- [S10] Junyou Li, Qin Zhang, Yangbin Yu, Qiang Fu, and Deheng Ye (2024). "More Agents Is All You Need." Transactions on Machine Learning Research (TMLR 2024). https://arxiv.org/abs/2402.05120
- [S11] Fan Wu, Emily Black, and Varun Chandrasekaran (2024). "Generative Monoculture in Large Language Models." arXiv preprint arXiv:2407.02209. https://arxiv.org/abs/2407.02209
- [S12] Mert Cemri, Melissa Z. Pan, Shuyi Yang, Lakshya A. Agrawal, Bhavya Chopra, Rishabh Tiwari, Kurt Keutzer, Aditya Parameswaran, Dan Klein, Kannan Ramchandran, Matei Zaharia, Joseph E. Gonzalez, and Ion Stoica (2025). "Why Do Multi-Agent LLM Systems Fail?" arXiv preprint arXiv:2503.13657. https://arxiv.org/abs/2503.13657
