project-tiny-context-harness 0.11.0 → 0.12.0

package/dist/lib/long-task-evidence-capability-runtime.js

@@ -1,628 +0,0 @@
-import { evaluateExactDigestComparison, exactComparisonResultIdentity, } from "./long-task-exact-comparison.js";
-import { admittedObservationAuthorityKey, isJsonPointerExactOracle, resolveObservationAuthority, } from "./long-task-admitted-observation.js";
-import { validateSemanticFactEvidence } from "./long-task-semantic-fact-evidence.js";
-export { evaluateExactDigestComparison, exactComparisonResultIdentity };
-export function validateRuntimeEvidenceRecord(check, record, artifactHashes, admittedObservations, hostAttestation = null) {
-    const admittedObservationIssue = validateAdmittedObservationRecord(check, record, admittedObservations);
-    if (admittedObservationIssue)
-        return admittedObservationIssue;
-    switch (record.capability) {
-        case "interaction_trace":
-            return validateInteractionTrace(check, record, hostAttestation);
-        case "state_delta":
-            return validateStateDelta(record);
-        case "cross_surface_consistency":
-            return validateCrossSurfaceConsistency(check, record);
-        case "durable_readback":
-            return validateDurableReadback(record);
-        case "boundary_invocation":
-        case "external_side_effect":
-            return validateObserverEvidence(check, record.observer_target_ref);
-        case "actual_provenance":
-            return validateActualProvenance(check, record);
-        case "distinct_identity":
-            return validateDistinctIdentity(record);
-        case "data_state":
-            return validateDataState(record);
-        case "population_coverage":
-            return validatePopulationCoverage(record);
-        case "failure_injection":
-            return validateFailureInjection(record);
-        case "recovery":
-            return validateRecovery(record);
-        case "visual_render":
-            return validateVisualRender(record, artifactHashes);
-        case "design_conformance":
-            return validateDesignConformance(check, record, artifactHashes);
-        case "design_method":
-            return validateDesignMethod(check, record, artifactHashes);
-        case "design_symbolic_certificate":
-            return validateDesignSymbolicCertificate(check, record, artifactHashes);
-        case "semantic_fact":
-            return validateSemanticFactEvidence(check, record, artifactHashes);
-        case "target_runtime":
-            return validateTargetRuntime(check, record, hostAttestation);
-        case "input_variation":
-            return validateInputVariation(record);
-    }
-}
-function validateStateDelta(record) {
-    if (record.before_sha256 === record.after_sha256)
-        return "state_unchanged";
-    return record.changed_fields.length ? null : "changed_fields_empty";
-}
-function validateDurableReadback(record) {
-    if (record.write_session_id === record.read_session_id)
-        return "independent_session_required";
-    return record.written_sha256 === record.read_sha256
-        ? null
-        : "readback_mismatch";
-}
-function validateActualProvenance(check, record) {
-    return record.source_kind === "observer_runtime" &&
-        check.execution_target_definition.role !== "observer"
-        ? "observer_provenance_target_required"
-        : null;
-}
-function validateDistinctIdentity(record) {
-    if (record.identities.length < 2)
-        return "two_identities_required";
-    if (new Set(record.identities.map((item) => item.identity_ref)).size !==
-        record.identities.length)
-        return "identity_duplicate";
-    return new Set(record.identities.map((item) => item.data_state_sha256)).size <
-        2
-        ? "independent_data_states_required"
-        : null;
-}
-function validateDataState(record) {
-    return record.read_session_id.trim() ? null : "read_session_required";
-}
-function validatePopulationCoverage(record) {
-    return record.set_equality ? null : "set_equality_required";
-}
-function validateFailureInjection(record) {
-    return record.failure_observed ? null : "failure_not_observed";
-}
-function validateRecovery(record) {
-    return record.failure_session_id === record.recovery_session_id
-        ? "independent_recovery_session_required"
-        : null;
-}
-function validateVisualRender(record, artifactHashes) {
-    return artifactHashes[record.artifact_path] === record.artifact_sha256
-        ? null
-        : "artifact_hash_mismatch";
-}
-function validateAdmittedObservationRecord(check, record, admitted) {
-    if (record.capability === "semantic_fact" &&
-        record.observer_results.length > 0)
-        return "semantic_fact_machine_observer_not_admitted";
-    const candidates = runtimeAdmittedObservationCandidates(record);
-    for (const candidate of candidates) {
-        if (!isJsonPointerExactOracle(candidate.oracle))
-            return "custom_oracle_machine_completion_forbidden";
-        const authorityResolution = resolveObservationAuthority(check, {
-            assertion_key: record.assertion_key,
-            identity_ref: candidate.identity_ref,
-            method: record.capability === "semantic_fact" ||
-                record.capability === "design_method"
-                ? record.method
-                : "exact_value",
-        });
-        if (!authorityResolution.authority)
-            return authorityResolution.reason;
-        if (authorityResolution.authority.authority === "external_confirmation")
-            return "unsupported_observer_requires_external_confirmation";
-        if (!admitted)
-            return "admitted_observation_runtime_required";
-        const key = admittedObservationAuthorityKey(authorityResolution.authority);
-        const prepared = admitted.by_authority_key.get(key);
-        if (!prepared ||
-            prepared.obligation_ref !== authorityResolution.authority.obligation_ref)
-            return "admitted_observation_missing";
-        if (prepared.reason)
-            return prepared.reason;
-        if (!prepared.observation)
-            return "admitted_observation_missing";
-        if (authorityResolution.authority.authority === "package_static_json_exact" &&
-            (prepared.observation.artifact_path !==
-                candidate.actual_observation.artifact_path ||
-                prepared.observation.artifact_sha256 !==
-                    candidate.actual_observation.artifact_sha256))
-            return "admitted_observation_artifact_mismatch";
-        if (candidate.actual_observation.locator.kind !== "json_pointer" ||
-            candidate.actual_observation.locator.value !==
-                authorityResolution.authority.locator_policy.value)
-            return "observation_locator_identity_mismatch";
-        if (prepared.observation.value_sha256 !==
-            candidate.actual_observation.value_sha256)
-            return "admitted_observation_value_mismatch";
-    }
-    return null;
-}
-function runtimeAdmittedObservationCandidates(record) {
-    if (record.capability === "semantic_fact")
-        return [
-            {
-                identity_ref: record.fact_ref,
-                actual_observation: record.actual_observation,
-                oracle: record.oracle,
-            },
-        ];
-    if (record.capability !== "design_method")
-        return [];
-    return "fact_model" in record
-        ? record.rule_results.map((result) => ({
-            identity_ref: result.obligation_ref,
-            actual_observation: result.actual_observation,
-            oracle: result.oracle,
-        }))
-        : record.cells.flatMap((cell) => cell.fact_results.map((result) => ({
-            identity_ref: result.fact_ref,
-            actual_observation: result.actual_observation,
-            oracle: result.oracle,
-        })));
-}
-function validateDesignMethod(check, record, artifactHashes) {
-    return "fact_model" in record
-        ? validateSymbolicDesignMethod(check, record, artifactHashes)
-        : validateGroundDesignMethod(check, record, artifactHashes);
-}
-function validateGroundDesignMethod(check, record, artifactHashes) {
-    const target = (check.design_conformance_targets ?? []).find((item) => item.key === record.design_target_ref &&
-        item.verification_method_bindings.some((binding) => binding.assertion_ref === record.assertion_key &&
-            binding.method === record.method));
-    if (!target)
-        return "design_method_binding_unknown";
-    if (target.target_ref !== record.target_ref ||
-        target.target_ref !== check.execution_target.target_ref)
-        return "target_mismatch";
-    const binding = target.verification_method_bindings.find((item) => item.assertion_ref === record.assertion_key &&
-        item.method === record.method);
-    return validateGroundDesignCells(target, binding, record, artifactHashes);
-}
-function validateGroundDesignCells(target, binding, record, artifactHashes) {
-    if (!same([...record.cells.map((item) => item.condition_key)].sort(), [...target.condition_keys].sort()))
-        return "design_method_conditions_mismatch";
-    const expected = new Map(binding.evidence_artifacts.map((item) => [
-        item.condition_key,
-        {
-            artifact_path: item.path,
-            observation_artifact_path: item.observation_path,
-            fact_refs: item.fact_refs,
-            fact_expectations: item.fact_expectations,
-        },
-    ]));
-    if (record.cells.length !== expected.size)
-        return "design_method_cell_count_mismatch";
-    return validateGroundCellSet(record, expected, artifactHashes);
-}
-function validateGroundCellSet(record, expected, artifactHashes) {
-    for (const cell of record.cells) {
-        const expectedCell = expected.get(cell.condition_key);
-        if (expectedCell?.artifact_path !== cell.artifact_path ||
-            expectedCell?.observation_artifact_path !== cell.observation_artifact_path)
-            return "design_method_artifact_path_mismatch";
-        if (!same([...cell.fact_refs].sort(), [...(expectedCell?.fact_refs ?? [])].sort()))
-            return "design_method_fact_refs_mismatch";
-        if (!same([...cell.fact_results.map((item) => item.fact_ref)].sort(), [...(expectedCell?.fact_refs ?? [])].sort()))
-            return "design_method_fact_results_mismatch";
-        if (!artifactHashes[cell.artifact_path])
-            return "design_method_artifact_missing";
-        if (!artifactHashes[cell.observation_artifact_path])
-            return "design_method_observation_artifact_missing";
-        const resultIssue = validateGroundCellResults(cell, expectedCell, artifactHashes);
-        if (resultIssue)
-            return resultIssue;
-    }
-    return null;
-}
-function validateGroundCellResults(cell, expectedCell, artifactHashes) {
-    const expectations = new Map(expectedCell.fact_expectations.map((item) => [item.fact_ref, item]));
-    const actualIdentities = new Set();
-    const comparisonIdentities = new Set();
-    for (const result of cell.fact_results) {
-        const expectation = expectations.get(result.fact_ref);
-        if (!expectation)
-            return "design_method_fact_expectation_missing";
-        const identityIssue = validateGroundFactIdentity(result, expectation);
-        if (identityIssue)
-            return identityIssue;
-        const authorityIssue = validateGroundFactAuthority(result, expectation);
-        if (authorityIssue)
-            return authorityIssue;
-        const artifactIssue = validateGroundFactArtifacts(result, expectation, cell, artifactHashes);
-        if (artifactIssue)
-            return artifactIssue;
-        const exactIssue = validateGroundExactComparison(result);
-        if (exactIssue)
-            return exactIssue;
-        const actualIdentity = `${result.actual_observation.artifact_path}\0${canonicalJson(result.actual_observation.locator)}`;
-        if (actualIdentities.has(actualIdentity))
-            return "design_method_actual_observation_reused";
-        actualIdentities.add(actualIdentity);
-        const comparisonIdentity = `${result.comparison.artifact_path}\0${canonicalJson(result.comparison.locator)}`;
-        if (comparisonIdentities.has(comparisonIdentity))
-            return "design_method_comparison_result_reused";
-        comparisonIdentities.add(comparisonIdentity);
-        if (result.verdict !== "passed" || result.comparison.passed !== true)
-            return "design_method_fact_failed";
-    }
-    return null;
-}
-function validateGroundExactComparison(result) {
-    if (result.comparison.comparator !== "exact_value" ||
-        result.comparison.mode !== "exact")
-        return null;
-    if (result.comparison.tolerance !== null || result.comparison.mask !== null)
-        return "design_method_comparison_authority_mismatch";
-    const recomputed = evaluateExactDigestComparison({
-        identity: {
-            kind: "selected_design_ground_v1",
-            fact_ref: result.fact_ref,
-            subject_ref: result.subject_ref,
-            variation_ref: result.variation_ref,
-            property_ref: result.property_ref,
-        },
-        ...exactComparisonMaterial(result),
-    });
-    if (!recomputed.passed)
-        return "design_method_exact_value_mismatch";
-    return result.comparison.result_sha256 === recomputed.result_sha256
-        ? null
-        : "design_method_comparison_result_identity_mismatch";
-}
-function validateGroundFactIdentity(result, expectation) {
-    if (result.subject_ref !== expectation.subject_ref ||
-        result.variation_ref !== expectation.variation_ref ||
-        result.property_ref !== expectation.property_ref ||
-        result.actual_observation.sensitivity !==
-            expectation.observation_sensitivity)
-        return "design_method_fact_identity_mismatch";
-    if ((result.actual_observation.sensitivity === "plain" &&
-        result.actual_observation.redaction !== null) ||
-        (result.actual_observation.sensitivity === "protected" &&
-            result.actual_observation.redaction === null))
-        return "design_method_observation_protection_mismatch";
-    return canonicalJson(result.expected) === canonicalJson(expectation.expected)
-        ? null
-        : "design_method_expected_value_mismatch";
-}
-function validateGroundFactAuthority(result, expectation) {
-    if (result.comparison.comparator !== expectation.comparison.comparator ||
-        result.comparison.mode !== expectation.comparison.mode ||
-        canonicalJson(result.comparison.parameters) !==
-            canonicalJson(expectation.comparison.parameters) ||
-        canonicalJson(result.comparison.tolerance) !==
-            canonicalJson(expectation.comparison.tolerance) ||
-        canonicalJson(result.comparison.mask) !==
-            canonicalJson(expectation.comparison.mask))
-        return "design_method_comparison_authority_mismatch";
-    return canonicalJson(result.oracle) === canonicalJson(expectation.oracle) &&
-        canonicalJson(result.environment) === canonicalJson(expectation.environment)
-        ? null
-        : "design_method_oracle_environment_mismatch";
-}
-function validateGroundFactArtifacts(result, expectation, cell, artifactHashes) {
-    if (result.actual_observation.artifact_path !==
-        cell.observation_artifact_path ||
-        result.actual_observation.artifact_sha256 !==
-            artifactHashes[cell.observation_artifact_path])
-        return "design_method_actual_observation_mismatch";
-    if (result.actual_environment.artifact_path !==
-        cell.observation_artifact_path ||
-        result.actual_environment.artifact_sha256 !==
-            artifactHashes[cell.observation_artifact_path] ||
-        result.actual_environment.value_sha256 !==
-            expectation.environment.definition.sha256)
-        return "design_method_actual_environment_mismatch";
-    return result.comparison.artifact_path === cell.artifact_path &&
-        result.comparison.artifact_sha256 === artifactHashes[cell.artifact_path]
-        ? null
-        : "design_method_comparison_artifact_mismatch";
-}
-function validateSymbolicDesignMethod(check, record, artifactHashes) {
-    const target = (check.design_conformance_targets ?? []).find((item) => item.key === record.design_target_ref &&
-        item.fact_model === "symbolic_rules_v2" &&
-        (item.symbolic_method_bindings ?? []).some((binding) => binding.assertion_ref === record.assertion_key &&
-            binding.method === record.method));
-    if (!target)
-        return "design_symbolic_method_binding_unknown";
-    if (target.target_ref !== record.target_ref ||
-        target.target_ref !== check.execution_target.target_ref)
-        return "target_mismatch";
-    const binding = target.symbolic_method_bindings.find((item) => item.assertion_ref === record.assertion_key &&
-        item.method === record.method);
-    if (binding.artifact_path !== record.artifact_path ||
-        binding.observation_path !== record.observation_artifact_path)
-        return "design_symbolic_method_artifact_path_mismatch";
-    if (!artifactHashes[record.artifact_path])
-        return "design_symbolic_method_artifact_missing";
-    if (!artifactHashes[record.observation_artifact_path])
-        return "design_symbolic_method_observation_artifact_missing";
-    const expectedRefs = binding.rule_expectations
-        .map((item) => item.obligation_ref)
-        .sort();
-    const actualRefs = record.rule_results
-        .map((item) => item.obligation_ref)
-        .sort();
-    if (new Set(actualRefs).size !== actualRefs.length ||
-        !same(actualRefs, expectedRefs))
-        return "design_symbolic_method_obligations_mismatch";
-    return validateSymbolicRuleResults(binding, record, artifactHashes);
-}
-function validateSymbolicRuleResults(binding, record, artifactHashes) {
-    const expectations = new Map(binding.rule_expectations.map((item) => [item.obligation_ref, item]));
-    const actualIdentities = new Set();
-    const comparisonIdentities = new Set();
-    for (const result of record.rule_results) {
-        const expectation = expectations.get(result.obligation_ref);
-        if (!expectation)
-            return "design_symbolic_method_expectation_missing";
-        const identityIssue = validateSymbolicResultIdentity(result, expectation);
-        if (identityIssue)
-            return identityIssue;
-        const authorityIssue = validateSymbolicResultAuthority(result, expectation);
-        if (authorityIssue)
-            return authorityIssue;
-        const artifactIssue = validateSymbolicResultArtifacts(result, expectation, record, artifactHashes);
-        if (artifactIssue)
-            return artifactIssue;
-        const exactIssue = validateSymbolicExactComparison(result);
-        if (exactIssue)
-            return exactIssue;
-        const actualIdentity = `${result.actual_observation.artifact_path}\0${canonicalJson(result.actual_observation.locator)}`;
-        if (actualIdentities.has(actualIdentity))
-            return "design_symbolic_method_actual_observation_reused";
-        actualIdentities.add(actualIdentity);
-        const comparisonIdentity = `${result.comparison.artifact_path}\0${canonicalJson(result.comparison.locator)}`;
-        if (comparisonIdentities.has(comparisonIdentity))
-            return "design_symbolic_method_comparison_result_reused";
-        comparisonIdentities.add(comparisonIdentity);
-        if (result.verdict !== "passed" || result.comparison.passed !== true)
-            return "design_symbolic_method_obligation_failed";
-    }
-    return null;
-}
-function validateSymbolicExactComparison(result) {
-    if (result.comparison.comparator !== "exact_value" ||
-        result.comparison.mode !== "exact")
-        return null;
-    if (result.comparison.tolerance !== null || result.comparison.mask !== null)
-        return "design_symbolic_method_comparison_authority_mismatch";
-    const recomputed = evaluateExactDigestComparison({
-        identity: {
-            kind: "selected_design_symbolic_v2",
-            obligation_ref: result.obligation_ref,
-            fact_rule_ref: result.fact_rule_ref,
-            region_sha256: result.region_sha256,
-            subject_or_relation_ref: result.subject_or_relation_ref,
-            property_ref: result.property_ref,
-            population_ref: result.population_ref,
-            quantifier: result.quantifier,
-        },
-        ...exactComparisonMaterial(result),
-    });
-    if (!recomputed.passed)
-        return "design_symbolic_method_exact_value_mismatch";
-    return result.comparison.result_sha256 === recomputed.result_sha256
-        ? null
-        : "design_symbolic_method_comparison_result_identity_mismatch";
-}
-function exactComparisonMaterial(result) {
-    return {
-        actual_value_sha256: result.actual_observation.value_sha256,
-        expected_value_sha256: result.expected.sha256,
-        comparator: result.comparison.comparator,
-        mode: result.comparison.mode,
-        parameters_sha256: result.comparison.parameters.sha256,
-        tolerance_sha256: result.comparison.tolerance?.sha256 ?? null,
-        mask_sha256: result.comparison.mask?.sha256 ?? null,
-    };
-}
-function validateSymbolicResultIdentity(result, expectation) {
-    if (result.fact_rule_ref !== expectation.fact_rule_ref ||
-        result.region_sha256 !== expectation.region_sha256 ||
-        result.subject_or_relation_ref !== expectation.subject_or_relation_ref ||
-        result.property_ref !== expectation.property_ref ||
-        result.population_ref !== expectation.population_ref ||
-        canonicalJson(result.quantifier) !==
-            canonicalJson(expectation.quantifier) ||
-        result.observation_sensitivity !== expectation.observation_sensitivity)
-        return "design_symbolic_method_identity_mismatch";
-    if (result.actual_observation.sensitivity !==
-        expectation.observation_sensitivity ||
-        (result.actual_observation.sensitivity === "plain" &&
-            result.actual_observation.redaction !== null) ||
-        (result.actual_observation.sensitivity === "protected" &&
-            result.actual_observation.redaction === null))
-        return "design_symbolic_method_observation_protection_mismatch";
-    return canonicalJson(result.expected) === canonicalJson(expectation.expected)
-        ? null
-        : "design_symbolic_method_expected_value_mismatch";
-}
-function validateSymbolicResultAuthority(result, expectation) {
-    if (result.proof_surface !== expectation.proof_surface ||
-        result.observation_boundary !== expectation.observation_boundary ||
-        result.protected_value_policy !== expectation.protected_value_policy ||
-        result.completion_effect !== expectation.completion_effect)
-        return "design_symbolic_method_proof_denotation_mismatch";
-    if (result.comparison.comparator !== expectation.comparison.comparator ||
-        result.comparison.mode !== expectation.comparison.mode ||
-        canonicalJson(result.comparison.parameters) !==
-            canonicalJson(expectation.comparison.parameters) ||
-        canonicalJson(result.comparison.tolerance) !==
-            canonicalJson(expectation.comparison.tolerance) ||
-        canonicalJson(result.comparison.mask) !==
-            canonicalJson(expectation.comparison.mask))
-        return "design_symbolic_method_comparison_authority_mismatch";
-    return canonicalJson(result.oracle) === canonicalJson(expectation.oracle) &&
-        canonicalJson(result.environment) === canonicalJson(expectation.environment)
-        ? null
-        : "design_symbolic_method_oracle_environment_mismatch";
-}
-function validateSymbolicResultArtifacts(result, expectation, record, artifactHashes) {
-    if (result.actual_observation.artifact_path !==
-        record.observation_artifact_path ||
-        result.actual_observation.artifact_sha256 !==
-            artifactHashes[record.observation_artifact_path])
-        return "design_symbolic_method_actual_observation_mismatch";
-    if (result.actual_environment.artifact_path !==
-        record.observation_artifact_path ||
-        result.actual_environment.artifact_sha256 !==
-            artifactHashes[record.observation_artifact_path] ||
-        result.actual_environment.value_sha256 !==
-            expectation.environment.definition.sha256)
-        return "design_symbolic_method_actual_environment_mismatch";
-    return result.comparison.artifact_path === record.artifact_path &&
-        result.comparison.artifact_sha256 === artifactHashes[record.artifact_path]
-        ? null
-        : "design_symbolic_method_comparison_artifact_mismatch";
-}
-function validateDesignSymbolicCertificate(check, record, artifactHashes) {
-    const target = (check.design_conformance_targets ?? []).find((item) => item.key === record.design_target_ref &&
-        item.fact_model === "symbolic_rules_v2" &&
-        item.symbolic_certificate_binding?.assertion_ref === record.assertion_key);
-    if (!target)
-        return "design_symbolic_certificate_binding_unknown";
-    if (target.target_ref !== record.target_ref ||
-        target.target_ref !== check.execution_target.target_ref)
-        return "target_mismatch";
-    const binding = target.symbolic_certificate_binding;
-    if (record.artifact_path !== binding.artifact_path)
-        return "design_symbolic_certificate_artifact_path_mismatch";
-    if (artifactHashes[record.artifact_path] !== record.artifact_sha256)
-        return "design_symbolic_certificate_artifact_hash_mismatch";
-    if (canonicalJson(record.metrics) !== canonicalJson(binding.metrics))
-        return "design_symbolic_certificate_metrics_mismatch";
-    const expectedRefs = binding.expectations
-        .map((item) => item.certificate_ref)
-        .sort();
-    const actualRefs = record.certificate_results
-        .map((item) => item.certificate_ref)
-        .sort();
-    if (new Set(actualRefs).size !== actualRefs.length ||
-        !same(actualRefs, expectedRefs))
-        return "design_symbolic_certificate_results_mismatch";
-    const expectations = new Map(binding.expectations.map((item) => [item.certificate_ref, item]));
-    for (const result of record.certificate_results) {
-        const expectation = expectations.get(result.certificate_ref);
-        if (!expectation)
-            return "design_symbolic_certificate_expectation_missing";
-        if (canonicalJson({
-            certificate_ref: result.certificate_ref,
-            fact_rule_refs: result.fact_rule_refs,
-            omitted_axis_refs: result.omitted_axis_refs,
-            dependency_edge_refs: result.dependency_edge_refs,
-            canonical_rule_dag_sha256: result.canonical_rule_dag_sha256,
-            ...(result.source_noninterference_proof_sha256 === undefined
-                ? {}
-                : {
-                    source_noninterference_proof_sha256: result.source_noninterference_proof_sha256,
-                }),
-            ...(result.production_noninterference_proof_sha256 === undefined
-                ? {}
-                : {
-                    production_noninterference_proof_sha256: result.production_noninterference_proof_sha256,
-                }),
-        }) !== canonicalJson(expectation))
-            return "design_symbolic_certificate_denotation_mismatch";
-        if (result.recomputed !== true)
-            return "design_symbolic_certificate_not_recomputed";
-        if (result.verdict !== "passed")
-            return "design_symbolic_certificate_failed";
-    }
-    return null;
-}
-function canonicalJson(value) {
-    if (Array.isArray(value))
-        return `[${value.map((item) => canonicalJson(item)).join(",")}]`;
-    if (value && typeof value === "object")
-        return `{${Object.entries(value)
-            .sort(([left], [right]) => left.localeCompare(right))
-            .map(([key, entry]) => `${JSON.stringify(key)}:${canonicalJson(entry)}`)
-            .join(",")}}`;
-    return JSON.stringify(value);
-}
-function validateDesignConformance(check, record, artifactHashes) {
-    const target = (check.design_conformance_targets ?? []).find((item) => item.key === record.design_target_ref &&
-        designTargetUsesAssertion(item, record.assertion_key));
-    if (!target)
-        return "design_target_unknown";
-    if (target.target_ref !== record.target_ref ||
-        target.target_ref !== check.execution_target.target_ref)
-        return "target_mismatch";
-    if (!same([...target.condition_keys].sort(), [...record.condition_keys].sort()))
-        return "design_conditions_mismatch";
-    if (target.actual_artifact_path !== record.actual_artifact_path ||
-        target.comparison_artifact_path !== record.comparison_artifact_path)
-        return "design_artifact_path_mismatch";
-    if (!artifactHashes[record.actual_artifact_path])
-        return "actual_artifact_missing";
-    if (!artifactHashes[record.comparison_artifact_path])
-        return "comparison_artifact_missing";
-    return null;
-}
-function designTargetUsesAssertion(target, assertionKey) {
-    return (target.conformance_assertion_ref === assertionKey ||
-        target.verification_method_bindings.some((item) => item.assertion_ref === assertionKey) ||
-        (target.symbolic_method_bindings ?? []).some((item) => item.assertion_ref === assertionKey));
-}
-function validateInteractionTrace(check, record, hostAttestation) {
-    if (!hostAttestation?.direct_root_match)
-        return "legacy_interaction_trace_non_authoritative";
-    if (record.target_ref !== check.execution_target.target_ref)
-        return "target_mismatch";
-    if (!same(record.given_keys, check.scenario.given.map((step) => step.key)))
-        return "given_trace_mismatch";
-    if (!same(record.action_keys, check.scenario.when.map((step) => step.key)))
-        return "action_trace_mismatch";
-    return null;
-}
-function validateCrossSurfaceConsistency(check, record) {
-    const surfaces = new Set(record.surfaces.map((surface) => surface.surface_ref));
-    const targets = new Set(record.surfaces.map((surface) => surface.target_ref));
-    const states = new Set(record.surfaces.map((surface) => surface.state_sha256));
-    if (surfaces.size < 2)
-        return "two_surfaces_required";
-    if (states.size !== 1)
-        return "state_hash_mismatch";
-    if ([...targets].some((target) => !check.known_execution_targets.some((item) => item.key === target)))
-        return "target_unknown";
-    return null;
-}
-function validateObserverEvidence(check, observerTargetRef) {
-    const observer = check.known_execution_targets.find((target) => target.key === observerTargetRef);
-    if (!observer || observer.role !== "observer")
-        return "observer_target_invalid";
-    if (observer.key !== check.execution_target.target_ref)
-        return "check_must_execute_on_observer";
-    return null;
-}
-function validateTargetRuntime(check, record, hostAttestation) {
-    if (!hostAttestation?.direct_root_match)
-        return "legacy_target_runtime_non_authoritative";
-    if (record.target_ref !== check.execution_target.target_ref)
-        return "target_mismatch";
-    if (record.root_entrypoint !== check.execution_target_definition.root_entrypoint)
-        return "root_entrypoint_mismatch";
-    if (check.execution_target.entrypoint === "root" && !record.cold_start)
-        return "cold_start_required";
-    return null;
-}
-function validateInputVariation(record) {
-    const inputs = new Set(record.cases.map((item) => item.input_sha256));
-    const outputs = new Set(record.cases.map((item) => item.output_sha256));
-    if (inputs.size < 2)
-        return "distinct_inputs_required";
-    if (outputs.size < 2)
-        return "input_must_reach_output";
-    if (!record.failure_case_observed)
-        return "failure_case_required";
-    return null;
-}
-function same(left, right) {
-    return (left.length === right.length &&
-        left.every((value, index) => value === right[index]));
-}