46 lines
2.9 KiB
Markdown
46 lines
2.9 KiB
Markdown
# Closed native transition lifecycle captures
|
|
|
|
Keep this directory beside `../checks/`. Run `python verify.py` with Python 3.10
|
|
or newer. Verification requires the exact pinned `../checks/evidence.zip` and
|
|
these native package files, uses only the standard library, and executes no
|
|
archived helper, application, checker, Cargo command or network request.
|
|
`prepare.py [CHECKOUT]` rebuilds this archive from the named closed originals.
|
|
|
|
Trials lifecycle-2/3 capture OA deletion, recreation, first relink, a separate
|
|
reopening and no-op check. Trials lifecycle-4/5 capture reverse SA deletion,
|
|
Undo/Redo, recreation, first relink, reopening and no-op. All four GUI receipts
|
|
close successfully with empty stdout/stderr and unchanged fixture/binary pins.
|
|
Trial1 is excluded entirely because it lacked a closing process receipt. This
|
|
package does not turn that interrupted history into successful evidence.
|
|
|
|
Trials 2/3 use footer-windows-build-2; trials 4/5 use footer-windows-build-3 with
|
|
the refined "reviewed items" footer. Snapshot checks use the corrected producer
|
|
build2. Exact build receipts, helpers, artifact records and complete source
|
|
capsules are read from the pinned sibling checks archive; source proof is not
|
|
self-contained in the native archive alone. Runtime binaries are excluded.
|
|
|
|
Every original frame, adjacent metadata, trial file, accepted identity receipt,
|
|
saved source snapshot and helper is retained without editing. The launch-pinned
|
|
captureHelper refers to the corresponding capture-lifecycle-N.js source. Each
|
|
trial's separately recorded capture-function.js is the serialized function used
|
|
in the persistent UI session; it is different bytes and was not that launch pin.
|
|
The files document the distinction rather than asserting byte equivalence or
|
|
authenticated execution. Frame labels/timestamps/application paths record states,
|
|
not a complete action invocation log or independent PID attestation. Image/window
|
|
dimensions vary; these captures are not all minimum-window checks.
|
|
|
|
The verifier checks exact safe archive membership, hashes, linked build/source
|
|
capsules, trial/helper/stream relationships, frame membership and timestamps,
|
|
snapshot helper and corrected-checker provenance, and the recorded complete
|
|
Project comparison results. Accepted first-relink IDs match later reopen/no-op
|
|
receipts in each direction, and both later saved source bundles are byte-identical
|
|
to their first-relink bundle. The producer's full-model result is recorded evidence;
|
|
the portable verifier does not rerun its Rust comparisons or derive model equality
|
|
from screenshots. Snapshot receipts record start time but no completion timestamp;
|
|
only their start can be located in the GUI process interval.
|
|
|
|
These finite workflows do not establish exhaustive usability/accessibility,
|
|
performance, deployment readiness, or behavior on another platform. No credentials,
|
|
whole user profile, or runtime binaries are packaged. Outer text is UTF-8 LF;
|
|
archived raw bytes and historical local-path strings remain unchanged.
|