cron: the night-loop card keeps its law consts test-local (Refs #11836) by gHashTag · Pull Request #12374 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T09:32:27Z

The night-loop cron card (specs/crons/t27os-night-loop.t27) carried 48 top-level consts beyond the generator's set. Trinity's site generator (apps/website/scripts/agents-from-specs.mjs, the HOSTS/consts schema check) fails a specs/crons/ card on any unknown top-level constant, so trinity's next sync of the vendored corpus would have gone red on ~48 'unknown constant' lines and taken the site build down with it.

The fix follows the convention the merged sibling card set (specs/crons/t27os-repair-actor.t27, #12147): the generator's own 15 constants (CRON_REQUIRED + INTERVAL_MS + NOTE) stay top-level; every law string, verdict code and recorded prompt moves into the card's test blocks as test-local consts, and the functions read literals with the const name in a trailing comment. Each section says once, in its comment, which constants its tests carry.

Meaning identical, tests real (L4): the same 48 test blocks with the same asserts -- 48/48 pass, 0 fail, 0 vacuous (t27c test-report), and 48/48 again at seal time. The card's seal is recomputed; all five hashes MATCH. Verified against the generator that would have broken: with this card vendored, node scripts/agents-from-specs.mjs on trinity origin/main runs clean (0 problems; the launchd-host card passes HOSTS and the INTERVAL_MS rule).

Preflight is 7/9 on this branch: seal-coverage and seal-currency are RED on 8 seals this PR does not touch (GitDiff.json, git_GitDiff.json, JitSemantics.json, vm_JitSemantics.json, PackedVsa.json, vsa_PackedVsa.json, TriBuilder.json, pipeline_TriBuilder.json). Their specs moved on master today after their seals (specs/vm/jit_semantics.t27 changed 10-25 15:13, its seal last touched 10-06; same shape for vsa and builder), so the staleness exists at origin/master itself. This card's own seal verifies clean (t27c seal --verify: all hashes MATCH).

Refs #11836.

{
  "version": 1,
  "head_sha": "17a7e38574f56f0cf07c9e864ad9ab1dfe57e343",
  "summary": "The night-loop cron card moves its 48 extra top-level consts into test-local consts so trinity's site generator stops failing on the card, with meaning and tests identical",
  "tests": [
    {"command": "t27c test-report specs/crons/t27os-night-loop.t27", "result": "48/48 tests pass, 0 vacuous", "status": "passed", "evidence": "tests: 48, pass: 48, fail: 0; vacuous passes 0 of 48 (tri test on the branch worktree)"},
    {"command": "t27c seal --save + --verify specs/crons/t27os-night-loop.t27", "result": "all hashes MATCH", "status": "passed", "evidence": "gen_hash_rust: MATCH ... all hashes MATCH; tests 48/48 pass at seal time; spec_hash 71690c42... recomputed"},
    {"command": "trinity agents-from-specs.mjs with the card vendored", "result": "0 problems, card accepted", "status": "passed", "evidence": "node scripts/agents-from-specs.mjs on trinity origin/main with the fixed card vendored printed no problem lines; without the fix the same run printed 48 unknown-constant errors"},
    {"command": "git diff --numstat origin/master", "result": "one spec plus its seal only", "status": "passed", "evidence": "141 insertions 114 deletions across specs/crons/t27os-night-loop.t27 and .trinity/seals/crons_t27os-night-loop.json; test inventory diff against master is empty (same 48 test names)"},
    {"command": "tri preflight", "result": "7/9, both reds pre-exist on master", "status": "passed", "evidence": "seal-coverage and seal-currency RED on 8 unrelated seals (JitSemantics, PackedVsa, TriBuilder, GitDiff and twins) whose specs changed on master after their seals; this card's own seal verifies"}
  ],
  "tags": ["cron_card", "t27os", "specs_crons"],
  "blog": {
    "title": "The night-loop card stops carrying its law at top level",
    "summary": "A cron card that restated its law as 48 top-level constants was one trinity sync away from breaking the site build. The consts move into the tests that use them, which is where the sibling card already keeps them.",
    "outline": [
      "The generator's schema is the contract: a card publishes 15 fields and nothing else at top level, so a card that also carries its verdict codes as constants reads as a schema violation no matter how real the law is.",
      "The move is mechanical and the tests do not change: every assert keeps its name, the functions read literals with the name beside them, and each section's comment states the values once.",
      "48/48 tests pass before and after, which is the whole point: the card's meaning lives in its tests, and moving the constants between scopes does not move it."
    ]
  }
}

The trinity site generator (apps/website/scripts/agents-from-specs.mjs) fails a specs/crons/ card on any top-level const beyond its own CRON_REQUIRED + CRON_OPTIONAL set, and this card carried 48 extras beside the generator's 15 -- the next sync would have gone red on 'unknown constant'. The merged sibling card t27os-repair-actor (#12147) is the convention: law strings and verdict constants live as TEST-LOCAL consts, the functions read literals with the name in a trailing comment, and the generator's 15 stay top-level. Meaning identical: same 48 tests (48/48 pass, 0 vacuous), same asserts, same section comments, the const values restated once per section they left. The card's seal is recomputed (t27c seal --save, all hashes MATCH). Preflight 7/9 on this branch: seal-coverage and seal-currency are RED on 8 unrelated seals (GitDiff/vm_JitSemantics/vsa_PackedVsa/pipeline_TriBuilder and their twins) whose specs moved on master today after their seals -- stale at origin/master, touched by nothing here. This card's own seal verifies.

github-actions · 2026-10-25T10:10:38Z

PR Dashboard

Generated at: 2026-10-25 10:10:31 UTC

t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-25 | 34 failing / 38 total
lefthook: foreign-budget label waiver, fail-closed (Refs #11983) #12377 lefthook: foreign-budget label waiver, fail-closed (Refs #11983) | Created: 2026-10-25 | Updated: 2026-10-25 | 28 failing / 32 total
tri fleet: the live prober for the free-model fleet (Refs #12170) #12375 tri fleet: the live prober for the free-model fleet (Refs #12170) | Created: 2026-10-25 | Updated: 2026-10-25 | 27 failing / 34 total
cron: the night-loop card keeps its law consts test-local (Refs #11836) #12374 cron: the night-loop card keeps its law consts test-local (Refs #11836) | Created: 2026-10-25 | Updated: 2026-10-25 | 22 failing / 36 total
spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) #12373 spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 38 total
feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) #12364 feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) | Created: 2026-10-25 | Updated: 2026-10-25 | 10 failing / 47 total
test(analog): raw_writer mutation gaps E to J closed, gate passed, seal re-saved (Closes #12274) #12363 test(analog): raw_writer mutation gaps E to J closed, gate passed, seal re-saved (Closes #12274) | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 36 total
census: re-pin for t27os.yml, workflow files 67 -> 68 (Refs #11788) #12362 census: re-pin for t27os.yml, workflow files 67 -> 68 (Refs #11788) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 31 total
chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) #12357 chore(census): re-bless the workflow pins, 67 -> 68 files (Closes #12355) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 30 total
feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames #12356 feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 36 total
feat(tri): mutate first-pass clock rule as t27 policy, slice 1 (Closes #12345) #12346 feat(tri): mutate first-pass clock rule as t27 policy, slice 1 (Closes #12345) | Created: 2026-10-25 | Updated: 2026-10-25 | 26 failing / 35 total
test(analog): linear_zoh mutation gaps closed, gate result recorded (Closes #12276) #12342 test(analog): linear_zoh mutation gaps closed, gate result recorded (Closes #12276) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 37 total
spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) #12341 spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 37 total
fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) #12338 fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) | Created: 2026-10-25 | Updated: 2026-10-25 | 2 failing / 2 total
spec(t27f): petal N PULSE -- timeline, chart and badge from domain_pulse.t27 (Closes #12334, Refs #12173) #12337 spec(t27f): petal N PULSE -- timeline, chart and badge from domain_pulse.t27 (Closes #12334, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) #12333 spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) | Created: 2026-10-25 | Updated: 2026-10-25 | 33 failing / 36 total
spec(t27f): petal D HEALTH -- matrix, list and badge from dashboard.t27 (Closes #12322, Refs #12173) #12324 spec(t27f): petal D HEALTH -- matrix, list and badge from dashboard.t27 (Closes #12322, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 37 total
spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) #12308 spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 35 total
spec(t27os): receipt_name carries the lab.yml sha step -- a full input skips the lookup (Refs #11840) #12305 spec(t27os): receipt_name carries the lab.yml sha step -- a full input skips the lookup (Refs #11840) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 38 total
fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) #12304 fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) | Created: 2026-10-25 | Updated: 2026-10-25 | 11 failing / 41 total
docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) #12282 docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 30 total
spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) #12181 spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 45 total
bees README: the 2026-10-25 key and model probe matrix #12177 bees README: the 2026-10-25 key and model probe matrix | Created: 2026-10-25 | Updated: 2026-10-25 | 26 failing / 29 total
t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) #12172 t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 2 total
crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee #12169 crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 45 total
spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) #12167 spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) #12061 fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) | Created: 2026-10-24 | Updated: 2026-10-25 | 7 failing / 43 total
fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) #12060 fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) | Created: 2026-10-24 | Updated: 2026-10-25 | 7 failing / 44 total
T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) #12035 T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) | Created: 2026-10-24 | Updated: 2026-10-24 | 7 failing / 37 total
spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) #12025 spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) | Created: 2026-10-24 | Updated: 2026-10-24 | 5 failing / 40 total
t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) #12013 t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) | Created: 2026-10-24 | Updated: 2026-10-24 | 4 failing / 39 total
gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) #12004 gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) | Created: 2026-10-24 | Updated: 2026-10-24 | 8 failing / 51 total
spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) #11948 spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) | Created: 2026-10-24 | Updated: 2026-10-24 | 2 failing / 37 total
test(t27f): frame_render clears the raster before it blends (Refs #3) #11922 test(t27f): frame_render clears the raster before it blends (Refs #3) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 28 total
spec(crons): the lab.yml verdict step as t27 law (t27os#9) #11894 spec(crons): the lab.yml verdict step as t27 law (t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 8 failing / 33 total
spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) #11891 spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-25 | 28 failing / 34 total
queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
t27c test: execute assertions via zig test (Closes #11805) #11806 t27c test: execute assertions via zig test (Closes #11805) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 57 total
fpga: petal framebuffer rasteriser starter (M5, Closes #11802) #11803 fpga: petal framebuffer rasteriser starter (M5, Closes #11802) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) #11799 tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 41 total
gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-24 | 3 failing / 47 total
tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-24 | 6 failing / 40 total
t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total
dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-23 | 4 failing / 22 total
tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-23 | 14 failing / 36 total
gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-23 | 11 failing / 38 total
check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-23 | 10 failing / 38 total
spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-23 | 6 failing / 23 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	37
PRs with All Checks Green	13
READY	5
FAILING	37
PENDING	0
NO CHECKS YET	0

These columns do not partition: 5 + 37 + 0 + 0 = 42, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=75249fe1efad != 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).

tri-claw · 2026-10-25T10:31:59Z

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at 17a7e38. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

specs/crons/t27os-night-loop.t27: parses and typechecks.

Read by the model

The night-loop cron card moves its 48 extra top-level constants into test-local consts so Trinity's site generator (agents-from-specs.mjs) stops rejecting the card. The generator only allows its own 15 constants at top level in specs/crons/ cards; the sibling repair-actor card already follows this pattern.

Worth a look

specs/crons/t27os-night-loop.t27:76-80 (ui_health): Magic numbers 1, 3, 2, 4, 0 replace named verdict constants with trailing comments. If a test updates its local const but the function literal isn't changed, the test still passes (it uses its own const) while the function behavior diverges.
specs/crons/t27os-night-loop.t27:83-85 (ui_is_finding): Same pattern — literal 2, 3, 4 with comments. A mismatch between function literals and test consts would not be caught by the existing tests.
specs/crons/t27os-night-loop.t27:98-101 (ui_down_action): Literals 0, 1, 2 for repair actions. The tests define UI_ACT_REBUILD/REQUEST/HOLD locally and assert against them, but the function body is now the only place the real values live.
specs/crons/t27os-night-loop.t27:230-235 (sweep_due, sweep_remove): SWEEP_EVERY 6 and SWEEP_MAX_REMOVE 8 inlined. The test the_sweep_names_its_law_and_its_beat defines these locally and checks them, but the functions don't reference those consts.
specs/crons/t27os-night-loop.t27:598-610 (prompt_drift, first_missing_step): Hardcoded 9 (STEP_COUNT) and "publish.txt" (UI_FIRST_SOURCE) in loop conditions and contains check. Tests define these as local consts and verify behavior, but the function bodies are now the source of truth.

_{Read: 2 files, +141 -114, the whole diff. Head 17a7e38. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}

gHashTag merged commit 7ebb55c into master Oct 25, 2026
33 of 37 checks passed

gHashTag deleted the feat/night-loop-card-consts branch October 26, 2026 03:41

gHashTag mentioned this pull request Oct 26, 2026

spec-guards red on every PR: ten stale gen-hash seals; nine resealed, wasm.t27 refused (WOP_AND) by the gate itself #12667

Closed

Navigation Menu

Repository navigation

cron: the night-loop card keeps its law consts test-local (Refs #11836) - #12374

cron: the night-loop card keeps its law consts test-local (Refs #11836)#12374
gHashTag merged 1 commit into
masterfrom
feat/night-loop-card-consts

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

tri-claw Bot commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

tri-claw Bot commented Oct 25, 2026

Summary by t27-bees

Checked by the t27 compiler

Read by the model

Worth a look

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant