Skip to content

Add plan-only proof-carrying context experiment#227

Merged
ictechgy merged 1 commit into
mainfrom
agent/proof-carrying-context
Jul 11, 2026
Merged

Add plan-only proof-carrying context experiment#227
ictechgy merged 1 commit into
mainfrom
agent/proof-carrying-context

Conversation

@ictechgy

Copy link
Copy Markdown
Owner

Summary

  • add the default-off, high-risk proof-carrying-context experiment as a plan-only surface
  • enforce strict proof-unit JSON validation, deterministic readiness output, non-echo boundaries, and explicit provider/protected-zone gates
  • synchronize the packaged plugin copy and document one executable canonical command in all six required docs
  • add regression coverage for schema, parser, depth/overflow, side-effect, determinism, and runtime/package boundary invariants

Scope boundaries

  • no emit, record, or serve runtime
  • no new binary, package, version, changelog, manifest, or release-surface change
  • actual receipt/content/range/protected-zone verification remains explicitly out of scope

Validation

  • python3 scripts/prepublish_check.py — 768/768 passed
  • python3 scripts/release_smoke.py — OK
  • proof-carrying-context tests — 12/12 passed
  • related registry/semantic tests — 31/31 passed
  • plugin sync, py_compile, and git diff --check — passed
  • independent code review — APPROVE
  • independent verifier — VERIFIED

Introduce a default-off experimental planning surface with strict proof-unit validation, deterministic readiness output, synchronized plugin packaging, executable documentation examples, and regression coverage.

Constraint: Keep proof-carrying-context plan-only with no runtime, package, or release-surface expansion
Confidence: high
Scope-risk: experimental and default-off
Directive: Preserve exact schema, blocker ordering, and non-echo guarantees in future edits
Tested: prepublish 768/768; release smoke; proof tests 12/12; related tests 31/31; py_compile; sync check; git diff --check
Not-tested: hosted receipt/content/range verification is intentionally out of scope
@ictechgy ictechgy merged commit 59843d3 into main Jul 11, 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