Research Round 44 · 2026-11-02
This Record Fails, or No Record Exists? Record Level Status Ledgers, Completeness Records, and Independently Reviewed HOLD Labels
Research question
When an evidence ledger records what each record shows and asks separately whether anything excludes other records, do readers stop treating a defective record as proof that no valid record exists, and do the authored HOLD labels survive a blind independent review?
Summary
Tests whether evidence readers stop reading a defective record as proof that no valid record exists when the ledger asks what each record shows and, separately, whether anything excludes other records, as the Round 43 handoff asked, and puts the roadmap's abstention labels through a blind independent review. Eight new authored contract families (a short cure payment, an early extension notice, a certificate holder in place of an additional insured, an unsigned execution version, an early letter of credit expiry, a short lien waiver, an in house opinion, and a PDF image in place of an original certificate) are each written as K (the final record satisfies the requirement), T (a near miss), and TC (the near miss plus a completeness record). Every HOLD label carries a two completion certificate, and Witness A reviewed all 24 packets blind under an open and a closed record before any test call. A structural diagnostic (E44-A, 0 model calls) certifies the variants, the labels, the resolver contrast, 24 new SEC EDGAR exhibits with gold and seeded ledgers, and the monotonicity of the pre registered rewrite gate. Live, the review agreed with 48 of 48 labels and reported packet defects in 6 of 8 families, mostly on K packets. Record level ledgers by Witnesses B, C, and D held 23 of 24 near miss T readings under the open resolver (1 unsafe FAIL), while on the same items the unchanged condition ledger released an unsafe FAIL on 12 of 16 and declared open direct readers on 8 of 16; all 24 TC ledgers and all 16 TC direct readings resolved to FAIL. Witnesses B and D over held K items where two records together satisfy a requirement, and the one T error quoted a record scoped negative as an exclusion. On the 24 SEC exhibits (E44-C, 144 validator calls), no flag only or rewriting validator made an unsafe release; flagging caught every near miss evidence seed but could only hold on spurious conditions, rewriting repaired all 48 seeded ledgers, and the pre registered gate routed the 24 hold to release repairs to review. Phases first stopped by the run budget were completed later the same day with unchanged prompts and settings. Revises P7 (a failed record is not a failed condition), extends P1 (abstention labels need certificates and review), refines P5, and hands two resolver failure cases to Round 45; no production system changed.
Major findings
- F44.1 (deterministic, E44-A): all eight certificates pass; exactly the 8 T items are HOLD under an open record by two completion certificate, and under the record level resolver no T ledger can release FAIL without a verified exclusion quote, while the condition ledger releases FAIL from the near miss record alone.
- F44.2 (live, E44-B): the blind review agreed with 48 of 48 authored labels and reported packet defects in 6 of 8 families; 5 of 11 defect notes concern K packets, and the reviewer's own verdicts matched every T label.
- F44.3 (live, E44-B): under the open resolver, record level ledgers held 23 of 24 T readings and released an unsafe FAIL on 1 (Witness B, N03T, a record scoped negative quoted as an exclusion); on the same items the condition ledger released FAIL on 12 of 16 and declared open direct readers on 8 of 16.
- F44.4 (live, E44-B): record level ledgers resolved all 24 TC items to FAIL under both resolvers and all 24 T items to FAIL under the closed resolver; direct readers returned FAIL on all 16 TC readings.
- F44.5 (live, E44-B): on K, Witness C was correct on 8 of 8 under both resolvers; Witnesses B and D held 4 and 3 of 8 under the open resolver and released 2 and 3 unsafe FAILs under the closed resolver, mostly on requirements met only by two records together.
- F44.6 (live, E44-B): under the record level ledger no two witnesses shared an unsafe release on T; under the condition ledger and direct reading, Witnesses B and C erred on the same 4 of 8 T items.
- F44.7 (live, E44-C): across 144 validator calls on 24 SEC exhibits, no arm made an unsafe release; flagging kept all 24 spurious condition seeds as false holds, rewriting repaired all 48 seeded ledgers without changing any gold outcome, and the gate routed the 24 hold to release repairs to review.
Experiments
- E44-A Structural certificates for variants, completion labels, resolver contrast, exhibit ledgers, and the rewrite gate Executed (diagnostic)
- E44-B Blind label review and live record level ledgers on authored near miss families Executed (bounded diagnostic)
- E44-C Gated validators on real SEC exhibit ledgers with harder seeded defects Executed (bounded diagnostic)
Hypotheses
- H44.1 With a record level ledger, near miss T items hold under the open resolver, and the unsafe FAIL rate on T falls well below the condition ledger's.
- H44.2 The record level ledger stays determinate where the record supports a decision: K resolves PASS, and TC resolves FAIL under both resolvers.
- H44.3 Declared open direct readers err on T items and not on TC items.
- H44.4 Under the record level ledger, unsafe releases on T items do not coincide across witnesses.
- H44.5 The authored HOLD labels survive a blind independent review under both conventions.
- H44.6 A gated rewriting validator makes no unsafe release on exhibit ledgers with harder seeded defects.
Architecture implications
Research diagnostic and live benchmark only. Recommends a record level status in Noetis evidence ledgers, resolving a condition as unmet only on a quoted exclusion or a closed record, record sets for requirements met by several records, a scoped exclusion field, and completion certificates with blind review for every evaluation label. No production system, release gate, or Noetis behavior changed.
Open questions
- Does a ledger with record sets and a scoped exclusion field keep near miss items held and satisfied requirements released across four witnesses, and where are the resolver's fixed rules wrong while a witness reading the records together is right?
- Does a completeness record drive the FAIL on TC items, or would any added record do?
Connected research
Builds on Round 43, Round 42, Round 40, Round 16.
Read the published paper ↗Full experimental notes, prompts, internal architecture details and implementation procedures are kept by Encevra SI Research Labs.
