Skip to content

examples: add CCS v1.4 composition fixture under examples/ccs/ - #682

Merged
FutureEnterprises merged 5 commits into
emiliaprotocol:mainfrom
DSHCorrectover:ccs/examples-fixture
Aug 31, 2026
Merged

examples: add CCS v1.4 composition fixture under examples/ccs/#682
FutureEnterprises merged 5 commits into
emiliaprotocol:mainfrom
DSHCorrectover:ccs/examples-fixture

Conversation

@DSHCorrectover

Copy link
Copy Markdown
Contributor

As discussed — the reviewed interoperability fixture, placed under a new examples/ccs/ directory.

Contents:

  • vectors.reference.json / upstream-01-allow.receipt.json — byte-identical to the standalone composition harness at 995d803 (conformance/composition/ccs-v14-aeb-github-v0.1/); sha256 3f61bc9e… and 889855dc…
  • README.md — provenance, the eight composition cases, and the boundaries:
    • EMILIA-authored compatible fixture, not a Correctover certification or a Correctover-issued upstream vector
    • CCS ALLOW = machine-policy evidence only, never execution authority
    • conformance key 26a02d86… = test material, not a production trust root

Independently verifiable with any standard-library Ed25519 + JCS verifier; no CCS code import required.

Guigui Wang — Correctover, Runtime Verification
cc Iman Schrock

@strix-security

Copy link
Copy Markdown

Strix is installed on this repository, but we couldn't run this PR security review because this workspace's trial has ended. Add a card to resume code reviews here.

So far, Strix has reviewed 68 pull requests, surfaced 13 security issues (8 critical/high) and blocked 8 risky merges across this workspace.

@vercel

vercel Bot commented Aug 29, 2026

Copy link
Copy Markdown

@DSHCorrectover is attempting to deploy a commit to the Future Enterprises Team on Vercel.

A member of the Team first needs to authorize it.

…ment

Contribute the EMILIA x CCS composition fixture: two byte-pinned JSON files
(the upstream CCS v1.4 conformance receipt and the reference vectors), byte-
identical copies from standalone harness commit 995d803, plus JOINT-ASSESSMENT
(DRAFT v3) documenting independent, package-independent verification of the same
receipt bytes and the eight composition outcomes.

CCS receipts are machine-policy evidence, never execution authority; the fixture
uses the public deterministic conformance key (fingerprint 26a02d86f5d0a10f).

Signed-off-by: Guigui Wang <correctover@sina.com>
Per EMILIA review of head 4d74b26: status marked DRAFT v3 and not-final;
Correctover checker described as standalone package-independent, operating
without importing the CCS verifier package (assessment and examples README);
section 3 wording aligned for the public repository. No vectors, outcomes,
pins, or product boundaries changed.

Signed-off-by: Guigui Wang <correctover@sina.com>
Per EMILIA final byte review of head 0b61c18: section 8 now reads
"This report is jointly authored. It is not final or jointly approved
until both parties approve the exact bytes." Nothing else changed.

Signed-off-by: Guigui Wang <correctover@sina.com>

@FutureEnterprises FutureEnterprises left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Guigui, the vectors, pins, eight outcomes, and product boundaries all check out at head 3822771, and the substantive CI is green. I found one chronology typo before I can approve the exact bytes: the assessment is dated 2026-08-29, while the revision line says v3 supersedes v2 dated 2026-08-30. Please make the assessment date 2026-08-30 (or correct the v2 date if that is the mistaken value). Once that one line is consistent, I can approve the joint bytes.

Resolves review note: assessment header Date was 2026-08-29 while the
revision line dated v2 as 2026-08-30. v3 wording was committed
2026-08-30 (per commit history); v2 reflects the 2026-08-29 handoff
re-run, so the header Date is set to 2026-08-30 and the v2 reference
to 2026-08-29. No other bytes changed.

Signed-off-by: Guigui Wang <correctover@sina.com>
@DSHCorrectover

Copy link
Copy Markdown
Contributor Author

@FutureEnterprises Fixed — thanks for catching the chronology.

The v3 wording was finalized on 2026-08-30 (the three PR commits are dated 2026-08-30 UTC), while v2 reflects the handoff re-run on 2026-08-29. So the mistaken value was the v2 date in the revision line:

  • Header Date: set to 2026-08-30 (v3 date)
  • v3 supersedes v2 (2026-08-30)v3 supersedes v2 (2026-08-29)

No other bytes changed: vectors, pins, the eight composition outcomes, bundle counts (489 manifest-covered files / 64 expected-outcome cases), and all product boundaries are untouched. New head: 860575e. Ready for re-review.

@FutureEnterprises FutureEnterprises left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Confirmed at 860575e: the only change is the two chronology fields in JOINT-ASSESSMENT.md. They now consistently record v3 as 2026-08-30 and v2 as 2026-08-29; the pinned vectors, hashes, eight outcomes, and claim boundaries are unchanged. I approve these exact PR bytes. Before merge, please update the branch from current main and let the strict required checks rerun. The Vercel red is deployment authorization, not a source or test failure.

Sync with upstream main per reviewer request to rerun strict required checks.
Tree and merge parents are identical to the GitHub-generated merge commit.

Signed-off-by: Guigui Wang <correctover@sina.com>
@DSHCorrectover

Copy link
Copy Markdown
Contributor Author

@FutureEnterprises Branch updated from current main (new head 8d52923): the PR's four files are byte-identical to the approved 860575e; the only addition is the main merge, and the merge commit carries a Signed-off-by line. The fork's checks don't execute on the merge commit from our side — could you approve/rerun the strict required checks on the new head? Vercel red understood as deployment authorization only.

@FutureEnterprises
FutureEnterprises merged commit 1d21cd4 into emiliaprotocol:main Aug 31, 2026
56 of 57 checks passed
@FutureEnterprises

FutureEnterprises commented Aug 31, 2026 via email

Copy link
Copy Markdown
Member

DSHCorrectover added a commit to DSHCorrectover/emilia-protocol that referenced this pull request Aug 31, 2026
…6-08-31)

Status: DRAFT v3 -> FINAL. Both parties approved the exact bytes on
2026-08-31 (DRAFT v3 merged upstream via PR emiliaprotocol#682, merge commit
1d21cd4; mirrored to the public CCS
conformance bundle DSHCorrectover/ccs-conformance-vectors at commit
43cb28f98dc8bfb6f93427980b67692db569a083). This revision records the
dated approval only; vectors, evidence, the eight composition outcomes,
artifact pins, and product boundaries are unchanged from the approved
bytes (DRAFT v3, 8524 bytes, sha256 5ddc5946...a07b3b).

Signed-off-by: Guigui Wang <correctover@sina.com>
DSHCorrectover added a commit to DSHCorrectover/emilia-protocol that referenced this pull request Aug 31, 2026
…6-08-31)

Status: DRAFT v3 -> FINAL. Both parties approved the exact bytes on
2026-08-31 (DRAFT v3 merged upstream via PR emiliaprotocol#682, merge commit
1d21cd4; mirrored to the public CCS
conformance bundle DSHCorrectover/ccs-conformance-vectors at commit
43cb28f98dc8bfb6f93427980b67692db569a083). This revision records the
dated approval only; vectors, evidence, the eight composition outcomes,
artifact pins, and product boundaries are unchanged from the approved
bytes (DRAFT v3, 8524 bytes, sha256 5ddc5946...a07b3b).

Signed-off-by: Guigui Wang <correctover@sina.com>
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.

2 participants