You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
ci: master red again -- 8 stale corpus-ledger rows after #10101/#10095, census not re-pinned after #10087 #10171
docs/reports/suite_expectations.json (corpus expected-failure ledger) and tools/census/{quiet,shell}.txt (census pins). Also specs/t27mcp/examples.t27, for its duplicate helpers. No workflow change, no compiler change.
Scenarios
Master 45decd5 is red again on two non-required checks, so every open PR inherits them:
examples.t27 imports t27mcp::check_hints instead of carrying its own copies.
Drop the 8 fixed rows. Re-pin the 3 moved discard counts. Lower the cap to the count, 81 -> 73. Record why in _why_entries_fell / _why_entries_rose, keeping the existing history.
Re-pin the census with tri census pin --bless and say which numbers moved.
Criteria
t27c suite --ratchet --corpus-only reports no unexpected pass and no discard drift.
tri census pin --gate passes.
CI Corpus ratchet and cli-tri are green on the PR.
Closed by the issue-shape gate (specs/policy/issue_shape.t27, #7498): an issue must have the template's sections. Edit the body; an edit that passes reopens it.
missing: ## Requirements -- numbered obligations, FR-001: ... MUST ...
missing: ## Success Criteria -- an outcome a machine can settle: a number with a unit, a backticked file, exit 0, or a backticked command
Activity
spec(t27mcp): examples.t27 uses check_hints' find/has instead of a se…
github-actions commentedon Oct 18, 2026
Closed by the issue-shape gate (specs/policy/issue_shape.t27, #7498): an issue must have the template's sections. Edit the body; an edit that passes reopens it.
FR-001: ... MUST ...exit 0, or a backticked commandfix(ci): master green again -- stale corpus-ledger rows, census re-pi…