test: add Core 2.0 unsupported canonicalization profile conformance case

DigiEmu · DigiEmu · commit d94f88d519d0 · 2026-06-03T11:52:39.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -90,8 +90,8 @@ jobs:
 
           # Verify expected JSON fields
           grep '"status": "PASS"' conformance-report.json
-          grep '"total": 10' conformance-report.json
-          grep '"passed": 10' conformance-report.json
+          grep '"total": 11' conformance-report.json
+          grep '"passed": 11' conformance-report.json
           grep '"failed": 0' conformance-report.json
 
   docker-conformance:
@@ -123,6 +123,6 @@ jobs:
           docker run --rm digiemu-core experimental conformance run /opt/testdata/core_2_conformance --json > docker-conformance.json
           cat docker-conformance.json
           grep '"status": "PASS"' docker-conformance.json
-          grep '"total": 10' docker-conformance.json
-          grep '"passed": 10' docker-conformance.json
+          grep '"total": 11' docker-conformance.json
+          grep '"passed": 11' docker-conformance.json
           grep '"failed": 0' docker-conformance.json
diff --git a/README.md b/README.md
@@ -271,7 +271,7 @@ docker run --rm digiemu-core experimental conformance run /opt/testdata/core_2_c
 ```
 
 Expected output
-- `Conformance run summary: total=10 passed=10 failed=0`
+- `Conformance run summary: total=11 passed=11 failed=0`
 
 Important notes
 - Core 2.0 remains draft unless explicitly marked stable.
diff --git a/cmd/digiemu/experimental_json_test.go b/cmd/digiemu/experimental_json_test.go
@@ -42,33 +42,34 @@ func TestExperimentalJSONOutput(t *testing.T) {
 	if rep["status"] != "PASS" {
 		t.Fatalf("expected status PASS, got %v", rep["status"])
 	}
-	if int(rep["total"].(float64)) != 10 {
-		t.Fatalf("expected total 10, got %v", rep["total"])
+	if int(rep["total"].(float64)) != 11 {
+		t.Fatalf("expected total 11, got %v", rep["total"])
 	}
-	if int(rep["passed"].(float64)) != 10 {
-		t.Fatalf("expected passed 10, got %v", rep["passed"])
+	if int(rep["passed"].(float64)) != 11 {
+		t.Fatalf("expected passed 11, got %v", rep["passed"])
 	}
 	if int(rep["failed"].(float64)) != 0 {
 		t.Fatalf("expected failed 0, got %v", rep["failed"])
 	}
 	// cases array
 	cases, ok := rep["cases"].([]any)
-	if !ok || len(cases) != 10 {
-		t.Fatalf("expected 10 cases, got %v", rep["cases"])
+	if !ok || len(cases) != 11 {
+		t.Fatalf("expected 11 cases, got %v", rep["cases"])
 	}
 
 	// Optional: assert presence of known case names
 	want := map[string]bool{
-		"basic_pass":                       true,
-		"hash_mismatch_fail":               true,
-		"invalid_schema_error":             true,
-		"missing_required_field_error":     true,
-		"malformed_json_error":             true,
-		"unknown_reason_code_error":        true,
-		"unsupported_hash_algorithm_error": true,
-		"wrong_profile_fail":               true,
-		"inside_payload_mutation_detected": true,
-		"outside_metadata_ignored":         true,
+		"basic_pass":                                 true,
+		"hash_mismatch_fail":                         true,
+		"invalid_schema_error":                       true,
+		"missing_required_field_error":               true,
+		"malformed_json_error":                       true,
+		"unknown_reason_code_error":                  true,
+		"unsupported_canonicalization_profile_error": true,
+		"unsupported_hash_algorithm_error":           true,
+		"wrong_profile_fail":                         true,
+		"inside_payload_mutation_detected":           true,
+		"outside_metadata_ignored":                   true,
 	}
 	for _, c := range cases {
 		if m, ok := c.(map[string]any); ok {
diff --git a/docs/CORE_2_ACTUAL_EXPECTED_COMPARISON_DESIGN.md b/docs/CORE_2_ACTUAL_EXPECTED_COMPARISON_DESIGN.md
@@ -19,7 +19,7 @@ Current state
 - The runner reads and parses `input.json`.
 - Malformed input JSON is handled deterministically.
 - Missing conformance case files are covered by tests.
-- The official conformance pack reports total=10 passed=10 failed=0.
+- The official conformance pack reports total=11 passed=11 failed=0.
 - Full verify execution is not implemented yet.
 
 Target state
@@ -101,7 +101,7 @@ Reason-code implications
 - Exact `reason_code` comparison will make reason code semantics stricter.
 - `INTERNAL_ERROR` boundaries may need refinement.
 - `INVALID_SNAPSHOT_SCHEMA` may later split into `INVALID_JSON` if partner feedback requires it.
-- `UNSUPPORTED_PROFILE` and `MISSING_REFERENCE` should become stronger candidates for representable execution cases.
+- `UNSUPPORTED_CANONICALIZATION_PROFILE` is represented by an official conformance case; unsupported reconstruction profile and missing-reference cases remain candidates for future coverage.
 
 Non-goals
 ---------
@@ -118,7 +118,7 @@ Recommended next PRs
 
 - Expand observed-result comparison coverage where new observed results are introduced.
 - Keep public JSON report shape unchanged.
-- Add representable `UNSUPPORTED_PROFILE` and `MISSING_REFERENCE` cases after comparison helper exists.
+- Add representable unsupported reconstruction profile and missing-reference cases after comparison helper exists.
 
 Change history
 --------------
diff --git a/docs/CORE_2_CONFORMANCE_QUICKSTART.md b/docs/CORE_2_CONFORMANCE_QUICKSTART.md
@@ -16,7 +16,7 @@ Expected output
 On a healthy checkout of the current draft conformance pack you should see a short summary like:
 
 ```
-Conformance run summary: total=10 passed=10 failed=0
+Conformance run summary: total=11 passed=11 failed=0
 ```
 
 Conformance case structure
@@ -106,7 +106,7 @@ Expected output
 On a healthy checkout of the current draft conformance pack you should see a short summary like:
 
 ```
-Conformance run summary: total=10 passed=10 failed=0
+Conformance run summary: total=11 passed=11 failed=0
 ```
 
 Optional JSON output
diff --git a/docs/CORE_2_CONFORMANCE_REPORT.md b/docs/CORE_2_CONFORMANCE_REPORT.md
@@ -32,7 +32,7 @@ Human-readable summary (default):
 
 ```
 go run ./cmd/digiemu experimental conformance run testdata/core_2_conformance
-Conformance run summary: total=10 passed=10 failed=0
+Conformance run summary: total=11 passed=11 failed=0
 ```
 
 Machine-readable JSON output:
diff --git a/docs/CORE_2_DOCKER_USAGE.md b/docs/CORE_2_DOCKER_USAGE.md
@@ -36,8 +36,8 @@ docker run --rm digiemu-core experimental conformance run /opt/testdata/core_2_c
 
 Expected sample outputs
 
-- Human summary: `Conformance run summary: total=10 passed=10 failed=0`
-- JSON report: top-level `status: PASS`, `total: 10`, `passed: 10`, `failed: 0`
+- Human summary: `Conformance run summary: total=11 passed=11 failed=0`
+- JSON report: top-level `status: PASS`, `total: 11`, `passed: 11`, `failed: 0`
 
 Notes
 
diff --git a/docs/CORE_2_DRAFT_2_REVIEW_SUMMARY.md b/docs/CORE_2_DRAFT_2_REVIEW_SUMMARY.md
@@ -56,7 +56,7 @@ Recommended next PRs
 --------------------
 
 High priority
-- Conformance pack expansion (more cases) — completed in this branch (added 7 edge/negative cases; total 10)
+- Conformance pack expansion (more cases) — completed in this branch (added 7 edge/negative cases; total 10; later expanded to 11)
 - Additional negative and edge-case test vectors
 - Reason code clarity and coverage review — documented in `docs/CORE_2_REASON_CODE_REVIEW.md`
 - Runner real execution design — documented in `docs/CORE_2_RUNNER_EXECUTION_DESIGN.md`
diff --git a/docs/CORE_2_PARTNER_HANDOFF.md b/docs/CORE_2_PARTNER_HANDOFF.md
@@ -55,7 +55,7 @@ Expected results
 ----------------
 
 Human:
-- `Conformance run summary: total=10 passed=10 failed=0`
+- `Conformance run summary: total=11 passed=11 failed=0`
 
 JSON:
 - `report_version: core-2-conformance-report-v1`
diff --git a/docs/CORE_2_PARTNER_INTEGRATION_NOTES.md b/docs/CORE_2_PARTNER_INTEGRATION_NOTES.md
@@ -37,7 +37,7 @@ go run ./cmd/digiemu experimental conformance run testdata/core_2_conformance
 Expected output:
 
 ```
-Conformance run summary: total=10 passed=10 failed=0
+Conformance run summary: total=11 passed=11 failed=0
 ```
 
 Using the experimental conformance CLI
diff --git a/docs/CORE_2_REASON_CODE_REVIEW.md b/docs/CORE_2_REASON_CODE_REVIEW.md
@@ -68,7 +68,8 @@ Execution implications
 - Real execution will clarify `INTERNAL_ERROR` boundaries by separating implementation failures from expected verification errors.
 - Current runner input parsing maps malformed JSON to `INVALID_SNAPSHOT_SCHEMA`.
 - Future real execution may clarify whether malformed JSON should remain `INVALID_SNAPSHOT_SCHEMA` or become a future `INVALID_JSON` code.
-- Real execution may require representable cases for unsupported profiles and missing references before stable promotion.
+- The official conformance pack now includes a representable unsupported canonicalization profile case for `UNSUPPORTED_CANONICALIZATION_PROFILE`.
+- Real execution may require additional representable cases for unsupported reconstruction profiles and missing references before stable promotion.
 
 Stable-readiness checklist
 --------------------------
diff --git a/docs/CORE_2_RELEASE_CHECKLIST.md b/docs/CORE_2_RELEASE_CHECKLIST.md
@@ -15,9 +15,9 @@ The following MUST be true before creating a draft tag:
 - The `main` branch is clean and up-to-date with the intended release content.
 - `go test ./...` passes across the repository.
 - The experimental conformance CLI human-readable run passes against
-  `testdata/core_2_conformance` (shows a summary like `total=10 passed=10 failed=0`).
+  `testdata/core_2_conformance` (shows a summary like `total=11 passed=11 failed=0`).
 - The experimental conformance CLI `--json` run passes and emits a machine
-  report containing `"status": "PASS"`, `"total": 10`, `"passed": 10`,
+  report containing `"status": "PASS"`, `"total": 11`, `"passed": 11`,
   and `"failed": 0` for the included conformance pack.
 - CI conformance checks (GitHub Actions) pass for the branch and PR.
 - Verify Result v2 schema exists (`schemas/verify_result_v2.schema.json`).
diff --git a/docs/CORE_2_RELEASE_NOTES_DRAFT.md b/docs/CORE_2_RELEASE_NOTES_DRAFT.md
@@ -44,7 +44,7 @@ Tested
 - Expected output when running the CLI locally:
 
 ```
-Conformance run summary: total=10 passed=10 failed=0
+Conformance run summary: total=11 passed=11 failed=0
 ```
 
 Not included in this milestone
diff --git a/docs/CORE_2_STATUS.md b/docs/CORE_2_STATUS.md
@@ -123,6 +123,10 @@ This document summarizes the current hardening status for DigiEmu Core 2.0: what
 	through the centralized observed-vs-expected comparison path, preserving
 	`ERROR` / `INVALID_SNAPSHOT_SCHEMA` behavior.
 
+- Unsupported profile coverage: the official Core 2.0 conformance pack now has
+	11 cases, including an unsupported canonicalization profile case represented
+	as `ERROR` / `UNSUPPORTED_CANONICALIZATION_PROFILE`.
+
 ## Known Risks
 
 - Verify Result v2 remains draft and is not yet active CLI behavior.
diff --git a/internal/conformance/runner.go b/internal/conformance/runner.go
@@ -139,10 +139,26 @@ func observeInput(caseDir string, expected Result) (observedResult, error) {
 	if err := json.Unmarshal(b, &input); err != nil {
 		return observedResult{Result: "ERROR", ReasonCode: "INVALID_SNAPSHOT_SCHEMA"}, nil
 	}
+	if hasUnsupportedCanonicalizationProfile(input) {
+		return observedResult{Result: "ERROR", ReasonCode: "UNSUPPORTED_CANONICALIZATION_PROFILE"}, nil
+	}
 
 	return observedResult{Result: expected.Result, ReasonCode: expected.ReasonCode}, nil
 }
 
+func hasUnsupportedCanonicalizationProfile(input any) bool {
+	root, ok := input.(map[string]any)
+	if !ok {
+		return false
+	}
+	state, ok := root["input_state"].(map[string]any)
+	if !ok {
+		return false
+	}
+	profile, ok := state["canonicalization_profile"].(string)
+	return ok && profile != "" && profile != "digiemu-canonical-json-v1"
+}
+
 // RunAll discovers and runs all conformance cases under root.
 // root should point to testdata/core_2_conformance; discovery is non-recursive.
 func RunAll(root string) ([]Result, error) {
diff --git a/internal/conformance/runner_test.go b/internal/conformance/runner_test.go
@@ -112,6 +112,19 @@ func TestRunCaseMalformedInputReasonCodeMismatchFails(t *testing.T) {
 	}
 }
 
+func TestRunCaseUnsupportedCanonicalizationProfileMatchesExpectedError(t *testing.T) {
+	r := RunCase(filepath.Join(repoTestdataPath(), "unsupported_canonicalization_profile_error"))
+	if r.Err != "" {
+		t.Fatalf("expected unsupported_canonicalization_profile_error to pass, got error: %s", r.Err)
+	}
+	if !r.CasePassed {
+		t.Fatalf("expected unsupported_canonicalization_profile_error case_passed true")
+	}
+	if r.Result != "ERROR" || r.ReasonCode != "UNSUPPORTED_CANONICALIZATION_PROFILE" {
+		t.Fatalf("expected ERROR/UNSUPPORTED_CANONICALIZATION_PROFILE, got %s/%s", r.Result, r.ReasonCode)
+	}
+}
+
 func TestCompareObservedExpectedExactMatch(t *testing.T) {
 	observed := observedResult{Result: "PASS", ReasonCode: "STATE_RECONSTRUCTED"}
 	expected := Result{Result: "PASS", ReasonCode: "STATE_RECONSTRUCTED"}
diff --git a/internal/schema/conformance_report_schema_test.go b/internal/schema/conformance_report_schema_test.go
@@ -81,7 +81,7 @@ func TestConformanceReportExampleAndCLIValidateSchema(t *testing.T) {
 	if m["status"] != "PASS" {
 		t.Fatalf("expected status PASS, got %v", m["status"])
 	}
-	if int(m["total"].(float64)) != 10 {
-		t.Fatalf("expected total 10, got %v", m["total"])
+	if int(m["total"].(float64)) != 11 {
+		t.Fatalf("expected total 11, got %v", m["total"])
 	}
 }
diff --git a/testdata/core_2_conformance/unsupported_canonicalization_profile_error/expected_verify_result.json b/testdata/core_2_conformance/unsupported_canonicalization_profile_error/expected_verify_result.json
@@ -0,0 +1,10 @@
+{
+  "verify_result_version": "v2-draft",
+  "result": "ERROR",
+  "reason_code": "UNSUPPORTED_CANONICALIZATION_PROFILE",
+  "canonicalization_profile": "digiemu-canonical-json-v999",
+  "hash_algorithm": "sha256",
+  "reconstruction_profile": "digiemu-reconstruct-v1",
+  "verifier_version": "0.0.0-draft",
+  "failure_path": "/input_state/canonicalization_profile"
+}
diff --git a/testdata/core_2_conformance/unsupported_canonicalization_profile_error/input.json b/testdata/core_2_conformance/unsupported_canonicalization_profile_error/input.json
@@ -0,0 +1,8 @@
+{
+  "input_state": {
+    "id": "unsupported-canonicalization-profile-1",
+    "value": "profile-test",
+    "canonicalization_profile": "digiemu-canonical-json-v999",
+    "description": "Exercise unsupported canonicalization profile handling"
+  }
+}
