Skip to content

feat: add portable PoCI external witness SDK - #204

Draft
safal207 wants to merge 7 commits into
agent/poci-organizational-independence-gate-v0.1from
agent/poci-external-witness-sdk-v0.1
Draft

feat: add portable PoCI external witness SDK#204
safal207 wants to merge 7 commits into
agent/poci-organizational-independence-gate-v0.1from
agent/poci-external-witness-sdk-v0.1

Conversation

@safal207

Copy link
Copy Markdown
Owner

What changed

Adds the eleventh PoCI slice: a portable onboarding kit for an independently owned external witness repository.

The kit contains:

  • one dependency-free Python SDK;
  • the exact organizational-independence challenge fixture and challenge root;
  • a strict external-operator response schema;
  • a copyable GitHub Actions workflow for another owner or organization;
  • 13 focused conformance, mutation, identity, determinism, and submission tests;
  • documentation with a minimal onboarding path;
  • a dedicated SDK workflow that verifies the live producer attestation, recomputes the six-graph space, proves the current same-owner run remains HOLD, builds a deterministic kit manifest, keyless-attests that manifest, and uploads a distributable artifact.

External operator flow

verify challenge root
        ↓
verify ProofPath producer attestation
        ↓
recompute source + six graph roots + three transition cells
        ↓
create external response subject
        ↓
keyless-attest exact response bytes
        ↓
verify the response attestation
        ↓
finalize portable submission package

Honest same-owner behavior

This repository cannot manufacture an independent operator response for itself. The live SDK conformance workflow is expected to produce:

decision: HOLD
reason: OPERATOR_OWNER_NOT_INDEPENDENT
claims_organizational_independence: false
authority_granted: false

It attests only the distributable SDK kit manifest, not a fake external response.

Trust boundary

The reference workflow runs in another repository and gets a separate owner/workflow/Sigstore identity. It currently reuses the pinned ProofPath graph builder as a reproducible reference implementation. It therefore demonstrates owner-diverse execution, not yet independently implemented algorithm diversity.

Stacked PR

Base: agent/poci-organizational-independence-gate-v0.1 / #202

The kit is intended for the external operator requested in issue #203.

No merge is performed by this PR.

@coderabbitai

coderabbitai Bot commented Jul 31, 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: af40988a-3d0e-419b-aea4-0199572da278

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.

Copy link
Copy Markdown
Owner Author

Validation complete

Final head: 469d742cfe59b12875c5c6e1fc0ce660c38ab1dd

Passed:

  • PoCI External Witness SDK run Write ProofPath HTTP Profile v0.1 #1 (30628834750)
    • 13 focused conformance, mutation, identity, determinism, and submission tests;
    • exact challenge-root verification;
    • live six-graph recomputation;
    • pinned ProofPath producer-attestation verification;
    • same-owner conformance result remained HOLD with only OPERATOR_OWNER_NOT_INDEPENDENT;
    • deterministic five-file SDK kit manifest;
    • keyless attestation of the kit manifest;
    • distributable artifact upload.
  • PoCI run Community experiment L5: Protocol and threat model critique #19 — success.
  • Rust run #286 — formatting, clippy, workspace tests, Compute Witness, metrics, reusable action, Personal Agent Guard, and Agent Payment Guard all succeeded.

Distributable evidence artifact:

  • name: poci-external-witness-sdk-30628834750
  • artifact id: 8792486498
  • size: 23037 bytes
  • SHA-256: 0f7a33017c07a6d548f4f645d9caee7d600e657228882f531a514429a3ff01f5
  • expires: 2026-08-14T11:57:26Z

Honest result: this repository attested the SDK kit, not an independent operator response. A same-owner run cannot claim organizational independence. No merge has been performed.

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