[isomorphisms]

Mathieu's offline capture boundary now uses checked Ithon and the existing shared planned-movie system. All newly maintained capture source/packages/tests are .pi; the three first-party .py files are removed. Typed validation retains the compatibility manifest, event order, bijections, word composition, frame hashes and atomic output replacement.

The migration fixed a real defect: FFmpeg recovery could conceal corrupt compressed PNG input. Strict source decoding plus the actual source decoded-frame count now rejects that input before Kitchen encoding. Previous public output survives failures. The Kitchen source revision is checked, rather than merely trusting KITCHEN_ROOT.

capture/shared.pi invokes the pinned registered FP wiggle-video-01 operation. It reuses the native Mathieu engine/renderer/session, independent AI-CI verification and the canonical Kitchen encoder. It refuses wrong FP sources and reused/interrupted output. No private renderer, encoder or competing group engine is introduced. The shared FP controller and the Ithon host substrate remain explicit inherited runtime boundaries; their source is not copied or newly generated in Mathieu.

Published source: 338e1a54f656834d10987d5095621a50a678222d.
Exact-head hosted Ithon verification: PASS, with the exact source-head checkout witnessed in the job log. All 16 media cases execute with real Kitchen/FFmpeg output and complete decoding; no dependency silently skips a test. The suite verifies the actual imported exporter source hash in Ithon's checking receipt. Shared source/reused-output refusals also pass.

Actual shared production through this new entrypoint completed all five registered stages in run wiggle-video-01-20261022T015847.849611Z: timeline tests, real production, independent verification, adversarial cases and sealing. It generated all four configured examples; Mathieu used the genuine 18-second grid → rosette → octad → ATLAS action film at 288×288 for this qualification run. No verifier assertion was weakened. The initial 256×144 attempt was rejected by the existing clear-viewport assertion and is retained as failed evidence, not acceptance.

capture_source_head       338e1a54f656834d10987d5095621a50a678222d
shared_entry_sha256       7813fd7d8efad5689727d596e74affbf607bedb857934a140d78c178752ad660
export_source_sha256      001eb07a178a7bc3676bff8292d84c3d0f560a8c26c1391da5eb7aa58583fd64
FP_revision               85953de90fecdc6caa8c0b50a3900390cf2c1e20
independent_AI_CI          20da5c7581e66c6f9bfed2a4ce5539077172fc9e
native_Mathieu_source     e6afdba33b6f1e10be43944bbe604dcc2c21f09d
Kitchen_revision          739faa3068983531a04db33b3ecc43573272368e
Ithon_revision            74ab6d6044b07b76a910978437a34a6b5ac6acda
registered_stages         5/5 PASS
offline_examples          PASS
Mathieu_MP4_sha256        f9471bdd1fd949d901db2ebe4e8f358477198fd5d6e5b13972baaf2fddaf8ca7
physical_device           NOT_RUN
protected_service         NOT_ESTABLISHED

This merges the implemented offline command-line capture path. It does not claim application export/share UI, on-device recording/cancellation, the 24 Griess book operations, current APK/update acceptance, or protected-service deployment. Those retain their own obligations; they do not redefine this scoped offline path.

Assignments and acceptance: isomorphisms/flexible-pipes#243 ; isomorphisms/ai-ci#312 . Shared route: isomorphisms/flexible-pipes#250 . Generated-Python regression notes: isomorphisms/ai-ci#320 , isomorphisms/flexible-pipes#257 , isomorphisms/kitchen#77 .

[isomorphisms]

Scope correction (user, 2026-10-21): Movie generation is one cross-project pipeline, not a separate Mathieu video feature or a reason to proliferate Mathieu PRs. Authoritative shared SUN assignment: FP #250 — WIGGLE-VIDEO-01. Preserve worthwhile manifest/permutation/frame validation from this branch, integrate generic verification at the shared boundary and Mathieu-specific state replay into the existing Mathieu app PR #3 as appropriate. Do not merge this draft as an independent Mathieu movie subsystem; retire it as superseded once those pieces and their evidence have been carried forward. Kitchen remains the only ordinary stills→MP4 encoder. No acceptance or merge claim is made by this comment.