Skip to content

spec(t27os): the night tick's take rule as law -- lanes, claim-refs win, Pareto score (Closes #11835) - #11839

Merged
gHashTag merged 1 commit into
masterfrom
spec/night-take-11835
Oct 23, 2026
Merged

gHashTag merged 1 commit into
masterfrom
spec/night-take-11835

Conversation

@gHashTag

Copy link
Copy Markdown
Collaborator

The night loop's take rule, ported from tick-prompt prose to law by a night tick itself (autonomous work, landed by the day session): the lane machine over state.json (open/done/blocked/inprogress), claim refs stronger than the local file, Pareto scoring with unestimated = 0. 6/6 both compilers.

…in, Pareto score (Closes #11835)

The night loop's take rule lived as prose in the tick prompt; a night
tick ported it here (its own work, typecheck-OK, landed by the day
session): lanes of state.json (open/done/blocked/inprogress), a claim
ref held by someone else wins over the local file (the one fact two
machines both read), and among takeable tasks the top Pareto score
wins -- impact * 1000 / effort, an unestimated task scores 0 and is
never the top pick. 6/6 under t27c test-report and t27b.
@gHashTag
gHashTag enabled auto-merge October 23, 2026 15:18
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-23 15:18:50 UTC

Summary

Status Count
Total Open PRs 28
PRs with Failing Checks 24
PRs with All Checks Green 4
READY 3
FAILING 24
PENDING 0
NO CHECKS YET 0

These columns do not partition: 3 + 24 + 0 + 0 = 27, and there are 28 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=5aec047d42ec != 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).

@gHashTag
gHashTag merged commit b065be2 into master Oct 23, 2026
25 of 29 checks passed
@gHashTag
gHashTag deleted the spec/night-take-11835 branch October 26, 2026 03:46
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