Rename indirect-signature content validation to ContentDigest verbiage (V2)#208

Merged

JeromySt merged 60 commits into

users/jstatia/v2_clean_slatefrom

users/jstatia/v2-contentdigest-rename

Jun 16, 2026

Commits on May 8, 2026

Add V2 feature-train scaffolding (worktree + coverage-gated merge)

Jstatia
and
Copilot
committed
train: D11 double-gate (per-project + full-solution) via -Project flag

Jstatia
and
Copilot
committed
train: adopt release-train playbook (adapted from ai-cookbook)

Jstatia
and
Copilot
committed
spec: add TrustPolicySpec discriminated union + predicates + parameters

Copilot
and
Copilot
committed
spec: tests — 132 passing across 6 fixtures

Copilot
and
Copilot
committed
spec: cover edge paths + suppress defensive arms

Copilot
and
Copilot
committed
spec: address Hey Jeromy iter-1 findings (security, correctness, perf)

Copilot
and
Copilot
committed
spec: add Phase-1 perf smoke tests + Phase-1 ship contract

Copilot
and
Copilot
committed
train: add -NoRegress mode for D11 full-solution gate (amended)

Jstatia
and
Copilot
committed
train: merge phase 'spec' (gate ≥ 95% line coverage)
Jstatia
committed
fact-registry: add [TrustFactId] attribute

Jstatia
and
Copilot
committed
fact-registry: tag all *Fact types with stable ids matching Phase 1 baseline

Jstatia
and
Copilot
committed
fact-registry: add AttributeDrivenFactRegistry

Jstatia
and
Copilot
committed
fact-registry: mark StaticFactRegistry [Obsolete]; wire DI extension

Jstatia
and
Copilot
committed
fact-registry: add baseline-equivalence conformance test

Jstatia
and
Copilot
committed
fact-registry: tests

Jstatia
and
Copilot
committed
fact-registry: tighten coverage on registry + DI extension

Jstatia
and
Copilot
committed
train: merge phase 'fact-registry' (gate ≥ 95% line coverage)
Jstatia
committed
frontend-json: add ICoseTrustPolicyFrontend abstraction + diagnostic types

Copilot CLI
and
Copilot
committed
frontend-json: add cose-tp-json/v1 JSON Schema (embedded resource)

Copilot CLI
and
Copilot
committed
frontend-json: add CoseTpJsonFrontend (parse + schema-validate + translate)

Copilot CLI
and
Copilot
committed
frontend-json: add post-parse Bind(parameters) step

Copilot CLI
and
Copilot
committed
frontend-json: add LRU translator cache

Copilot CLI
and
Copilot
committed
frontend-json: wire CLI --trust-policy override (per D8)

Copilot CLI
and
Copilot
committed
frontend-json: tests

Copilot CLI
and
Copilot
committed
frontend-json: address jeromy_review findings

Copilot CLI
and
Copilot
committed
train: merge phase 'frontend-json' (gate ≥ 95% line coverage)
Copilot
committed
conformance: add FrontendConformanceTestBase with all 8 properties of S6.5.10

Copilot
and
Copilot
committed
conformance: README documenting the 8-property contract

Copilot
and
Copilot
committed
conformance: JSON frontend conformance fixtures (per fact + parametric)

Copilot
and
Copilot
committed
conformance: per-helper coverage tests (PerfBudget, naming, internals)

Copilot
and
Copilot
committed
conformance: address jeromy_review findings (perf math, fixture-name encoding, triage clarity)

Copilot
and
Copilot
committed
train: merge phase 'conformance' (gate ≥ 95% line coverage)
Copilot
committed
frontend-rego: add CoseSign1.Validation.TrustFrontends.Rego project

phase-rego-agent
and
Copilot
committed
frontend-rego: constrained Rego subset tokenizer

phase-rego-agent
and
Copilot
committed
frontend-rego: recursive-descent parser with closed reject-list

phase-rego-agent
and
Copilot
committed
frontend-rego: CoseTpRegoFrontend forwarding to JSON walker

phase-rego-agent
and
Copilot
committed
frontend-rego: wire CLI extension dispatch (D8)

phase-rego-agent
and
Copilot
committed
frontend-rego: 16 fact + cross + 3 untranslatable fixtures

phase-rego-agent
and
Copilot
committed
frontend-rego: RegoConformanceAdapter + JsonRegoCrossEquivalenceTests

phase-rego-agent
and
Copilot
committed
frontend-rego: README documenting accept-list and reject-list

phase-rego-agent
and
Copilot
committed
frontend-rego: tests (parser + frontend + CLI dispatch)

phase-rego-agent
and
Copilot
committed
frontend-rego: coverage branch tests (per-project 98.4%)

phase-rego-agent
and
Copilot
committed
frontend-rego: address hey-jeromy findings (RT-MAJ-1 + minors)

phase-rego-agent
and
Copilot
committed
frontend-rego: input-size cap + lone-surrogate / control-char rejection (TST-MIN-1/2)

phase-rego-agent
and
Copilot
committed
frontend-rego: split TPX306 (input-too-large) from TPX305 (max-depth) — BLUE-MIN-1

phase-rego-agent
and
Copilot
committed
train: merge phase 'frontend-rego' (gate ≥ 95% line coverage)
phase-rego-agent
committed
docs: document the document-driven trust-policy surface in V2 docs/

phase-rego-agent
and
Copilot
committed
integration-tests: add CoseSign1.Trust.Integration[.Tests] projects + infrastructure helpers

Jstatia
and
Copilot
committed
integration-tests: X509 happy-path matrix (json + rego x trust/identity/eku)

Jstatia
and
Copilot
committed
integration-tests: X509 deny matrix (untrusted chain, identity, EKU)

Jstatia
and
Copilot
committed
integration-tests: X509 parametrised allow-list matrix

Jstatia
and
Copilot
committed
integration-tests: MST matrix (happy/deny/parametrised issuer-host)

Jstatia
and
Copilot
committed
integration-tests: anti-patterns (malformed/schema/unknown-fact/forbidden-rego/unbound-param)

Jstatia
and
Copilot
committed
integration-tests: D8 override semantics (stricter and looser)

Jstatia
and
Copilot
committed
integration-tests: cross-format equivalence regression assertions

Jstatia
and
Copilot
committed
integration-tests: targeted unit tests for the infrastructure helpers

Jstatia
and
Copilot
committed
train: merge phase 'integration-tests' (gate ≥ 95% line coverage)
Jstatia
committed
docs: cross-port compatibility contract + shared fixture + demo script

Jstatia
and
Copilot
committed

Commits on Jun 16, 2026

Rename indirect-signature content validation to ContentDigest verbiage (V2)

Jstatia
and
Copilot
committed