Skip to content

spec(t27os): router cache law to master — session pin, usage, accumulator, attempt reset - #13147

Merged
gHashTag merged 1 commit into
masterfrom
slice4/router-cache-land
Nov 2, 2026
Merged

gHashTag merged 1 commit into
masterfrom
slice4/router-cache-land

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 2, 2026

Copy link
Copy Markdown
Collaborator

What

Lands the verified router pair onto master (Refs #13124, closed):

  • router_cache.t27 — session pin chain, per-protocol usage extraction, ledger line emitter, cache classes. 17/17 under t27b.
  • router_stream.t27 — stream accumulator (cumulative merge), attempt isolation, and rs_begin_attempt (slice4 item 10): the sticky route never survives the attempt reset — glue zeroes accumulator + pin chain together. 9/9 under t27b.

Completes the slice4 dependency: rc_ledger_line.t27 (#13140, #13145) frozen format now has its emitter and reset sibling in master.

Verification

Both specs pass under t27b standalone (17/17, 9/9). The ledger names rc_ledger_line.t27; router_cache/router_stream entries follow in the steward's ledger pass (both compilers pass them).

…sage, stream accumulator, attempt reset (Refs #13124)

Lands the verified router pair onto master (refs the closed #13124):
- router_cache.t27: session pin chain (pin/demote/promote), per-protocol
  usage extraction (Anthropic/OpenAI/none), the ledger line emitter,
  cache classes. 17/17 under t27b.
- router_stream.t27: the stream accumulator with cumulative merge
  semantics, attempt isolation, and rs_begin_attempt (slice4 item 10):
  the sticky route never survives the attempt reset -- the glue call
  zeroes accumulator and pin chain together, so no route leaks across
  attempts. 9/9 under t27b (was 8/8).
Also completes the slice4 contract dependency: rc_ledger_line.t27's
frozen format now has its emitter and reset sibling in master.
@gHashTag
gHashTag merged commit 3f94ba4 into master Nov 2, 2026
33 of 36 checks passed
@gHashTag
gHashTag deleted the slice4/router-cache-land branch November 2, 2026 18:23
@github-actions

github-actions Bot commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-02 18:26:14 UTC

Summary

Status Count
Total Open PRs 49
PRs with Failing Checks 47
PRs with All Checks Green 2
READY 2
FAILING 47
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=e75b498e5e79 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant