Skip to content

feat: add dependency-triples support to comid create#53

Merged
thomas-fossati merged 1 commit intoveraison:mainfrom
rsampaio:feature/add-dependency-triples
Mar 30, 2026
Merged

feat: add dependency-triples support to comid create#53
thomas-fossati merged 1 commit intoveraison:mainfrom
rsampaio:feature/add-dependency-triples

Conversation

@rsampaio
Copy link
Copy Markdown
Contributor

Add a JSON template and test coverage for CoMID dependency-triples as defined in draft-9 of the CoRIM specification. Each triple associates a domain identifier with one or more trustee environments.

Includes a round-trip test that encodes a template to CBOR and decodes it back to verify the DomainDependencies field, and a negative test confirming that empty trustees are rejected.

Note: this PR depends on the veraison/corim changes that introduce the DomainDependencies triple type. The go.mod require line should be bumped to the published version of those changes before merging.

@thomas-fossati
Copy link
Copy Markdown
Contributor

Hi @rsampaio, thanks again for your contribution to Veraison.

I assume you are waiting for the related PR in veraison/corim to merge before updating the dependency here. Correct?

@rsampaio
Copy link
Copy Markdown
Contributor Author

That is correct @thomas-fossati, this PR directly depends on the changes in veraison/corim that you reviewed as well!

Bump veraison/corim to v1.1.3-0.20260326144920-25855f5e7afe which
introduces the DomainDependencyTriple type from draft-9 of the CoRIM
specification. Add a JSON template and test coverage for the new
triple type, covering both a valid round-trip and rejection of empty
trustees

Signed-off-by: Rodrigo Sampaio Vaz <rvaz@nvidia.com>
@rsampaio rsampaio force-pushed the feature/add-dependency-triples branch from e4138df to 303bda4 Compare March 26, 2026 15:00
@rsampaio
Copy link
Copy Markdown
Contributor Author

@thomas-fossati I bumped the corim depedency and this should be ready for review, I also squashed the commits as requested for the previous PR

Copy link
Copy Markdown
Contributor

@thomas-fossati thomas-fossati left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

(One thought I had looking at this PR is that perhaps Valid should verify that the domain dependency triples, when viewed collectively as a dependency graph, do not form loops.)

@thomas-fossati
Copy link
Copy Markdown
Contributor

LGTM, thanks!

(One thought I had looking at this PR is that perhaps Valid should verify that the domain dependency triples, when viewed collectively as a dependency graph, do not form loops.)

This is a requirement in §5.1.11.2: "Trust dependency graphs are acyclic, meaning a domain-id MUST NOT appear in the trustees list or within a trustee's subtree."

@rsampaio
Copy link
Copy Markdown
Contributor Author

This is a requirement in §5.1.11.2: "Trust dependency graphs are acyclic, meaning a domain-id MUST NOT appear in the trustees list or within a trustee's subtree."

Good point I will open a new PR to corim to address that!

@rsampaio
Copy link
Copy Markdown
Contributor Author

Since both PRs to corim got merged do you think we can get this one in as well @thomas-fossati ?

@thomas-fossati
Copy link
Copy Markdown
Contributor

Since both PRs to corim got merged do you think we can get this one in as well @thomas-fossati ?

This one clearly slipped through the net 🤦
Thanks for the reminder!

@thomas-fossati thomas-fossati merged commit 76deb0e into veraison:main Mar 30, 2026
5 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.

2 participants