Repository navigation
apmx 0.7.1
Pre-releaseEXPERIMENTAL prerelease. Native notices and exact downloaded bytes are gated; this is not production certification.
Standalone apmx 0.7.1; candidate commit a70c1939dddc6f5d7888b76fd5bb8bab3e69e886.
Changes in v0.7.1: A PR cannot rewrite its own gate
Green means accepted by proof, and nothing else.
- Security: the gate templates now run on
pull_request_target, so the base branch's copy runs and a PR cannot edit or delete its ownauditworkflow (onpull_requestit could, and the required check turned green). The PR head is checked out as bytes without credentials and nothing from it runs. Update youraudit.ymlthe same way. - In a pull request,
apmx auditnever reads policy from the PR's working tree, runs APM's policy discovery in an empty project and refuses a--policyfile inside the checkout. - A PR that carries no factory attestation fails with
Not a factory delivery: the check only passes factory deliveries; merge other PRs through your normal review process (for example a ruleset bypass for maintainers). - Reference the actions and
run.ymlat@v0.7.1or its commit SHA.
See the v0.7.1 changelog.
What's new since v0.2.0
- Run a factory directory without writing orchestration: APMX derives execution order from the contracts' declared file dependencies.
- Deliver multiple output files together. Handoffs require every declared file, complete passing checks and an intact recorded inventory; the aggregate artifact view retains admitted outputs and the original required inputs/checks.
- Export real patches from private source edits with the bounded artifact tools, without changing the original checkout.
- Discover selected imported skills through native Copilot skill discovery, with clearer package-preparation progress and bounded terminal evidence.
- Try the software-factory example with optional Gherkin/Behave acceptance checks and separate regression checks. Its standalone checker now supports deeply nested Windows file paths with child-only Git configuration.
Compatibility and migration
BREAKING: imported skill metadata. Previously accepted imported skills can now fail admission without a nonempty name and description in SKILL.md. Names must be 1-64 lowercase letters/digits separated by single hyphens, with no leading or trailing hyphen. Selected context names must not collide case-insensitively; unsupported activation metadata is rejected.
Update the authored source package (for example, name: handoff-style with description: Write concise handoffs.), then select its updated revision through the normal dependency workflow, keeping apm.yml and its lock coherent. Do not patch generated apm_modules copies or edit lock digests by hand. Migration guide.
Leaf records use apm-contract-run/0.3 and factory records use apmx-contract-chain/0.2, separating execution from native assurance. Historical records are not rewritten and cannot authorize new handoffs.
Factory execution asks for consent interactively. Automation must pass --allow-host-access --allow-unproven-inputs; these flags do not admit failed or incomplete handoffs. Native execution is not a sandbox. Complete validated and finalized execution yields COMPLETE (0), not isolation or certification. Incomplete work remains UNPROVEN (21); rejection 20; halt 22.
Installation and assurance limits
Five native onedir archives include the runtime, LICENSE, NOTICE, release metadata, and the pinned official APM 0.33.0 backend with its complete runtime under libexec/apm. Extract the complete archive; do not move the executable out of its runtime directory.
Git, Copilot CLI, and contract-declared checker tools are external prerequisites. The CI actor is an explicitly hermetic Copilot JSONL protocol fixture, NOT live inference. Complete validated and finalized execution yields COMPLETE (0), not isolation or certification. Incomplete work remains UNPROVEN (21); rejection 20; halt 22.
No trusted publisher signature or Apple notarization is provided. macOS may carry PyInstaller's local ad-hoc signature; it is not publisher identity. Checksums prove byte integrity, not publisher authentication. Do not disable platform security to run these binaries.