Skip to content

Add bounded Catalog materializer and delegated executor for v0.14.40 - #12

Merged
chen21019 merged 3 commits into
mainfrom
verification/compose-cli-0.14.40-catalog-launch
Oct 29, 2026
Merged

chen21019 merged 3 commits into
mainfrom
verification/compose-cli-0.14.40-catalog-launch

Conversation

@chen21019

@chen21019 chen21019 commented Oct 29, 2026 •

Copy link
Copy Markdown

The private Catalog launch materializer uses the existing Compose owner through bounded inspect/finalize phases and exact request skeletons. Delegated execution uses an event-local proof client bound to the exact Stack; control replies retain the trusted service channel. Missing/invalid proof cannot fall back to the launcher Full Key. Ordinary CLI/UI execution remains unchanged.

This prepares unpublished v0.14.40. Matching Engine live actor/Key read+create+update checks, private proxy blocking, encrypted plans, human confirmation, exact graph/ledger and deployment observation remain required. Unsupported graph shapes fail closed. The pinned legacy Server verifies ordinary compatibility only; runtime/browser/roles acceptance is pending.

Builder maintenance retains the exact pip wheel and Go dependencies. Each actual builder must now prove its 299 live vendor files, affected-module absence, exact seed/SBOM hashes and complete source inventory before narrow pip VEX applies. Unknown SBOMs, complete distributions, wrong PURLs and untracked seed copies fail closed. Another 222 exact Medium header findings are tied to a pinned official Canonical snapshot and header-only proof; raised severity or an available fix remains denied. The separate full integration setuptools dependency is updated from 84.0.0 to the official 84.1.0 fix, with its existing source contract aligned; it receives no VEX exception.

Validation: the frozen 25-file business-owner source still matches combined owner receipt 8c91eed17b62ba434c05e9c47b3d2bb2ccb3e3da03f5a8e01a9ab3c31864826d; previous 17 local Go cases are carried forward. Direct builder tests: 19 policy cases, 13 VEX cases and Bash syntax passed. Actual builder run 40943449946 passed and its raw/proof/effective bytes were independently compared. Initial security failures are retained (40941720622 / 40941823778: new header/pip findings; 40943441667: full setuptools source finding). Official Go 1.27.3 build/race/reproducibility/security/CodeQL must pass on final producer 1835f8d before merge. No tag/release/runtime acceptance is claimed.

@chen21019
chen21019 requested a review from a team as a code owner October 29, 2026 19:37
@chen21019
chen21019 merged commit 59ce37e into main Oct 29, 2026
8 checks passed
@chen21019
chen21019 deleted the verification/compose-cli-0.14.40-catalog-launch branch October 29, 2026 20:17
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.

1 participant