Skip to content

fix(demo-03) software-only verify + add CI to run all demos#14

Merged
imran-siddique merged 2 commits into
mainfrom
fix/demo-03-devmode-verify-and-ci
Jul 8, 2026
Merged

fix(demo-03) software-only verify + add CI to run all demos#14
imran-siddique merged 2 commits into
mainfrom
fix/demo-03-devmode-verify-and-ci

Conversation

@imran-siddique

Copy link
Copy Markdown
Contributor

What

  • Fix demo-03: under CMCP_DEV_MODE=1 (the documented run mode) verify.py exited 1 on partially_verified, so run.py (check=True) crashed the offline-verification demo on its own expected output. Now the dev-mode case (only hardware_attestation unverified, no failure reason) is treated as success; real partial/failed verification still exits non-zero.
  • Add CI (.github/workflows/ci.yml): the repo had no CI. Runs demo-01..03 in order on every push/PR so they cannot regress silently.

Verified locally

All three demos exit 0 against cmcp-runtime 0.3.0 (CMCP_DEV_MODE=1, CMCP_BEARER_TOKEN set):

  • demo-01 -> exit 0 (signed TRACE claim)
  • demo-02 -> exit 0 (policy swap)
  • demo-03 -> exit 0 (was exit 1 before the fix)

Known follow-up (not in this PR)

The demo-03 README is stale: it references trace_record.json / issuer_pub.pem / cp setup steps that do not match the actual run.py/verify.py flow (which uses workspace/trace-claim.json + cmcp_verify). Worth a separate docs fix.

🤖 Generated with Claude Code

imran-siddique and others added 2 commits July 7, 2026 16:45
Under CMCP_DEV_MODE=1 (the documented way to run the demos) verify_trace_claim
returns partially_verified because hardware_attestation cannot be verified
without a real TEE. verify.py exited 1 on that, so run.py (check=True) crashed
the offline-verification demo on its own expected output. Treat the dev-mode
case (only hardware_attestation unverified, no failure reason) as success while
keeping fail-closed behaviour for real partial/failed verification.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
The demos repo had no CI, so nothing verified the public quickstart demos
(a dependency bump could break them silently). Runs demo-01..03 in order
(demo-01 produces the claim demo-02/03 consume) under CMCP_DEV_MODE=1.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@imran-siddique imran-siddique merged commit b73d3cf into main Jul 8, 2026
3 checks passed
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