Conversation
|
Follow-up d285a65 adds the isolated FS-UAE ADF runner and folds contract coverage into the existing host test entry point. It deliberately removes the standalone test hook from the bundled SDK Makefile, because the SDK snapshot does not include repository test files; this restores snapshot consistency. Verified locally: |
|
Evidence status update: this PR remains draft. Real FS-UAE acceptance is not complete. The requested exact transient harness artifact b7e8fcd0… was copied into an isolated run at |
|
Contract classification of the b7e8fcd0 transient-artifact run: rejected partial evidence. The mounted copy SHA matches b7e8fcd0…, but it has no final result file and only |
|
Clean identity rerun: the b7e8fcd0 artifact was rerun with runner |
|
Correction to the c94 evidence interpretation: |
593c4a6 to
a476e5b
Compare
Closes #2
Adds the versioned machine-readable A1200 result contract and strict validator needed to reject stale ADFs, partial runs, scenario mismatches, invariant failures, missing input evidence, and release-floor performance failures.
Current evidence:
make test(host suite plus 4 VOIDSTRIKE result-contract tests)git diff --checkFollow-up on this branch: FS-UAE runner, isolated artifacts, visual capture, and release commands after the core owner lands the agreed harness interface.