Repository navigation
fix: close post-merge Codex provenance, recovery and OCI review debt #71
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from all commits
Commits
Show all changes
147 commits
Select commit
Hold shift + click to select a range
4d41d4c
fix(Codex): export only frozen bridge sources and attest executed ove…
HMarcusWH 2746853
fix(ONLINE-4A): prove state-fault effects, complete observation windo…
HMarcusWH b72bb91
fix(ONLINE-4B): enforce authoritative HTTP chess, durable intents and…
HMarcusWH 646b64d
fix(RELEASE-1): preserve smoke exceptions, authenticate bridge lock a…
HMarcusWH 72d881a
fix(RELEASE-1): bind OCI attestations and verify expanded rootfs diff…
HMarcusWH c8392e3
test(Codex): add destructive faults for recovery and release admission
HMarcusWH c6f384f
test(RELEASE-1): independently verify OCI layers and attestation subj…
HMarcusWH 3204997
test(Codex): prove smoke exception, workflow and bridge-source bounda…
HMarcusWH 6b7a043
ci(Codex): retain independent verdicts after failed fault experiments…
HMarcusWH 27bcbe1
test(ONLINE-4A): accept empty chunk line while proving fenced HTTP re…
HMarcusWH da7b516
docs(Codex): ledger all 18 late findings and closure acceptance rules
HMarcusWH e23461d
fix(source-export): copy exact Git blob bytes, not filtered checkout …
HMarcusWH ba4d282
test(source-export): prove CRLF-smudged checkout exports canonical in…
HMarcusWH 9f160cc
fix(RELEASE-1): name offline OCI export and retain bounded attestatio…
HMarcusWH 69001b2
fix(RELEASE-1): require application-manifest attestation subjects and…
HMarcusWH a4d6102
test(RELEASE-1): reject layer-only subjects, attestation metadata and…
HMarcusWH 2b8da7a
fix(RELEASE-1): preserve request-ID-correlated smoke trace and reject…
HMarcusWH f9ff1f0
feat(RELEASE-1): independently reconstruct every packaged HTTP chess …
HMarcusWH d9b7b6c
fix(RELEASE-1): require independent packaged-chess verification befor…
HMarcusWH 2235270
test(RELEASE-1): destructive full-game, lost-ACK, 429 and illegal-HTT…
HMarcusWH 03a19e8
test(RELEASE-1): verify source-correlated HTTP IDs and OCI export dia…
HMarcusWH 85d5598
fix(RELEASE-1): bind aggregate source claims to raw OCI archive SHA-256
HMarcusWH cf57ee2
docs(RELEASE-1): map Codex follow-up repairs to strict offline eviden…
HMarcusWH 0507988
test(RELEASE-1): prove late successful-game exception is not suppress…
HMarcusWH 60b9f4e
fix(RELEASE-1): verify exact OCI export descriptor graph and SLSA ide…
HMarcusWH c79519a
test(RELEASE-1): exercise nested BuildKit indexes, descriptor sizes a…
HMarcusWH 10aeea1
fix(RELEASE-1): verify persisted SQLite and request-bound lost-ACK ev…
HMarcusWH 210674e
test(RELEASE-1): correlate actual lost-ACK and unrelated responses
HMarcusWH 07f3276
test(RELEASE-1): qualify actual SQLite snapshots, live WAL and destru…
HMarcusWH 799723a
docs(RELEASE-1): record six Codex repairs and correct size-falsifier …
HMarcusWH d75f10e
fix(RELEASE-1): reject uncorrelated HTTP terminal traces and invalid …
HMarcusWH 36d6422
fix(RELEASE-1): bind OCI application platform and attestation subject…
HMarcusWH 511d101
fix(RELEASE-1): require move-endpoint unknown ACK for R02 recovery
HMarcusWH 5d84438
fix(RELEASE-1): require client-observed 429 response and persistent c…
HMarcusWH c844697
fix(RELEASE-1): bound signed Ubuntu snapshot retries and falsify ille…
HMarcusWH 44b6b29
docs(RELEASE-1): record four Codex P2 closures and bound diagnostic e…
HMarcusWH 4cab42a
test(RELEASE-1): inspect active Docker instructions and fail closed o…
HMarcusWH f0f6421
fix(RELEASE-1): validate stopped SQLite and WAL via private read-only…
HMarcusWH a651c1f
fix(RELEASE-1): verify nested OCI platform chain and full SPDX docume…
HMarcusWH 11b4c6d
fix(RELEASE-1): bind R10 finite cooldown to durable event and guard c…
HMarcusWH ec66042
docs(RELEASE-1): record WAL-safe host and P2 evidence requirements
HMarcusWH 55d458c
test(RELEASE-1): falsify cooldown bounds even with matching durable e…
HMarcusWH aaa63f7
test(RELEASE-1): accept precise SPDX refusal diagnostic in malformed-…
HMarcusWH 56b4736
fix(RELEASE-1): validate SPDX package/file schemas, namespace and saf…
HMarcusWH ff26032
fix(RELEASE-1): enforce OCI platform requirements and embedded docume…
HMarcusWH d975462
fix(RELEASE-1): anchor R10 supervisor and verifier to completed targe…
HMarcusWH c845a71
build(RELEASE-1): pin SPDX scanner OCI index and minimize retained me…
HMarcusWH e90fc93
docs(RELEASE-1): record final P2 repairs, source boundaries and reten…
HMarcusWH e66330c
fix(RELEASE-1): validate SPDX locations and canonical versioned check…
HMarcusWH f5aa02e
fix(RELEASE-1): bind OCI config platform requirements to selected run…
HMarcusWH dbae085
fix(RELEASE-1): bound signed pinned-snapshot APT acquisition and fals…
HMarcusWH 0b4858e
test(RELEASE-1): preflight exact Ubuntu snapshot before costly builds
HMarcusWH ac877c7
fix(RELEASE-1): require durable SQLite and precise downstream HTTP/OC…
HMarcusWH 900c876
fix(RELEASE-1): sanitize OCI diagnostic subjects and annotations
HMarcusWH 39bb446
test(RELEASE-1): independently qualify pinned SBOM scanner before eng…
HMarcusWH f2e067e
docs(RELEASE-1): account for upstream/downstream validation, scanner …
HMarcusWH e2a55d9
fix(RELEASE-1): bound complete signed snapshot preflight and report f…
HMarcusWH c126193
fix(RELEASE-1): retry APT only when every acquisition failure is tran…
HMarcusWH 364b6f2
fix(RELEASE-1): share exact GET/POST request admission between eviden…
HMarcusWH fda6ecd
fix(ONLINE-4): tie actual move URL to canonical traced UCI across v1/v2
HMarcusWH 396df13
fix(RELEASE-1): validate SPDX percent encoding and URI authority befo…
HMarcusWH 442ea6b
fix(RELEASE-1): allowlist retained OCI statement strings and failure …
HMarcusWH a471677
docs(RELEASE-1): reconcile latest source-linked P2 fixes and CI stop …
HMarcusWH 43d76fe
test(RELEASE-1): align retry and rejection assertions with strict sha…
HMarcusWH 8d4a378
fix(RELEASE-1): apply strict shared URI grammar to SPDX namespace and…
HMarcusWH c1d528f
fix(RELEASE-1): preserve canonical full HTTP request-target semantics…
HMarcusWH 3ce1eb3
fix(ONLINE-4A): bind all move POST audit records to request-correlate…
HMarcusWH e218def
fix(RELEASE-1): handle malformed OCI diagnostic objects without leaki…
HMarcusWH c337268
fix(RELEASE-1): bind OCI digest to same verified inode and refuse arc…
HMarcusWH 4826ad0
fix(RELEASE-1): classify contextual HTTP status without mistaking HTT…
HMarcusWH 0bebecc
test(RELEASE-1): harden URI controls and real request-correlation fix…
HMarcusWH d31b46f
docs(RELEASE-1): reconcile six reviewed evidence boundaries and final…
HMarcusWH 66e56b8
fix(RELEASE-1): retain valid singleton in-toto statements in safe OCI…
HMarcusWH 22c75d9
fix(RELEASE-1): load source-attested HTTP policy by file in standalon…
HMarcusWH 1c778b7
fix(ONLINE-4): attest executable HTTP request-target policy in both e…
HMarcusWH deddc4e
fix(ONLINE-4): attest original wire request targets before HTTP parse…
HMarcusWH 2f1f97b
fix(RELEASE-1): reject explicitly null in-toto statement wrappers
HMarcusWH 600c214
fix(RELEASE-1): require RFC3986 ASCII URI grammar for SPDX and SLSA i…
HMarcusWH 1e4ebbf
fix(RELEASE-1): preserve literal RFC3986 reserved delimiters in stric…
HMarcusWH 101431f
fix(ONLINE-4A): replay every HTTP move at receipt ply and classify pr…
HMarcusWH ad93481
test(ONLINE-4B): bind every guarded move request ID to server trace a…
HMarcusWH 64b6c15
docs(RELEASE-1): reconcile second Codex wave, negative tests and exac…
HMarcusWH 376b4c3
test(RELEASE-1): reproduce standalone CLI without masking user-site d…
HMarcusWH b4791ca
fix(RELEASE-1): align scanner-only in-toto wrapper validation with st…
HMarcusWH 4153243
docs(RELEASE-1): align scanner preflight with strict in-toto wrapper …
HMarcusWH 6a9f8e7
fix(ONLINE-4A): distinguish unsafe legal retry from invalid server co…
HMarcusWH c437a61
fix(ONLINE-4B): independently validate original request targets befor…
HMarcusWH 9249b38
fix(RELEASE-1): validate RFC3986 URI path query fragment components s…
HMarcusWH 66a9563
fix(RELEASE-1): validate present SLSA v1/v0.2 optional fields by sche…
HMarcusWH 565787b
fix(ONLINE-4A): classify noncanonical raw HTTP request targets as uns…
HMarcusWH 32b45ba
docs(ONLINE-4 RELEASE-1): reconcile new review and genuine R01 unsafe…
HMarcusWH 37fdf5e
feat(ASSURANCE): define claim contract and enforce transitive source …
HMarcusWH 4ceda5f
feat(ASSURANCE): enforce scenario-bound HTTP response semantics in re…
HMarcusWH 2f98cb0
fix(ASSURANCE): bind committed chess actor to turn and reject unsuppo…
HMarcusWH b334a07
fix(ASSURANCE): enforce in-toto statement, ResourceDescriptor, time a…
HMarcusWH 697dcf0
feat(ASSURANCE): centralize bounded safe serialization for retained q…
HMarcusWH def5054
fix(ASSURANCE): close safe serializer dependencies and test nested re…
HMarcusWH 75a44ce
feat(ASSURANCE): enforce claim dependency implications and prevent fa…
HMarcusWH e6822d6
test(ASSURANCE): falsify source closure, report semantics and release…
HMarcusWH fa8f457
fix(ASSURANCE): retain synthetic hyphenated case keys in safe reports
HMarcusWH 72a2c5e
fix(ASSURANCE): repair RFC3986 IPvFuture regex and preserve valid URI…
HMarcusWH 8a6b422
test(ASSURANCE): expect redacted invalid UCI in retained unsafe evidence
HMarcusWH d4551d3
test(ASSURANCE): cover mutated Git sources, unknown in-toto siblings …
HMarcusWH e42a141
fix(ASSURANCE): close dynamic input inventory and trigger recovery CI…
HMarcusWH 3aefec4
fix(RELEASE-1): support RFC3986 opaque pkg URIs in SLSA ResourceDescr…
HMarcusWH 7b98898
fix(ASSURANCE): correlate observed move statuses with scenario witnesses
HMarcusWH 8927e55
fix(ASSURANCE): enforce OCI archive, layer, SPDX and SLSA prerequisit…
HMarcusWH 22e06d5
fix(ASSURANCE): use fixed safe-report enums rather than string-shape …
HMarcusWH 6e4b936
fix(RELEASE-1): classify standard transient APT install summary witho…
HMarcusWH 3643653
fix(RELEASE-1): validate mandatory SPDX copyright and conditional pac…
HMarcusWH 1bfec6d
test(ASSURANCE): reject fault-targeted HTTP 200 overrides while prese…
HMarcusWH 39252ca
fix(RELEASE-1): validate every scanner in-toto subject and predicate,…
HMarcusWH e5bcee3
docs(ASSURANCE): reconcile nested Codex P1/P2 closure and real BuildK…
HMarcusWH 887acbb
test(ASSURANCE): target image proof graph and distinguish APT log tex…
HMarcusWH 75f0a5c
fix(ASSURANCE): require whole approved paths at audit boundaries
HMarcusWH 9d8dc3a
test(ASSURANCE): falsify malformed path publication at ingress and re…
HMarcusWH a5519c8
fix(RELEASE-1): align pinned scanner provenance with reviewed builder…
HMarcusWH ab59666
test(RELEASE-1): require real scanner provenance and safe builder dia…
HMarcusWH a2adf30
fix(ASSURANCE): align SPDX optional fields and trigger bridge CI for …
HMarcusWH eda47af
test(ASSURANCE): align HTTP publication policy, CI triggers and raw a…
HMarcusWH 16facca
docs(ASSURANCE): inventory all PR71 Codex findings and exact-head clo…
HMarcusWH 283ffe8
feat(RELEASE-1): freeze SPDX license identifiers and parse bounded v2…
HMarcusWH 7117ce6
fix(RELEASE-1): demand observed SLSA v1 provenance and exact scanner …
HMarcusWH 05c55d1
test(RELEASE-1): reject missing, duplicate, wrong-builder and wrong-v…
HMarcusWH bdf4276
fix(RELEASE-1): apply versioned SPDX package semantics, license gramm…
HMarcusWH 67ae527
test(RELEASE-1): add rehashed SPDX 2.2/2.3, license and SHA1 destruct…
HMarcusWH f5ba9fc
fix(RELEASE-1): verify every verdict-bearing module against Git and s…
HMarcusWH 4f8138a
test(RELEASE-1): isolate aggregate logic tests from authenticated mod…
HMarcusWH 8cf7510
test(RELEASE-1): import aggregate HTTP policy fixture by absolute sou…
HMarcusWH 1d9d826
test(RELEASE-1): real Git source, rehashed worktree and TOCTOU snapsh…
HMarcusWH 46b2b89
fix(RELEASE-1 CI): verify scanner and aggregate verifier Git bytes be…
HMarcusWH 3d30598
docs(ASSURANCE): reconcile five Codex findings, SPDX version semantic…
HMarcusWH 56bbdf1
feat(RELEASE-1): source-pin v1.11.0 Syft scanner and add dual SHA1/SH…
HMarcusWH 7ba3106
feat(RELEASE-1): deterministic local BuildKit scanner transport and s…
HMarcusWH 58fec30
fix(RELEASE-1): load source-locked scanner preparation by exact sibli…
HMarcusWH e18a2cd
fix(RELEASE-1 CI): consume exact-source v1.11.0 SHA1-capable scanner …
HMarcusWH bf6b919
fix(ASSURANCE): source-attest v1.11.0 scanner patch and gate reviewed…
HMarcusWH 91458a7
docs(RELEASE-1): document staged scanner digest approval and offline …
HMarcusWH f7f2717
fix(RELEASE-1): export scanner images reproducibly from containerized…
HMarcusWH 235e8d2
test(RELEASE-1): bind real scanner SHA1 and SHA256 claims to known pi…
HMarcusWH f3baaa9
fix(RELEASE-1 CI): verify actual SBOM SHA1/SHA256 against pinned Ubun…
HMarcusWH 18b5e1f
fix(RELEASE-1): freeze independently reviewed reproducible scanner bi…
HMarcusWH a133604
fix(RELEASE-1): require exact SLSA v1 builder identity on full export…
HMarcusWH 5a54cde
fix(ONLINE-4): bind recovery phase logs and replay files to exact con…
HMarcusWH 64086c2
fix(ASSURANCE): execute independent recovery and OCI verifiers from e…
HMarcusWH dba31b2
test(ASSURANCE): prove exact-commit execution and record five manual-…
HMarcusWH 90e98e6
test(RELEASE-1): assert absolute OCI archive input after isolated Git…
HMarcusWH File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
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
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
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
Oops, something went wrong.
Oops, something went wrong.
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.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The updated ONLINE-4B path filter still omits the newly imported
scripts/http_evidence_verdict.py,scripts/sanitize_qualification_evidence.py,scripts/verify_assurance_contract.py, andscripts/verify_source_closure.py, as well asqualification/http-evidence-contract-v1.json. A later PR changing only one of these verdict-critical files will skip the guarded integration workflow entirely; add these paths to both ONLINE-4A and ONLINE-4B filters (or cover the relevant directories) so source-closure and status-policy changes receive exact-head qualification.Useful? React with 👍 / 👎.