Prove PoB Codes feed integration with existing build tests - #13
Closed
AdamZ-8113 wants to merge 1 commit into
Closed
AdamZ-8113 wants to merge 1 commit into
AdamZ-8113 wants to merge 1 commit into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This adds a small, opt-in proof that a PoB Codes API batch can feed the existing build generator and comparator before changing the CI architecture. It targets
tests-branchindependently of #12; that broader proposal stays untouched.The diff changes five files (+279/-2). Only one existing file changes:
GenerateBuilds.luaaccepts an optionalBUILDINPUTDIR, checks failed imports/incomplete calculations in that mode, and otherwise keeps its existing link/fixture behavior.BuildDiff.sh,DiffOutput.lua, Docker Compose, production runtime code, and the existing workflows are unchanged.FetchTestBuilds.pyfetches one public batch (or reads saved JSON), validates each code/hash and bounded XML, and stages decoded inputs into a new directory only after the whole batch passes.DiffOutput.luato prove matching results and detection of one deliberately changed saved stat. An unsupported target must fail without a saved build.spec/POB_CODES_FEED_PROOF.mdcontains reproduction commands and the exact limits of the proof.Validation:
Feed build has no calculated output, before writing a saved build. This exposes the runtime compatibility gap; it is not presented as successful calculation of modern builds.git diff --checkpassed.This PR adds no FIFO, monthly scheduling, persistent corpus, output cache, reporting service, or replacement runner. Those can be evaluated separately after agreeing on this integration boundary. The public API is already deployed and needs no API credential. A supported runtime is still needed for modern-build calculations; default-branch workflow registration is needed for manual GitHub dispatch, while the documented local commands work immediately.