Skip to content
Merged
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
fffd2ab
docs(r3): launch-claim coverage analysis — single source of truth for…
briansrls May 4, 2026
f110f91
WIP: Gunbc PM
briansrls May 4, 2026
eabac41
docs(r3): fold research PM review additions into launch-claim coverag…
briansrls May 4, 2026
046e688
docs(r3): align §6c default-policy with resolved lane authority — fix…
briansrls May 4, 2026
48bccae
docs(r3): fold Director #1608 review additions — Verification domain …
briansrls May 4, 2026
5926a32
docs(r3): disambiguate §8d Cat N proof-category labels — fix gpt-5-5-…
briansrls May 4, 2026
a409e01
Merge remote-tracking branch 'origin/main' into docs/r3-launch-claim-…
briansrls May 4, 2026
aab6690
Merge remote-tracking branch 'origin/main' into docs/r3-launch-claim-…
briansrls May 4, 2026
73a2fbd
docs(r3): correct false thesis-authority claim — THESIS line 23 doesn…
briansrls May 4, 2026
2aa6814
docs(r3): catch third OTP-disclaim instance in cross-references — com…
briansrls May 4, 2026
863dfe8
docs(r3): restore "within the authored substrate" qualifier in §8b — …
briansrls May 4, 2026
b532d47
docs(r3): split §4 categories into per-sub-claim disposition with r2-…
briansrls May 4, 2026
605c78d
docs(r3): correct §2 "Today-banked substrate" bucket — L7 and CX are …
briansrls May 4, 2026
3f24d87
docs(r3): distinguish "ratified R3 path" from "banked" in §8d proof-c…
briansrls May 4, 2026
736d77e
Merge remote-tracking branch 'origin/main' into docs/r3-launch-claim-…
briansrls May 4, 2026
a153567
docs(r3): correct §3a thesis-vs-authoring conflation + §5 ratificatio…
briansrls May 4, 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
Loading
Loading