rea-agents 2.4.0 → 3.0.0

package/dist/application/ReconstructionObligationAuthority.js

@@ -0,0 +1,72 @@
+const proofEvidenceAuthorities = {
+    unit: ["shipped-artifact", "controlled-replay"],
+    integration: ["controlled-replay"],
+    protocol: ["controlled-replay", "external-service"],
+    renderer: ["controlled-replay", "external-service"],
+    "packaged-process": ["controlled-replay"],
+    "native-abi": ["shipped-artifact", "controlled-replay"],
+    "live-observation": ["controlled-replay", "external-service"],
+    external: ["external-service"],
+};
+/** Return whether an actual reconstruction proof is comparable to a requirement. */
+export const proofAuthoritySatisfies = (actual, required) => {
+    const accepted = {
+        unit: [
+            "unit",
+            "integration",
+            "protocol",
+            "renderer",
+            "packaged-process",
+            "native-abi",
+            "live-observation",
+            "external",
+        ],
+        integration: [
+            "integration",
+            "protocol",
+            "renderer",
+            "packaged-process",
+            "native-abi",
+            "live-observation",
+        ],
+        protocol: ["protocol", "packaged-process", "live-observation"],
+        renderer: ["renderer", "packaged-process", "live-observation"],
+        "packaged-process": ["packaged-process", "live-observation"],
+        "native-abi": ["native-abi"],
+        "live-observation": ["live-observation"],
+        external: ["external"],
+    };
+    return accepted[required].includes(actual);
+};
+/** Check that Evidence can authenticate the declared reconstruction authority. */
+export const evidenceAuthoritySupportsProof = (evidence, authority, expected) => {
+    if (evidence.confidence !== "observed" ||
+        !proofEvidenceAuthorities[authority].includes(evidence.authority) ||
+        evidence.predicate_type !== "rea.reconstruction-proof/v1" ||
+        evidence.operation !== "verify_reconstruction_obligations")
+        return false;
+    const result = evidence.normalized_result;
+    if (typeof result !== "object" || result === null || Array.isArray(result))
+        return false;
+    const includes = (key, value) => value === undefined ||
+        (Array.isArray(result[key]) && result[key].includes(value));
+    return (result.passed === true &&
+        includes("obligation_ids", expected.obligationId) &&
+        includes("fixture_ids", expected.fixtureId) &&
+        includes("case_kinds", expected.caseKind) &&
+        includes("verifier_ids", expected.verifierId) &&
+        includes("claim_ids", expected.claimId));
+};
+/** Check that Evidence observes the original at the required boundary. */
+export const evidenceSupportsOriginalAuthority = (evidence, authority) => {
+    if (evidence.confidence !== "observed")
+        return false;
+    if (authority === "static")
+        return evidence.authority === "shipped-artifact";
+    if (authority === "runtime")
+        return ["controlled-replay", "external-service"].includes(evidence.authority);
+    if (authority === "process")
+        return (evidence.operation === "capture_process_scenario" &&
+            evidence.predicate_type === "rea.process-capture/v4");
+    return evidence.authority === "external-service";
+};

package/dist/application/ReconstructionObligationCandidates.js

@@ -0,0 +1,265 @@
+import { createHash } from "node:crypto";
+import canonicalize from "canonicalize";
+import { parseEvidenceBundle, } from "../domain/evidenceBundle.js";
+import { parseProcessCapture } from "../domain/processCapture.js";
+import { parseApplicationGraphEvidence } from "./JavaScriptApplicationEvidenceGraph.js";
+import { applicationObligationPolicy, semanticObligationPolicy, } from "./ReconstructionObligationPolicies.js";
+/** Derive conservative candidates from graph, process, and reviewed inputs. */
+export const deriveReconstructionObligationCandidates = (bundleInput, reviewed) => {
+    const bundle = parseEvidenceBundle(bundleInput);
+    const records = new Map(bundle.records.map((record) => [record.evidence_id, record]));
+    const candidates = new Map();
+    const limitations = new Set();
+    for (const evidence of bundle.records) {
+        deriveApplicationCandidates(evidence, records, candidates, limitations);
+        deriveProcessCandidate(evidence, candidates, limitations);
+    }
+    for (const obligation of reviewed)
+        addCandidate(candidates, reviewedCandidate(obligation, records));
+    return {
+        candidates: [...candidates.values()].sort((left, right) => left.obligation_id.localeCompare(right.obligation_id)),
+        limitations: [...limitations].sort(),
+    };
+};
+const deriveApplicationCandidates = (evidence, records, candidates, limitations) => {
+    if (![
+        "analyze_javascript_application",
+        "reconcile_javascript_runtime",
+        "project_managed_application_graph",
+    ].includes(evidence.operation))
+        return;
+    try {
+        const source = parseApplicationGraphEvidence(evidence);
+        for (const node of source.graph.nodes) {
+            const candidatePolicy = applicationObligationPolicy(node.kind);
+            if (candidatePolicy === undefined)
+                continue;
+            const reference = node.observations.map((observation) => graphReference(evidence, records, observation.evidence, `${source.graph.graph_id}/node/${node.node_id}/observation/${observation.observation_id}`));
+            addCandidate(candidates, generatedCandidate({
+                key: `application:${node.node_id}:${candidatePolicy.family}`,
+                title: node.observations[0]?.label ?? `${node.kind} boundary`,
+                policy: candidatePolicy,
+                artifactSha256: source.rootArtifactSha256,
+                applicationNodeId: node.node_id,
+                semanticNodeId: null,
+                location: `application-graph:${source.graph.graph_id}/nodes/${node.node_id}`,
+                authorityReferences: reference,
+            }));
+        }
+        if (source.semanticGraph !== null)
+            for (const node of source.semanticGraph.nodes) {
+                const candidatePolicy = semanticObligationPolicy(node.kind);
+                if (candidatePolicy === undefined)
+                    continue;
+                addCandidate(candidates, generatedCandidate({
+                    key: `semantic:${node.node_id}:${candidatePolicy.family}`,
+                    title: node.label ?? `${node.kind} semantic boundary`,
+                    policy: candidatePolicy,
+                    artifactSha256: node.identity.artifact_sha256,
+                    applicationNodeId: node.application_node_ids[0] ?? null,
+                    semanticNodeId: node.node_id,
+                    location: `semantic-graph:${source.semanticGraph.graph_id}/nodes/${node.node_id}`,
+                    authorityReferences: [
+                        graphReference(evidence, records, node.evidence, `${source.semanticGraph.graph_id}/node/${node.node_id}`),
+                    ],
+                }));
+            }
+        if (source.graph.coverage.status !== "complete")
+            limitations.add(`Application graph ${source.graph.graph_id} coverage is ${source.graph.coverage.status}; omitted candidates remain unknown.`);
+    }
+    catch (cause) {
+        limitations.add(`Application Evidence ${evidence.evidence_id} could not generate candidates: ${errorMessage(cause)}`);
+    }
+};
+const deriveProcessCandidate = (evidence, candidates, limitations) => {
+    if (evidence.operation !== "capture_process_scenario" ||
+        evidence.predicate_type !== "rea.process-capture/v4")
+        return;
+    try {
+        const capture = parseProcessCapture(evidence.normalized_result);
+        const observedCases = [
+            {
+                kind: capture.exit.code === 0 ? "positive" : "negative",
+                evidence_id: evidence.evidence_id,
+                location: "/normalized_result/exit",
+            },
+            {
+                kind: "teardown",
+                evidence_id: evidence.evidence_id,
+                location: "/normalized_result/settlement",
+            },
+            ...(capture.exit.signal !== null || capture.exit.reason !== "exited"
+                ? [
+                    {
+                        kind: "cancellation",
+                        evidence_id: evidence.evidence_id,
+                        location: "/normalized_result/exit",
+                    },
+                ]
+                : []),
+        ];
+        addCandidate(candidates, {
+            obligation_id: obligationId(`process:${capture.manifest.executable_sha256}:${capture.manifest.full_scenario_sha256}`),
+            obligation_version: 1,
+            title: "Captured packaged-process lifecycle",
+            origin: "generated",
+            application_layer: "process",
+            family: "packaged-process-lifecycle",
+            target: {
+                artifact_sha256: capture.manifest.executable_sha256,
+                application_node_id: null,
+                semantic_node_id: null,
+                location: `/evidence/${evidence.evidence_id}/normalized_result`,
+            },
+            authority_references: [
+                {
+                    evidence_id: evidence.evidence_id,
+                    authority: evidence.authority,
+                    state: "observed",
+                    location: "/normalized_result",
+                },
+            ],
+            source_state: "observed",
+            observed_cases: observedCases,
+            required: true,
+            required_case_kinds: ["positive", "negative", "cancellation", "teardown"],
+            required_original_authority: "process",
+            required_fixture_authority: "packaged-process",
+            required_verifier_authority: "packaged-process",
+            requires_parser_type: false,
+            dependency_obligation_ids: [],
+            residual_unknown_ids: [],
+            unavailable_authority: capture.residual_unknowns.map(({ scope, reason }) => `${scope}: ${reason}`),
+            required_next_evidence: capture.truncated
+                ? ["Repeat the packaged-process capture without truncation."]
+                : [],
+            definitionCount: 1,
+            disposition: "active",
+        });
+        if (capture.truncated)
+            limitations.add(`Process Evidence ${evidence.evidence_id} is truncated; absence and upper bounds remain unknown.`);
+    }
+    catch (cause) {
+        limitations.add(`Process Evidence ${evidence.evidence_id} could not generate candidates: ${errorMessage(cause)}`);
+    }
+};
+const generatedCandidate = ({ key, title, policy: candidatePolicy, artifactSha256, applicationNodeId, semanticNodeId, location, authorityReferences, }) => ({
+    obligation_id: obligationId(key),
+    obligation_version: 1,
+    title: title.slice(0, 500),
+    origin: "generated",
+    application_layer: candidatePolicy.applicationLayer,
+    family: candidatePolicy.family,
+    target: {
+        artifact_sha256: artifactSha256,
+        application_node_id: applicationNodeId,
+        semantic_node_id: semanticNodeId,
+        location,
+    },
+    authority_references: authorityReferences,
+    source_state: sourceState(authorityReferences),
+    observed_cases: [],
+    required: true,
+    required_case_kinds: candidatePolicy.cases,
+    required_original_authority: candidatePolicy.originalAuthority,
+    required_fixture_authority: candidatePolicy.fixtureAuthority,
+    required_verifier_authority: candidatePolicy.verifierAuthority,
+    requires_parser_type: candidatePolicy.requiresParserType,
+    dependency_obligation_ids: [],
+    residual_unknown_ids: [],
+    unavailable_authority: [],
+    required_next_evidence: [
+        `Obtain ${candidatePolicy.originalAuthority} authority for this finite ${candidatePolicy.family} claim.`,
+    ],
+    definitionCount: 1,
+    disposition: "active",
+});
+const reviewedCandidate = (obligation, records) => {
+    const { review_evidence_ids: reviewEvidenceIds, disposition, ...definition } = obligation;
+    return {
+        ...definition,
+        origin: "reviewed",
+        authority_references: reviewEvidenceIds.map((evidenceId) => {
+            const evidence = records.get(evidenceId);
+            if (evidence === undefined)
+                throw new TypeError(`Reviewed obligation Evidence is missing: ${evidenceId}`);
+            return {
+                evidence_id: evidenceId,
+                authority: evidence.authority,
+                state: reviewedEvidenceState(evidence),
+                location: `/evidence/${evidenceId}`,
+            };
+        }),
+        source_state: "reviewed",
+        observed_cases: [],
+        definitionCount: 1,
+        disposition,
+    };
+};
+const graphReference = (envelope, records, graphEvidence, location) => {
+    const linkedId = graphEvidence.evidence_ids.find((evidenceId) => records.has(evidenceId)) ??
+        envelope.evidence_id;
+    const linked = records.get(linkedId) ?? envelope;
+    const runtimeAuthority = [
+        "passive-cdp-runtime",
+        "controlled-replay",
+    ].includes(graphEvidence.authority);
+    return {
+        evidence_id: linked.evidence_id,
+        authority: linked.authority,
+        state: runtimeAuthority && graphEvidence.state === "observed"
+            ? "observed"
+            : graphEvidence.state === "unknown" ||
+                graphEvidence.state === "unavailable"
+                ? "unknown"
+                : "candidate",
+        location,
+    };
+};
+const reviewedEvidenceState = (evidence) => {
+    if (evidence.operation === "capture_process_scenario" &&
+        evidence.predicate_type === "rea.process-capture/v4" &&
+        evidence.confidence === "observed")
+        return "observed";
+    if (evidence.authority === "external-service" &&
+        evidence.confidence === "observed")
+        return "observed";
+    if (evidence.authority === "shipped-artifact")
+        return "candidate";
+    return "reviewed";
+};
+const addCandidate = (candidates, candidate) => {
+    const current = candidates.get(candidate.obligation_id);
+    if (current === undefined) {
+        candidates.set(candidate.obligation_id, candidate);
+        return;
+    }
+    candidates.set(candidate.obligation_id, {
+        ...current,
+        authority_references: uniqueBy([...current.authority_references, ...candidate.authority_references], (reference) => `${reference.evidence_id}:${reference.state}:${reference.location}`),
+        observed_cases: uniqueBy([...current.observed_cases, ...candidate.observed_cases], (item) => `${item.kind}:${item.evidence_id}:${item.location}`),
+        source_state: sourceState([
+            ...current.authority_references,
+            ...candidate.authority_references,
+        ]),
+        definitionCount: current.definitionCount + candidate.definitionCount,
+    });
+};
+const sourceState = (references) => {
+    if (references.some(({ state }) => state === "observed"))
+        return "observed";
+    if (references.some(({ state }) => state === "candidate"))
+        return "candidate";
+    if (references.some(({ state }) => state === "reviewed"))
+        return "reviewed";
+    return "unknown";
+};
+const uniqueBy = (values, key) => [...new Map(values.map((value) => [key(value), value])).values()].sort((left, right) => key(left).localeCompare(key(right)));
+const obligationId = (key) => `obl_${digest({ schema: "rea.reconstruction-obligation/v1", key })}`;
+const digest = (value) => {
+    const encoded = canonicalize(value);
+    if (encoded === undefined)
+        throw new TypeError("Reconstruction obligation key is not canonical JSON");
+    return createHash("sha256").update(encoded).digest("hex");
+};
+const errorMessage = (cause) => cause instanceof Error ? cause.message : "unknown validation failure";

package/dist/application/ReconstructionObligationLedgerDiagnostics.js

@@ -0,0 +1,47 @@
+export const groupManifestBindings = (manifest) => {
+    const grouped = new Map();
+    for (const binding of manifest.bindings)
+        grouped.set(binding.obligation_id, [
+            ...(grouped.get(binding.obligation_id) ?? []),
+            binding,
+        ]);
+    return grouped;
+};
+export const groupManifestContradictions = (manifest) => {
+    const grouped = new Map();
+    for (const contradiction of manifest.contradictions)
+        grouped.set(contradiction.obligation_id, [
+            ...(grouped.get(contradiction.obligation_id) ?? []),
+            ...contradiction.evidence_ids,
+        ]);
+    return grouped;
+};
+export const addObligationDiagnostic = (diagnostics, code, detail) => {
+    diagnostics.push({ code, detail });
+};
+export const uniqueObligationDiagnostics = (diagnostics) => [
+    ...new Map(diagnostics.map((diagnostic) => [
+        `${diagnostic.code}:${diagnostic.detail}`,
+        diagnostic,
+    ])).values(),
+].sort((left, right) => `${left.code}:${left.detail}`.localeCompare(`${right.code}:${right.detail}`));
+export const hasObligationDiagnostic = (diagnostics, code) => diagnostics.some((diagnostic) => diagnostic.code === code);
+export const contradictionDiagnostics = (obligationId, contradictions, evidenceById) => {
+    const evidenceIds = contradictions.get(obligationId) ?? [];
+    if (evidenceIds.length === 0)
+        return [];
+    const missing = evidenceIds.filter((evidenceId) => !evidenceById.has(evidenceId));
+    return missing.length > 0
+        ? [
+            {
+                code: "contradiction-evidence-missing",
+                detail: `Contradiction references missing Evidence: ${missing.join(", ")}.`,
+            },
+        ]
+        : [
+            {
+                code: "contradiction",
+                detail: "Authenticated contradictory Evidence reopens this obligation.",
+            },
+        ];
+};

package/dist/application/ReconstructionObligationLedgerEvaluation.js

@@ -0,0 +1,263 @@
+import { parseEvidenceBundle, } from "../domain/evidenceBundle.js";
+import { reconstructionObligationLedgerSchema, } from "../domain/reconstructionObligationLedgerSchemas.js";
+import { evidenceAuthoritySupportsProof, evidenceSupportsOriginalAuthority, proofAuthoritySatisfies, } from "./ReconstructionObligationAuthority.js";
+import { addObligationDiagnostic as addDiagnostic, contradictionDiagnostics, groupManifestBindings, groupManifestContradictions, hasObligationDiagnostic as hasDiagnostic, uniqueObligationDiagnostics as uniqueDiagnostics, } from "./ReconstructionObligationLedgerDiagnostics.js";
+import { originalCaseDiagnostics, originalCasesFor, } from "./ReconstructionObligationOriginalCases.js";
+import { digestObligationLedgerValue, obligationLedgerCoverage, obligationEdgeOrder, obligationLedgerEvidenceLinks, obligationLedgerStatus, obligationReports, summarizeObligations, } from "./ReconstructionObligationLedgerProjection.js";
+export const evaluateReconstructionObligationLedger = ({ candidates: candidatesInput, bundle: bundleInput, manifest, maxObligations, generationLimitations, }) => {
+    const bundle = parseEvidenceBundle(bundleInput);
+    const allCandidates = [...candidatesInput].sort((left, right) => left.obligation_id.localeCompare(right.obligation_id));
+    const orphanManifestIds = findOrphanManifestIds(allCandidates, manifest);
+    const candidates = allCandidates.slice(0, maxObligations);
+    const omittedCount = allCandidates.length - candidates.length;
+    const context = createEvaluationContext(candidates, bundle, manifest);
+    const obligations = applyDependencyDiagnostics(candidates.map((candidate) => evaluateObligation(candidate, context)), context);
+    const ownershipGraph = obligations
+        .flatMap((obligation) => obligation.binding === null
+        ? []
+        : [
+            {
+                obligation_id: obligation.obligation_id,
+                module_path: obligation.binding.owner.module_path,
+                symbol: obligation.binding.owner.symbol,
+            },
+        ])
+        .sort(obligationEdgeOrder);
+    const dependencyGraph = obligations
+        .flatMap((obligation) => obligation.dependency_obligation_ids.map((dependencyId) => ({
+        obligation_id: obligation.obligation_id,
+        depends_on_obligation_id: dependencyId,
+    })))
+        .sort(obligationEdgeOrder);
+    const evidenceLinks = obligationLedgerEvidenceLinks(obligations, manifest);
+    const limitations = ledgerLimitations(generationLimitations, allCandidates.length, omittedCount, orphanManifestIds);
+    const coverage = obligationLedgerCoverage(omittedCount, maxObligations, limitations.length > 0);
+    const semantic = {
+        coverage,
+        summary: summarizeObligations(obligations),
+        reports: obligationReports(obligations),
+        ownership_graph: ownershipGraph,
+        dependency_graph: dependencyGraph,
+        obligations,
+        evidence_links: evidenceLinks,
+        limitations,
+    };
+    const evaluatedStatus = obligationLedgerStatus(obligations, omittedCount);
+    const status = evaluatedStatus === "failed"
+        ? evaluatedStatus
+        : limitations.length > 0
+            ? "unknown"
+            : evaluatedStatus;
+    const closureDigest = digestObligationLedgerValue({
+        schema: "rea.reconstruction-obligation-closure/v1",
+        status,
+        ...semantic,
+    });
+    return reconstructionObligationLedgerSchema.parse({
+        schema: "ReconstructionObligationLedger",
+        schema_version: 1,
+        ledger_id: `rol_${digestObligationLedgerValue({
+            schema: "rea.reconstruction-obligation-ledger/v1",
+            evidence_ids: bundle.records.map(({ evidence_id: id }) => id),
+            obligation_ids: obligations.map(({ obligation_id: id }) => id),
+            closure_digest: closureDigest,
+        })}`,
+        closure_digest: closureDigest,
+        status,
+        ...semantic,
+    });
+};
+const createEvaluationContext = (candidates, bundle, manifest) => ({
+    candidates: new Map(candidates.map((candidate) => [candidate.obligation_id, candidate])),
+    evidence: new Map(bundle.records.map((evidence) => [evidence.evidence_id, evidence])),
+    bindings: groupManifestBindings(manifest),
+    contradictions: groupManifestContradictions(manifest),
+});
+const findOrphanManifestIds = (candidates, manifest) => {
+    const candidateIds = new Set(candidates.map(({ obligation_id: obligationId }) => obligationId));
+    return [
+        ...new Set([
+            ...manifest.bindings.map(({ obligation_id: obligationId }) => obligationId),
+            ...manifest.contradictions.map(({ obligation_id: obligationId }) => obligationId),
+        ].filter((obligationId) => !candidateIds.has(obligationId))),
+    ].sort();
+};
+const ledgerLimitations = (generationLimitations, candidateCount, omittedCount, orphanManifestIds) => [
+    ...new Set([
+        ...generationLimitations,
+        ...(candidateCount === 0
+            ? [
+                "No reconstruction obligations were derived; closure cannot be claimed.",
+            ]
+            : []),
+        ...(omittedCount > 0
+            ? [
+                `${String(omittedCount)} obligation candidates were omitted by max_obligations; closure is unknown.`,
+            ]
+            : []),
+        ...(orphanManifestIds.length > 0
+            ? [
+                `Manifest entries reference unknown obligations: ${orphanManifestIds.join(", ")}.`,
+            ]
+            : []),
+    ]),
+].sort();
+const evaluateObligation = (candidate, context) => {
+    const bindings = context.bindings.get(candidate.obligation_id) ?? [];
+    const binding = bindings.length === 1 ? (bindings[0] ?? null) : null;
+    const diagnostics = [];
+    if (candidate.definitionCount > 1)
+        addDiagnostic(diagnostics, "duplicate-definition", "Multiple candidate definitions share this obligation ID.");
+    if (bindings.length === 0)
+        addDiagnostic(diagnostics, "missing-owner", "No reconstruction manifest binding owns this obligation.");
+    if (bindings.length > 1)
+        addDiagnostic(diagnostics, "ambiguous-owner", "Multiple reconstruction manifest bindings claim this obligation.");
+    if (binding !== null)
+        evaluateBinding(candidate, binding, context, diagnostics);
+    diagnostics.push(...originalCaseDiagnostics(candidate, binding, context.evidence));
+    evaluateAuthority(candidate, binding, context, diagnostics);
+    evaluateDisposition(candidate, diagnostics);
+    diagnostics.push(...contradictionDiagnostics(candidate.obligation_id, context.contradictions, context.evidence));
+    for (const unknownId of candidate.residual_unknown_ids)
+        addDiagnostic(diagnostics, "residual-unknown", `Residual unknown remains visible: ${unknownId}.`);
+    for (const unavailable of candidate.unavailable_authority)
+        addDiagnostic(diagnostics, "unavailable-authority", unavailable);
+    return {
+        obligation_id: candidate.obligation_id,
+        obligation_version: candidate.obligation_version,
+        title: candidate.title,
+        origin: candidate.origin,
+        application_layer: candidate.application_layer,
+        family: candidate.family,
+        target: candidate.target,
+        authority_references: candidate.authority_references,
+        source_state: candidate.source_state,
+        observed_cases: originalCasesFor(candidate, binding),
+        required: candidate.required,
+        required_case_kinds: candidate.required_case_kinds,
+        required_original_authority: candidate.required_original_authority,
+        required_fixture_authority: candidate.required_fixture_authority,
+        required_verifier_authority: candidate.required_verifier_authority,
+        requires_parser_type: candidate.requires_parser_type,
+        dependency_obligation_ids: candidate.dependency_obligation_ids,
+        residual_unknown_ids: candidate.residual_unknown_ids,
+        unavailable_authority: candidate.unavailable_authority,
+        required_next_evidence: candidate.required_next_evidence,
+        binding,
+        status: obligationStatus(candidate, binding, diagnostics),
+        diagnostics: uniqueDiagnostics(diagnostics),
+    };
+};
+const evaluateBinding = (candidate, binding, context, diagnostics) => {
+    if (candidate.requires_parser_type && binding.parser_type === null)
+        addDiagnostic(diagnostics, "missing-parser-type", "This boundary requires an explicit parser, schema, and domain type.");
+    for (const caseKind of candidate.required_case_kinds) {
+        const fixtures = binding.fixtures.filter(({ case_kind: fixtureCase }) => fixtureCase === caseKind);
+        if (fixtures.length === 0) {
+            addDiagnostic(diagnostics, "missing-case", `Required ${caseKind} fixture is missing.`);
+            continue;
+        }
+        if (!fixtures.some((fixture) => proofAuthoritySatisfies(fixture.authority, candidate.required_fixture_authority) &&
+            fixture.evidence_ids.every((id) => {
+                const evidence = context.evidence.get(id);
+                return (evidence !== undefined &&
+                    evidenceAuthoritySupportsProof(evidence, fixture.authority, {
+                        obligationId: candidate.obligation_id,
+                        fixtureId: fixture.fixture_id,
+                        caseKind: fixture.case_kind,
+                    }));
+            })))
+            addDiagnostic(diagnostics, "weak-fixture-authority", `${caseKind} fixture lacks ${candidate.required_fixture_authority} authority or authenticated Evidence.`);
+    }
+    evaluateVerifier(candidate, binding, context, diagnostics);
+};
+const evaluateVerifier = (candidate, binding, context, diagnostics) => {
+    const verifier = binding.verifier;
+    if (verifier === null) {
+        addDiagnostic(diagnostics, "missing-verifier", "No verifier claim is bound to this obligation.");
+        return;
+    }
+    if (!verifier.enumerated_obligation_ids.includes(candidate.obligation_id))
+        addDiagnostic(diagnostics, "verifier-does-not-enumerate", "The verifier claim does not enumerate this obligation ID.");
+    const resultEvidence = context.evidence.get(verifier.result_evidence_id);
+    if (resultEvidence === undefined)
+        addDiagnostic(diagnostics, "missing-verifier-result", "The latest verifier result Evidence is absent from the bundle.");
+    if (!proofAuthoritySatisfies(verifier.authority, candidate.required_verifier_authority) ||
+        (resultEvidence !== undefined &&
+            !evidenceAuthoritySupportsProof(resultEvidence, verifier.authority, {
+                obligationId: candidate.obligation_id,
+                verifierId: verifier.verifier_id,
+                claimId: verifier.claim_id,
+            })))
+        addDiagnostic(diagnostics, "weak-verifier-authority", `Verifier authority does not satisfy ${candidate.required_verifier_authority}.`);
+    if (verifier.status !== "pass")
+        addDiagnostic(diagnostics, "verifier-failed", `Latest verifier status is ${verifier.status}.`);
+};
+const evaluateAuthority = (candidate, binding, context, diagnostics) => {
+    const referenceSatisfied = candidate.authority_references.some((reference) => {
+        const evidence = context.evidence.get(reference.evidence_id);
+        return (evidence !== undefined &&
+            (candidate.required_original_authority === "static"
+                ? ["candidate", "observed"].includes(reference.state)
+                : reference.state === "observed") &&
+            evidenceSupportsOriginalAuthority(evidence, candidate.required_original_authority));
+    });
+    const caseSatisfied = originalCasesFor(candidate, binding).some(({ evidence_id: evidenceId }) => {
+        const evidence = context.evidence.get(evidenceId);
+        return (evidence !== undefined &&
+            evidenceSupportsOriginalAuthority(evidence, candidate.required_original_authority));
+    });
+    const satisfied = referenceSatisfied || caseSatisfied;
+    if (!satisfied)
+        addDiagnostic(diagnostics, "static-only", `No ${candidate.required_original_authority} authority characterizes the original finite behavior.`);
+};
+const evaluateDisposition = (candidate, diagnostics) => {
+    if (candidate.disposition === "blocked")
+        addDiagnostic(diagnostics, "blocked", "Reviewed disposition marks this obligation blocked.");
+    if (candidate.disposition === "out-of-scope")
+        addDiagnostic(diagnostics, "out-of-scope", "Reviewed disposition marks this obligation out of scope; it remains visible.");
+};
+const applyDependencyDiagnostics = (obligations, context) => {
+    let evaluated = [...obligations];
+    for (let pass = 0; pass < obligations.length; pass += 1) {
+        const statuses = new Map(evaluated.map(({ obligation_id: id, status }) => [id, status]));
+        let changed = false;
+        evaluated = evaluated.map((obligation) => {
+            const diagnostics = [...obligation.diagnostics];
+            for (const dependencyId of obligation.dependency_obligation_ids) {
+                const missing = !context.candidates.has(dependencyId);
+                if (missing || statuses.get(dependencyId) !== "verified")
+                    addDiagnostic(diagnostics, missing ? "dependency-missing" : "dependency-open", `Dependency obligation is ${missing ? "missing" : "not verified"}: ${dependencyId}.`);
+            }
+            const normalized = uniqueDiagnostics(diagnostics);
+            const status = dependencyStatus(obligation.status, normalized);
+            changed ||= status !== obligation.status;
+            return { ...obligation, status, diagnostics: normalized };
+        });
+        if (!changed)
+            break;
+    }
+    return evaluated;
+};
+const obligationStatus = (candidate, binding, diagnostics) => {
+    if (hasDiagnostic(diagnostics, "out-of-scope"))
+        return "out-of-scope";
+    if (hasDiagnostic(diagnostics, "blocked"))
+        return "blocked";
+    if (hasDiagnostic(diagnostics, "contradiction"))
+        return "contradicted";
+    if (hasDiagnostic(diagnostics, "duplicate-definition") ||
+        hasDiagnostic(diagnostics, "residual-unknown") ||
+        hasDiagnostic(diagnostics, "unavailable-authority"))
+        return "unknown";
+    if (binding === null)
+        return "unowned";
+    if (diagnostics.length === 0)
+        return "verified";
+    return "implemented";
+};
+const dependencyStatus = (status, diagnostics) => (hasDiagnostic(diagnostics, "dependency-missing") ||
+    hasDiagnostic(diagnostics, "dependency-open")) &&
+    !["contradicted", "out-of-scope"].includes(status)
+    ? "blocked"
+    : status;