Repository navigation

Sparks Pair (P0->P5) - #9897

Merged

briansrls merged 27 commits into

mainfrom

session/eager-pike-541-model-authority

Sep 3, 2026

Commits on Sep 1, 2026
- Provider-neutral model release authority; open-weight population cannot be narrowed by a distributor
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b8c45d5
- Witness the serving selector against measured rows, with the flip control that makes it a selector
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  db4939f
- Route serving-choice quantities through std.measure; de-collide two corpus-wide variant names
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d25e38d
- Delete the fabricated empty-list verdict; type positions as TokenCount and counts as Nat
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5c64edb
- Regenerate the stage0 std.measure mirror for TokensPerSecond
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2017773
- Unknown is not rejected: the selector refuses rather than answering from what it happens to know
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  58e5423
- A must-be-false probe has no floor arm, and the roster it would need forbids it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3c2e347
- Key the selector by ReleaseIdentity, and make within-release quality scope structural
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b825cc3
- Regime mismatch is unanswerable, not satisfied by whatever was measured
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  911b4a3
- A warm rate is unwritable, the population is release-grained, and the buy-nodes rule is gone
  gunbc-ci-auto-heal
  committed
  14fb18a
- Memory fit is read off the running server, not multiplied out of an architecture constant
  gunbc-ci-auto-heal
  committed
  a70a8ac
- Move the serving context bump out of the model-authority PR
  gunbc-ci-auto-heal
  committed
  8917397
- A runner buffer figure is not an OS resident set, so the selector stops subtracting one from the other
  gunbc-ci-auto-heal
  committed
  c5cb567
- Join every evidence axis to one realization identity, and type what an attempt produced
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  eacbb2f
- Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority
  gunbc-ci-auto-heal
  committed
  b0ca779
- Content-address the identity, refuse to generalize a failure downward, seal the population
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a239fe3
- An unanswerable identity comparison refuses; one eliminator per coproduct
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  eebd4f0
Commits on Sep 2, 2026
- An incomparable axis stalls only where the observation would have counted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  022c34a
- Held-but-unalignable is not absent, on the other two axes either
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  931cd4c
- wip: review fixes for byte carrier and coproduct folds
  gunbc-ci-auto-heal
  committed
  3adbb46
- Merge main for the typed Ollama environment authority
  gunbc-ci-auto-heal
  committed
  2295522
- wip: effective configuration replaces argv key; materiality by receipt
  gunbc-ci-auto-heal
  committed
  edbfc7d
- A launch bound is not an execution receipt, so the point is derived rather than authored
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bd09e28
- Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority
  gunbc-ci-auto-heal
  committed
  2f346a5
- A parameter count carries its scale in the type, not in the reader's head
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9a03344
- Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority
  gunbc-ci-auto-heal
  committed
  68af2e9
- Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority
  gunbc-ci-auto-heal
  committed
  1100cf2

Navigation Menu

Repository navigation

Sparks Pair (P0->P5) - #9897

Sparks Pair (P0->P5)#9897
briansrls merged 27 commits into
mainfrom
session/eager-pike-541-model-authority

Commits on Sep 1, 2026

Provider-neutral model release authority; open-weight population cannot be narrowed by a distributor

Witness the serving selector against measured rows, with the flip control that makes it a selector

Route serving-choice quantities through std.measure; de-collide two corpus-wide variant names

Delete the fabricated empty-list verdict; type positions as TokenCount and counts as Nat

Regenerate the stage0 std.measure mirror for TokensPerSecond

Unknown is not rejected: the selector refuses rather than answering from what it happens to know

A must-be-false probe has no floor arm, and the roster it would need forbids it

Key the selector by ReleaseIdentity, and make within-release quality scope structural

Regime mismatch is unanswerable, not satisfied by whatever was measured

A warm rate is unwritable, the population is release-grained, and the buy-nodes rule is gone

Memory fit is read off the running server, not multiplied out of an architecture constant

Move the serving context bump out of the model-authority PR

A runner buffer figure is not an OS resident set, so the selector stops subtracting one from the other

Join every evidence axis to one realization identity, and type what an attempt produced

Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority

Content-address the identity, refuse to generalize a failure downward, seal the population

An unanswerable identity comparison refuses; one eliminator per coproduct

Commits on Sep 2, 2026

An incomparable axis stalls only where the observation would have counted

Held-but-unalignable is not absent, on the other two axes either

wip: review fixes for byte carrier and coproduct folds

Merge main for the typed Ollama environment authority

wip: effective configuration replaces argv key; materiality by receipt

A launch bound is not an execution receipt, so the point is derived rather than authored

Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority

A parameter count carries its scale in the type, not in the reader's head

Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority

Merge remote-tracking branch 'origin/main' into session/eager-pike-541-model-authority