Repository navigation

Group-of-units standard representation: roster registry + lens, typed witness-exclusion frontier, lens-roster retrofits, native-routing subject re-key - #7089

Merged

briansrls merged 29 commits into

mainfrom

session/fierce-ibex-519

Jul 23, 2026

Merged

Group-of-units standard representation: roster registry + lens, typed witness-exclusion frontier, lens-roster retrofits, native-routing subject re-key#7089
briansrls merged 29 commits into
mainfrom
session/fierce-ibex-519

Commits on Jul 22, 2026
- Commit 1: native-routing frontier authority — 9 families, all InterpretedRetained{parity_window_open}
 
 briansrls
 and
 claude
 committed
 305a2bf
- Commit 2: parity window — receipt-gated routing flips (N=3 consecutive green, reset on red/cold)
 
 briansrls
 and
 claude
 committed
 5d96129
- Commit 3: per-PR native batch consuming the routing frontier (empty at landing, zero behavior change)
 
 briansrls
 and
 claude
 committed
 72dd0aa
- Commit 4 (R2): toolchain-identity segment in the durable native-cache root
 
 briansrls
 and
 claude
 committed
 5ea2f88
- Commit 5: P4 advisory-soundness law — derived bound vs observed peak, unknown never sound
 
 briansrls
 and
 claude
 committed
 50b5a8d
- Commit 6: P2/host fusion law — marker warmness must agree with store Share/Recompute (R6 tripwire)
 
 briansrls
 and
 claude
 committed
 5c4907e
- Commit 7 (R1): ComputationIdentity lattice landed in dag/std; v2.std.materialize first consumer
 
 briansrls
 and
 claude
 committed
 db2c930
- Commit 8: the flip — meet_join + complement NativeRouted via the family-crate pr_native leg
 
 briansrls
 and
 claude
 committed
 cee1082
- Merge origin/main (ci.yml regenerated next)
 
 briansrls
 and
 claude
 committed
 0718ceb
- Commit 9: materialize rust-toolchain.toml into every emitted cargo workspace
 
 briansrls
 and
 claude
 committed
 8719b11
- Commit 10: transport host-tool resolution — PATH, then CARGO_HOME/bin, then ~/.cargo/bin
 
 briansrls
 and
 claude
 committed
 25f0478
- Commit 11: toolchain pin in the shared rust_bool_fn_host_runtime_row scaffold (the logic-family path missed by commit 9's sweep)
 
 briansrls
 and
 claude
 committed
 ab50e4f
- Regen ci.yml at merged head (drift gate red: merge took theirs without re-emitting)
 
 briansrls
 and
 claude
 committed
 f20db89
- Merge remote-tracking branch 'origin/session/native-routing-consumption' into session/fierce-ibex-519
 Brian Searls
 committed
 c67ae8d
- WIP: group
 Brian Searls
 committed
 45efae2
- WIP: group
 Brian Searls
 committed
 32be33b
- WIP: group
 Brian Searls
 committed
 57f2ef2
- WIP: group
 Brian Searls
 committed
 da5c8c3
- WIP: group
 Brian Searls
 committed
 334f114
- WIP: group
 Brian Searls
 committed
 69ea333
- Merge remote-tracking branch 'origin/main' into session/fierce-ibex-519
 Brian Searls
 committed
 c0aa3fa
Commits on Jul 23, 2026
- WIP: group
 Brian Searls
 committed
 347b90c
- Merge origin/main (#7091 flip revert) onto subject-keyed frontier
 
 Brian Searls
 and
 claude
 committed
 85d5490
- WIP: group
 Brian Searls
 committed
 aef7b65
- WIP: group
 Brian Searls
 committed
 9b7f010
- Rename decl helper to roster_decl (bare-name collision with design/material.dag css decl)
 
 Brian Searls
 and
 claude
 committed
 467a020
- WIP: group
 Brian Searls
 committed
 5198be1
- WIP: group
 Brian Searls
 committed
 bdc077f
- Merge remote-tracking branch 'origin/main' into session/fierce-ibex-519
 Brian Searls
 committed
 50ee71d

Navigation Menu

Repository navigation

Group-of-units standard representation: roster registry + lens, typed witness-exclusion frontier, lens-roster retrofits, native-routing subject re-key - #7089

Group-of-units standard representation: roster registry + lens, typed witness-exclusion frontier, lens-roster retrofits, native-routing subject re-key#7089
briansrls merged 29 commits into
mainfrom
session/fierce-ibex-519

Commits on Jul 22, 2026

Commit 1: native-routing frontier authority — 9 families, all InterpretedRetained{parity_window_open}

Commit 2: parity window — receipt-gated routing flips (N=3 consecutive green, reset on red/cold)

Commit 3: per-PR native batch consuming the routing frontier (empty at landing, zero behavior change)

Commit 4 (R2): toolchain-identity segment in the durable native-cache root

Commit 5: P4 advisory-soundness law — derived bound vs observed peak, unknown never sound

Commit 6: P2/host fusion law — marker warmness must agree with store Share/Recompute (R6 tripwire)

Commit 7 (R1): ComputationIdentity lattice landed in dag/std; v2.std.materialize first consumer

Commit 8: the flip — meet_join + complement NativeRouted via the family-crate pr_native leg

Merge origin/main (ci.yml regenerated next)

Commit 9: materialize rust-toolchain.toml into every emitted cargo workspace

Commit 10: transport host-tool resolution — PATH, then CARGO_HOME/bin, then ~/.cargo/bin

Commit 11: toolchain pin in the shared rust_bool_fn_host_runtime_row scaffold (the logic-family path missed by commit 9's sweep)

Regen ci.yml at merged head (drift gate red: merge took theirs without re-emitting)

Merge remote-tracking branch 'origin/session/native-routing-consumption' into session/fierce-ibex-519

WIP: group<u>

WIP: group<u>

WIP: group<u>

WIP: group<u>

WIP: group<u>

WIP: group<u>

Merge remote-tracking branch 'origin/main' into session/fierce-ibex-519

Commits on Jul 23, 2026

WIP: group<u>

Merge origin/main (#7091 flip revert) onto subject-keyed frontier

WIP: group<u>

WIP: group<u>

Rename decl helper to roster_decl (bare-name collision with design/material.dag css decl)

WIP: group<u>

WIP: group<u>

Merge remote-tracking branch 'origin/main' into session/fierce-ibex-519