Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
120 commits
Select commit Hold shift + click to select a range
2b9d172
WIP: R3 Substrate
briansrls May 5, 2026
e53a442
WIP: R3 Substrate
briansrls May 5, 2026
b97d427
WIP: R3 Substrate
briansrls May 5, 2026
78985da
WIP: R3 Substrate
briansrls May 5, 2026
5881c11
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 5, 2026
e1b78bf
WIP: R3 Substrate
briansrls May 5, 2026
215f08b
WIP: R3 Substrate
briansrls May 5, 2026
e538196
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 5, 2026
6ec6ca5
WIP: R3 Substrate
briansrls May 5, 2026
feabbf1
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 5, 2026
259ea06
WIP: R3 Substrate
briansrls May 5, 2026
24431bb
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 5, 2026
69d7a17
WIP: R3 Substrate
briansrls May 5, 2026
ebb2df1
WIP: R3 Substrate
briansrls May 5, 2026
e685b4b
WIP: R3 Substrate
briansrls May 5, 2026
7b77052
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 5, 2026
84aebd9
WIP: R3 Substrate
briansrls May 5, 2026
38e2c64
WIP: R3 Substrate
briansrls May 5, 2026
be17445
WIP: R3 Substrate
briansrls May 5, 2026
bfa3c79
WIP: R3 Substrate
briansrls May 5, 2026
adc5ed1
WIP: R3 Substrate
briansrls May 5, 2026
6329eff
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 5, 2026
c2512cd
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
e875116
fix(briefs): retire INVARIANTS.md line-number cites in r3-426 brief
briansrls May 6, 2026
2072b98
fix(briefs): correct L6 type count + r3-435 dual-path retirement receipt
briansrls May 6, 2026
6282a07
fix(briefs): L6 second 'five types' site + T-E-P lookup-gate authority
briansrls May 6, 2026
d924594
fix(briefs): strengthen L6 ratchet from count-parity to per-row bijec…
briansrls May 6, 2026
946d331
fix(briefs): split L6 ratchet into slice-active vs deferred-activatio…
briansrls May 6, 2026
0536b12
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
4a9f682
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
b913e2f
fix(briefs): require L6 bootstrap enrollment to honor P2 facts-flow-f…
briansrls May 6, 2026
f2666e4
WIP: R3 Substrate
briansrls May 6, 2026
2614217
WIP: R3 Substrate
briansrls May 6, 2026
9db003d
docs(briefs): normalize Practice 4 citation in S3 brief per codex review
briansrls May 6, 2026
2dc92f3
docs(briefs): sweep stale Practice 4 citations corpus-wide
briansrls May 6, 2026
0ecd481
docs(briefs): add Practice 4 citation discipline note to authoring ch…
briansrls May 6, 2026
811de21
docs(r3): cascade work post-Director ratification — S1 worker, R4 rou…
briansrls May 6, 2026
71cd4d5
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
b4cae52
docs(briefs): citation-discipline fix-forward — anchors/quotes, not l…
briansrls May 6, 2026
6ab9ef8
docs(briefs): fix unfaithful Int=AbelianGroup<Nat> + sweep stale 'Ste…
briansrls May 6, 2026
5f22fd0
docs(briefs): Q-Unit-1..5 RATIFIED — apply Scale.Unit→One rename + ra…
briansrls May 6, 2026
a462f00
docs(briefs): Unit/Quantity carrier worker brief — Q-Unit-1..5 RATIFIED
briansrls May 6, 2026
617858b
docs(briefs): S9 Phase-1 reframed — Int landed at #1466; UInt-only mi…
briansrls May 6, 2026
5be1c99
docs(briefs): fix two BLOCKING citation drift items per codex review
briansrls May 6, 2026
127287a
docs(briefs): sweep bare .md:NNN citations in Substrate-Mgr-authored …
briansrls May 6, 2026
8242bb4
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
6e5a548
docs(briefs): fix BLOCKING + NON-BLOCKING items per openai-pro review…
briansrls May 6, 2026
1d9ddba
docs(briefs): codex BLOCKING review fixes — Practice 4 source-level +…
briansrls May 6, 2026
e0cbb6e
docs(briefs): absorb Q-MachineConstraint + Q-Unit-1-Recanvas ratifica…
briansrls May 6, 2026
471a54a
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
74a7b4c
docs(briefs): S11 Slice C worker brief — ROADMAP :425 retirement post…
briansrls May 6, 2026
8d57053
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
ffec7aa
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
6f6e270
docs(briefs): Q-Refined-Phantom-Composition (c) RATIFIED — defer lite…
briansrls May 6, 2026
007ef33
docs(briefs): S12 F2 + F8 doc-sharpening worker brief — post-#1820 ca…
briansrls May 6, 2026
32541a5
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
1bce041
docs(briefs): S9 brief — UInt landed via #1818; algebra label correct…
briansrls May 6, 2026
84fe32d
docs(briefs): fix contradictory (c) guidance in Unit/Quantity worker …
briansrls May 6, 2026
28dea10
docs(briefs): name predicate authority + concretize ratification ID —…
briansrls May 6, 2026
a43cafd
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
566dab9
docs(briefs): S12 RETIRED per Director option (2) ratification
briansrls May 6, 2026
1804447
docs(briefs): S7 PR-F (BoundDeclaration consumer + ReferenceModel<T>)…
briansrls May 6, 2026
cac650c
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
2f07e57
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
2afad12
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
7f2d100
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
237d2c1
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
d34a3f3
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
47b6e1c
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
3cf8309
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
2d23094
docs(briefs): S9 Slice 2.5 — predicate-registry + PB-1 shim retiremen…
briansrls May 6, 2026
a12e970
docs(briefs): Slice 2.5 audit receipt — Mgr independent grep parallel…
briansrls May 6, 2026
ebf6ac1
docs(briefs): Slice 2.5 brief — Int extensibility scope-bound; lower.…
briansrls May 6, 2026
f970077
WIP: R3 Substrate
briansrls May 6, 2026
08f2de8
docs(briefs): Slice 2.5 brief — audit-receipt cites converted to decl…
briansrls May 6, 2026
3d5d8f2
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
5158196
docs(briefs): Slice 2.5 brief — Path (a) RATIFIED carrier+argument co…
briansrls May 6, 2026
dab9a73
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
35786d6
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
da0d0ea
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
f133c15
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
ec6819e
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
4c77773
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
804265f
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
a0b0d14
docs(briefs): Slice 2.5 brief — Path 2 RATIFIED (Gap 1 discharge + Q-…
briansrls May 6, 2026
da6b716
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
77d59ec
docs(briefs): S9 Phase-1 Step 3 emission entries — Tier-1 brief autho…
briansrls May 6, 2026
ec609b4
docs(briefs): S3 Phase-2 parser-grammar surface — Tier-1 brief 2/5
briansrls May 6, 2026
9deb1eb
docs(briefs): S3 Phase-2 brief — fix internal contradiction on Class …
briansrls May 6, 2026
572694d
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
d3f6413
briefs: cite Q-MachineConstraint sub-decision 6 supersession of T-V2-…
briansrls May 6, 2026
f35679f
slice-2.5 brief: mark pattern/format/content Path 2 acceptance pendin…
briansrls May 6, 2026
900bcf4
slice-2.5 brief: reconcile PB-1 retirement shape with Options A/B/C g…
briansrls May 6, 2026
4502717
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
51dc5f8
briefs: tier-1 3/5 — S9 Phase-2 Float emission coordination worker brief
briansrls May 6, 2026
a35287a
briefs: ledger advancement honesty (PRODUCER_LANDED not CONSUMER_LAND…
briansrls May 6, 2026
982dcb2
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
94292e4
slice-2.5 brief: absorb Director Option A revised RATIFICATION (final…
briansrls May 6, 2026
302ea2d
s3-phase-2 brief: absorb Q-MC sub-decision 3 ratification (grammar sh…
briansrls May 6, 2026
e9b8d84
briefs: remove truncated issuecomment-4392... stub from S9 Phase-1 St…
briansrls May 6, 2026
e0cc09c
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
2b49b30
briefs: tier-1 4/5 + 5/5 — T-LBP complexity + cost lens cementing-tes…
briansrls May 6, 2026
3bc4869
canvas: emission-provenance substrate shape disposition (supersedes P…
briansrls May 6, 2026
684947a
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
0316a88
briefs: reconcile Compose<...> slot-1 spellings to algebraic-concept …
briansrls May 6, 2026
14afdd6
s9-p1-s3 brief: scope Deliverable 4 to producer-side verification (de…
briansrls May 6, 2026
b09eaf7
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
86aa457
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
3ded98a
briefs: pre-author T-Rule-Enumeration substrate-fact-introduction wor…
briansrls May 6, 2026
8e11ecb
t-rule-enumeration: align gate name + status to Director ratification…
briansrls May 6, 2026
f36e120
emission-provenance lens brief: revise per Director Q1 (a) RATIFICATION
briansrls May 6, 2026
2ed1046
briefs: bundled Rust-primitive-full-coverage substrate-prerequisite w…
briansrls May 6, 2026
9d175bc
briefs: align Practice 4 classifications to GREEN/YELLOW rubric + add…
briansrls May 6, 2026
e9b22df
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
9d1d8f4
briefs: Practice 4 terminal receipt for EmissionOrigin + bound for β …
briansrls May 6, 2026
09628ff
WIP: R3 Substrate
briansrls May 6, 2026
088263a
Merge remote-tracking branch 'origin/main' into session/quick-crab-830
briansrls May 6, 2026
98507c4
briefs: address codex BLOCKING bundle (sha 2ed1046e) — record-form pr…
briansrls May 6, 2026
4229cd0
rust-primitive-full-coverage: codex inline confirms TargetIntegerInha…
briansrls May 6, 2026
e406b6e
emission-provenance lane: T-Rule-Enumeration RETIRED + Lens brief rev…
briansrls May 7, 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