Skip to content

feat: add Proof of Causal Integrity v0.1 contract - #193

Draft
safal207 wants to merge 7 commits into
mainfrom
agent/poci-contract-v0.1
Draft

feat: add Proof of Causal Integrity v0.1 contract#193
safal207 wants to merge 7 commits into
mainfrom
agent/poci-contract-v0.1

Conversation

@safal207

Copy link
Copy Markdown
Owner

What changed

Adds the first normative contract slice for Proof of Causal Integrity (PoCI) v0.1:

  • protocol actors, invariants, lifecycle, and decision semantics;
  • stable ACCEPT / HOLD / BLOCK / CHALLENGE model;
  • stable reason-code registry and fail-closed precedence;
  • strict Draft 2020-12 Action Proof Envelope JSON Schema;
  • canonical JSON, domain separation, and envelope-root rules;
  • first schema-valid bounded compute-purchase envelope;
  • reviewer-friendly local schema-validation quickstart.

Why

ProofPath already verifies high-risk actions at the execution boundary. This PR defines a portable evidence contract that can later be implemented independently by Python, Rust, and external witnesses without collapsing CML, LTP/T-Trace, LiminalDB, or Ibex into one repository.

Validation

  • Draft 2020-12 schema structure checked with jsonschema.
  • examples/poci-witness/action-proof-envelope.valid.json validates with zero schema errors.
  • Diff contains five new contract/example files only.

Current limitations

  • Placeholder artifact digests are intentional.
  • envelope_root is null until the reference canonicalizer and golden vectors are implemented.
  • This PR does not claim distributed consensus, witness independence, token economics, hardware truth, zkML correctness, or real-world truth.

Backlog links

Epic: #180

Advances:

Next PR:

@coderabbitai

coderabbitai Bot commented Jul 30, 2026

Copy link
Copy Markdown

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: 6e2593a8-4c62-42ea-ab69-f700c1998c2e

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

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