[gHashTag]

The missing M6 piece between export_video.t27's records and the mp4: a pure rasterizer for the display list ops into PPM frames at the export presets (1920x1080 / 1080x1920), plus the P6 writer -- ffmpeg consumes PPM sequences directly, so the lab driver loops frame_bytes through ffmpeg with no other new plumbing.

• 9/9 tests, 0 FAIL, 0 vacuous; 2 invariants proved; 267 runtime asserts. Sealed, all hashes MATCH. The dupe corpus went DOWN one (reuses t27os editors' pub same_bytes instead of a 23rd private copy).
• Renders exactly: fill_rect, alpha (Q8, the recorded rule), translate groups (composed, real restore) -- and REFUSES stroke/path/text/image/clip by name with the buffer untouched (a dry validation pass runs before any paint; export_video's own fixture stream refuses E_UNSUPPORTED -- its text/face are named, not hidden; the pixel projection of the same 900-frame motion law is what frame_bytes renders, test-enforced split).
• Determinism: frame 0 vs 450 differ; two renders of the same frame are byte-identical AND sha256-equal (the work_graph digest discipline).
• Reuses export_video::frame_stream -- no second flattener (FR-001 of spec(t27f): export_video -- same display list to MP4 on the lab #10265).

NOT CLAIMED: stroke/text/image/clip rendering, scale (needs a display_list encoding change), PNG, the ffmpeg invocation and the MP4 -- the lab loops frame_bytes at the presets for k in 0..899; LAB_RUN_DONE stays false until that dispatch.

phi^2 + 1/phi^2 = 3 | TRINITY

[github-actions]

PR Dashboard

Generated at: 2026-10-23 13:31:46 UTC

• spec(t27f): frame_render -- display list ops to PPM frames, the M6 render harness (refs #11781, #10265) #11816 spec(t27f): frame_render -- display list ops to PPM frames, the M6 render harness (refs #11781, #10265) | Created: 2026-10-23 | Updated: 2026-10-23 | 19 failing / 28 total
• t27b: glass_window.t27 lowers -- rem_pio2f pointer call fixed, refusals name both types, @sin/@cos f32 wired (Closes #11788) #11813 t27b: glass_window.t27 lowers -- rem_pio2f pointer call fixed, refusals name both types, @sin/@cos f32 wired (Closes #11788) | Created: 2026-10-23 | Updated: 2026-10-23 | 10 failing / 36 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-23 | 15 failing / 36 total
• t27c coverage: normalise qualified calls (Closes #11808) #11809 t27c coverage: normalise qualified calls (Closes #11808) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 7 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-23 | 0 failing / 7 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-23 | 14 failing / 37 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-23 | 14 failing / 37 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-23 | 10 failing / 33 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-23 | 12 failing / 40 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-23 | 9 failing / 32 total
• spec(automation): service_ledger v3 -- one door settle_service for the money path #11791 spec(automation): service_ledger v3 -- one door settle_service for the money path | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 29 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
• gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-23 | 15 failing / 38 total
• A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-23 | 12 failing / 38 total
• bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-23 | 9 failing / 29 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-23 | 10 failing / 29 total
• Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-23 | 8 failing / 29 total
• Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-23 | 17 failing / 69 total
• Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
• Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
• Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-23 | 17 failing / 69 total
• Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-23 | 17 failing / 69 total

Summary

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

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).