Skip to content
Merged
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
8312561
WIP: R3 Verification
briansrls May 5, 2026
a6171ec
WIP: R3 Verification
briansrls May 5, 2026
ee75dfe
WIP: R3 Verification
briansrls May 5, 2026
08262bd
test(r3-l4): run each claim via run_claim; drop suite OnceLock
briansrls May 5, 2026
84a10ff
docs(tests): clarify OnceLock warm comment; drop PR ref in L4 helper
briansrls May 5, 2026
8287bba
test(t-demo): rename skeleton smoke; drop ordering-based warm-up story
briansrls May 5, 2026
94af12a
test(r3-l4): assert skeleton suite cardinality without index coupling
briansrls May 5, 2026
80621c6
ci: extend self_host_ratchet job timeout to 60 minutes
briansrls May 5, 2026
c8b3df5
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
831ac5a
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
dbb67cf
WIP: R3 Verification
briansrls May 6, 2026
8539056
docs(r3): advance TC1 Q-PAFS brief PROPOSAL → DESIGN
briansrls May 6, 2026
c42c0e8
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
e8966c4
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
485d002
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
ff97da9
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
4240829
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
405b9c0
docs(briefs): replace bare .md line refs with section anchors (Verifi…
briansrls May 6, 2026
03a3ad6
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
a0d849b
WIP: R3 Verification
briansrls May 6, 2026
271737d
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
41754b3
docs(r3): fix Codex BLOCKING — L7 matrix cites T-V-L4-L7-Direct; sync…
briansrls May 6, 2026
f1bc070
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
43a270e
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
cdd5c4c
docs(briefs): clarify r3-program-plan path for TC1 ACCEPTED authority…
briansrls May 6, 2026
6d7b44b
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
8f5879e
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
0808cac
docs(r3): single authority for Q-PAFS ACCEPTED — plan §10.3 at HEAD
briansrls May 6, 2026
7052e2e
Merge remote-tracking branch 'origin/main' into session/cool-owl-579
briansrls May 6, 2026
61d6489
docs(briefs): V1 worker — scope line is narrative not second authority
briansrls May 6, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/briefs/r3-v-pattern-a-tc1-v1-worker.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

**Parent:** [`docs/briefs/r3-verification-manager.md`](r3-verification-manager.md) — absorbed formal-grounding / Pattern-A cluster (not a fourth lane; see [`docs/r3-structure.md`](../r3-structure.md) §"Manager structure").

**Ratified scope authority:** [`docs/briefs/r3-v-tc1-eta-equivalence-deeper-analysis.md`](r3-v-tc1-eta-equivalence-deeper-analysis.md) §"DESIGN — Q-PAFS first executable slice (Pattern-A / TC1)" **Path A** — TC1 **static representative** via **E6-G1.a** (finite Director-visible lens set + fixed eta pair; `BinaryDimensionReportEquals` consumer envelope per [`docs/briefs/r3-v-pattern-a-coverage-rollup.md`](r3-v-pattern-a-coverage-rollup.md)).
**Ratified scope narrative (engineering brief):** [`docs/briefs/r3-v-tc1-eta-equivalence-deeper-analysis.md`](r3-v-tc1-eta-equivalence-deeper-analysis.md) §"DESIGN — Q-PAFS first executable slice (Pattern-A / TC1)" **Path A** — TC1 **static representative** via **E6-G1.a** (finite Director-visible lens set + fixed eta pair; `BinaryDimensionReportEquals` consumer envelope per [`docs/briefs/r3-v-pattern-a-coverage-rollup.md`](r3-v-pattern-a-coverage-rollup.md)).

**Program plan:** [`docs/r3-program-plan.md`](../r3-program-plan.md) §10.3 rows **Q-PAFS**, **Q-Pattern-A-First-Slice-Subscope**, **Q-EVAL-Lens-Fold-First-Slice** — **ACCEPTED 2026-05-06 (Path A / G1.a)**.

Expand Down
Loading