eed20749db
* docs(handoff): Step-3 relational-reasoning brief pack Four parallel-safe briefs continuing the comprehend->determine arc after #775 (one-hop relational inference, breadth 10). Ordered OWA-first per the merge-safety sequencing — harden unknown!=false before transitive/closed-world stress it: 1. ProofWriter-OWA refusal-floor lane (measure-only; standalone wrong=0 gate, NOT a capability-index domain) — dispatch first. 2. Transitive relational chains (strict-order predicates only; reuses the proof_chain ROBDD search-then-verify; non-transitive predicates must refuse). 3. overlaps_event finite-verb reader surface (closes #775's known coverage gap). 4. FrameVerdict / two-sided closed-world — DESIGN ONLY, gated behind brief 1 landing and design ratification; no answer=False path, INV-30 preserved. Each brief carries the shared acceptance gates (independent oracle, pos+neg fixtures, capability-index movement, replay-stable, wrong=0, INV-30 green, no template spam) + dispatch lines. B1/B2/B3 are file-disjoint and parallel-safe; B4 is gated. * docs(handoff): tighten Step-3 brief dispatch semantics * docs(handoff): address gemini-code-assist review on the Step-3 brief pack - B1 (OWA): gold extended to {True, Unknown, False}; include gold-False items (negation entailed). determine() is True-or-refuse, so asserting True on ANY non-True gold (Unknown OR False) is the wrong=0 breach — strengthens the floor. - B2 (transitive): inside_of + during_event are ALSO transitive (containment); now explicitly DEFERRED from the first cut (admit only with their own confuser fixtures), not silently omitted. - B3 (finite-verb): added the finite-verb QUERY surface as scope — _read_relational_clause requires questions to start with 'is', so an overlaps_event query is unparseable today; pin one interrogative form (Does A overlap B?) and fail-closed, else the symmetric case refuses and yields no coverage. |
||
|---|---|---|
| .. | ||
| assets/workbench-truncated-cell | ||
| phase-3b-4-skeleton | ||
| ADR-0084-pack-content-brief.md | ||
| ADR-0085-content-style-pass-brief.md | ||
| ADR-0085-content-style-pass-v2-brief.md | ||
| ADR-0167-FOLLOWUPS.md | ||
| ADR-0167-PARALLEL-WORK-PLAN.md | ||
| ADR-0167-W2C-cross-domain-audit.md | ||
| ADR-0172-TIER1-BRIEF-PACK.md | ||
| ADR-0174-PHASE-3B-4-COMBINED-SCOPE.md | ||
| arithmetic-comprehension-via-binding-graph-2026-06-05.md | ||
| AUDIT-ADR-0178-GB1-GB2.md | ||
| AUDIT-ADR-0179-EX-RECONCILE.md | ||
| BACKLOG-everyday-atoms-grounding-pack.md | ||
| BRIEF-11-phase-2-reader-closure-and-capability-snapshot.md | ||
| CHATGPT-REMOTE-BRIEF.md | ||
| CLEANUP-C2-run-lane-migration.md | ||
| CLEANUP-C4-compositions-compile.md | ||
| CODEX-domain-pack-closure-cleanup-brief.md | ||
| CODEX-greek-hebrew-content-phase-ii-brief.md | ||
| COMPOSITION-FRAME-CONSUMPTION-WIRING-BRIEF.md | ||
| COMPOSITIONCLAIM-BRIEF-PACK.md | ||
| COMPREHENSION-READER-AUDIT.md | ||
| CONSUMPTION-WIRING-DISPATCH-PACK.md | ||
| core-logos-studio-LG2-brief-2026-06-14.md | ||
| core-logos-studio-LG3-brief-2026-06-14.md | ||
| core-logos-studio-LG4-brief-2026-06-14.md | ||
| core-logos-studio-readonly-briefs-2026-06-14.md | ||
| core-logos-W-Forge-brief-2026-06-14.md | ||
| core-logos-W-Holonomy-brief-2026-06-14.md | ||
| DCS-S1-FINDING.md | ||
| demo-capture-shotlist-2026-06-14.md | ||
| discrete_count_statement-injector-spec.md | ||
| l10-continuity-hardening-briefs-2026-06-15.md | ||
| logos-collapse-anchor-reconciliation-2026-06-14.md | ||
| MATCHER-EXTENSION-DISPATCH-PACK.md | ||
| ME1-ME5-MILESTONE.md | ||
| NEXT-SUBJECTS-CHATGPT-HANDOFF.md | ||
| PARALLEL-WORK-PLAN-2026-05-29.md | ||
| PHASE-3.1-FOLLOWUP-RECOGNIZER-EXPANSION.md | ||
| POST-RAT1-PARALLEL-BRIEFS.md | ||
| proof-carrying-wiring-scope-2026-06-14.md | ||
| RB-GSM-SOLVER-DESIGN-INPUT.md | ||
| sealed-measurement-obligation-2026-06-04.md | ||
| SEMANTIC-STATE-TRANSITION-BLUEPRINT.md | ||
| stage-c-composition-investigation-2026-06-03.md | ||
| step3-relational-reasoning-brief-pack-2026-06-15.md | ||
| TIER2-AND-FRAMECLAIM-BRIEF-PACK.md | ||
| VERB-EXPANSION-DISPATCH-PACK.md | ||
| wave-1-evidence-spine-briefs-2026-06-12.md | ||
| wave-M-phaseB-calibration-briefs-2026-06-13.md | ||
| WAVE-NEXT-REVISED.md | ||
| wave-R-mastery-briefs-2026-06-12.md | ||
| wave-R2-backend-brief-2026-06-12.md | ||
| wave-R2-route-briefs-2026-06-12.md | ||
| wave-R2-route-briefs-part2-2026-06-12.md | ||
| wave-R3-briefs-2026-06-13.md | ||
| workbench-truncated-cell-visual-evidence-2026-06-14.md | ||
| WORKBENCH-UI-WAVE-BRIEF-PACK.md | ||
| WORKBENCH-UI-WAVE-SCOPING.md | ||
| WORKBENCH-W3-RATIFICATION-CORRIDOR-BRIEF.md | ||