Skip to content

test(pre1): bind packaged execution to immutable artifacts and case proofs #140

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.

Sign up for GitHub

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
RobLe3 merged 13 commits into from
Sep 18, 2026
Merged

test(pre1): bind packaged execution to immutable artifacts and case proofs #140

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
324fca8
test(pre1): bind installed SDK execution and named tooling provenance
RobLe3 Sep 16, 2026
f27c198
test(pre1): exercise canonical crypto verifier and packaged CLI
RobLe3 Sep 16, 2026
14244d1
Seal packaged case proofs and reviewed fixture provenance
RobLe3 Sep 16, 2026
98d3e07
Preserve installed SDK imports in lifecycle subprocess fixture
RobLe3 Sep 16, 2026
e477db0
Extend shared packaged-proof tooling for frozen Rust crate execution
RobLe3 Sep 16, 2026
ee45884
Keep Rust archive validation and Cargo isolation guards structurally …
RobLe3 Sep 16, 2026
2fe9037
test(pre1): stage immutable Management consumers and seal packaged ca…
RobLe3 Sep 17, 2026
31973b0
test(pre1): remove fixture trailing whitespace
RobLe3 Sep 17, 2026
2fe7a0d
test(pre1): advertise the emitted packaged case proof version
RobLe3 Sep 17, 2026
1d973d3
test(pre1): bind Management manifest to candidate source_version
RobLe3 Sep 17, 2026
95f70e2
test(pre1): allowlist exact disposable PHP CI tooling paths
RobLe3 Sep 17, 2026
637f94d
test(pre1): execute isolated packaged Rust HTTP refusal cases
RobLe3 Sep 18, 2026
824de28
test(pre1): keep Directory adapters scoped to Directory owners
RobLe3 Sep 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions scripts/pre1_harness_binding.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,10 @@
"scripts/test_pre1_qualification_case.py",
"scripts/pre1_harness_binding.py",
"scripts/pre1_environment_contract.py",
"scripts/pre1_package_execution.py",
"scripts/test_pre1_package_execution.py",
"scripts/run_php83_local_ci.py",
"scripts/test_php83_local_ci.py",
})


Expand Down
Loading
Loading