Skip to content

Add VOIDSTRIKE verification result contract - #4

Draft
Manne990 wants to merge 55 commits into
mainfrom
codex/citizen-07/issue-2-voidstrike-verification
Draft

Manne990 wants to merge 55 commits into
mainfrom
codex/citizen-07/issue-2-voidstrike-verification

Conversation

@Manne990

Copy link
Copy Markdown
Owner

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 --check

Follow-up on this branch: FS-UAE runner, isolated artifacts, visual capture, and release commands after the core owner lands the agreed harness interface.

@Manne990

Copy link
Copy Markdown
Owner Author

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: python3 tests/emulator_visual_test.py (5 tests), python3 -m py_compile tools/emulator/voidstrike_result.py tools/emulator/run_voidstrike.py, and git diff --check.

@Manne990

Copy link
Copy Markdown
Owner Author

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 build/emulator-results/voidstrike/debug/a1200/victory/1784377582592484000-b7e8fcd0b8b9/; at this update it has only phase=title and no terminal result. Earlier d205 runtime evidence remains failure-only (game-over and debug performance rejection). The locally rebuilt 506f artifact hash differed (0fb862c4…), so artifact identities are recorded separately and must not be conflated.

@Manne990
Manne990 marked this pull request as draft July 18, 2026 12:28
@Manne990

Copy link
Copy Markdown
Owner Author

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 phase=title; FS-UAE logged SDL_QUIT. Its generated request metadata names local integration commit ee62fca…, not core source head 506f614…, so it cannot support a core-head identity claim and would fail source-identity validation even if a result subsequently appeared. The directory is preserved as failure-only evidence.

@Manne990

Copy link
Copy Markdown
Owner Author

Clean identity rerun: the b7e8fcd0 artifact was rerun with runner --source-commit 506f614…, so 1784377719413260000-b7e8fcd0b8b9/ana_voidstrike_request.txt records the intended source, ADF SHA, scenario, and build ID. It still ended at phase=title with no final result. Classification remains rejected partial evidence; no terminal state, validator pass, or FPS measurement is available.

@Manne990

Copy link
Copy Markdown
Owner Author

Correction to the c94 evidence interpretation: ana_voidstrike_phase.txt is written as title only during initialization and is not updated by start_game(). Therefore its retained phase=title value is stale-by-design and does not prove that the game remained on title. The c94 run proves exact ADF/source launch and absence of a terminal result within its 60-second window only. It remains rejected partial evidence; no terminal, performance, or title-progression conclusion is asserted.

Manne990 added 28 commits July 18, 2026 15:00
@Manne990
Manne990 force-pushed the codex/citizen-07/issue-2-voidstrike-verification branch from 593c4a6 to a476e5b Compare July 18, 2026 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

VOIDSTRIKE: Deliver autonomous verification and Build Week readiness

1 participant