project-tiny-context-harness 0.11.0 → 0.12.0

package/dist/lib/long-task-effective-external-ui-takeover.js

@@ -1,117 +0,0 @@
-import { controlFieldFacts } from "./long-task-control-fields.js";
-import { designFactObligationDescriptors } from "./long-task-design-obligation.js";
-import { effectiveBlockingExternalRows } from "./long-task-effective-external-takeover.js";
-function designObligationEffectivelyBlocked(descriptor, rows) {
-    return (rows.filter((row) => row.source_obligation_ref === descriptor.source_obligation_ref &&
-        row.claim_ref === descriptor.claim_ref &&
-        row.local_claim_ref === descriptor.local_claim_ref &&
-        row.applicability_ref === descriptor.applicability_ref &&
-        row.proof_surface === descriptor.proof_surface &&
-        row.fact_ref === descriptor.fact_ref &&
-        row.proof_ref === descriptor.source_obligation_ref).length === 1);
-}
-function claimApplicabilityKey(localClaimRef, applicabilityRef) {
-    return `${localClaimRef}\0${applicabilityRef}`;
-}
-function controlClaimApplicabilities(outcome) {
-    const entries = new Set();
-    for (const control of outcome.product.controls)
-        for (const fact of controlFieldFacts(control))
-            for (const applicabilityRef of fact.applicability_refs)
-                entries.add(claimApplicabilityKey(`control.${control.key}.${fact.claim_field}`, applicabilityRef));
-    return entries;
-}
-function designTargetAssertionRefs(target) {
-    return new Set([
-        target.conformance_assertion_ref,
-        ...target.verification_method_bindings.map((binding) => binding.assertion_ref),
-        ...(target.symbolic_method_bindings ?? []).map((binding) => binding.assertion_ref),
-        ...(target.symbolic_certificate_binding
-            ? [target.symbolic_certificate_binding.assertion_ref]
-            : []),
-    ]);
-}
-function addDesignAssertionClaimApplicabilities(entries, check, assertionRefs) {
-    for (const assertion of [
-        ...check.positive_assertions,
-        ...check.negative_assertions,
-    ])
-        if (assertionRefs.has(assertion.key) &&
-            assertion.claims.length === 1 &&
-            assertion.applicability_ref)
-            entries.add(claimApplicabilityKey(assertion.claims[0], assertion.applicability_ref));
-}
-function allUiClaimApplicabilities(outcome) {
-    const entries = controlClaimApplicabilities(outcome);
-    for (const surface of outcome.product.surface_bindings)
-        for (const target of surface.design_targets) {
-            const check = outcome.acceptance.checks.find((candidate) => candidate.key === target.conformance_check_ref);
-            if (!check)
-                return null;
-            addDesignAssertionClaimApplicabilities(entries, check, designTargetAssertionRefs(target));
-        }
-    return entries;
-}
-function matchingCoordinates(outcome, localClaimRef, applicabilityRef, targetRef) {
-    return outcome.acceptance.checks.flatMap((check) => [...check.positive_assertions, ...check.negative_assertions]
-        .filter((assertion) => assertionMatchesClaimApplicability(assertion, localClaimRef, applicabilityRef))
-        .map(() => ({
-        local_claim_ref: localClaimRef,
-        applicability_ref: applicabilityRef,
-        target_ref: targetRef,
-        proof_surface: check.proof_surface,
-    })));
-}
-function assertionMatchesClaimApplicability(assertion, localClaimRef, applicabilityRef) {
-    return (assertion.claims.length === 1 &&
-        assertion.claims[0] === localClaimRef &&
-        assertion.applicability_ref === applicabilityRef);
-}
-function coordinateKey(coordinate) {
-    return [
-        coordinate.local_claim_ref,
-        coordinate.applicability_ref,
-        coordinate.target_ref,
-        coordinate.proof_surface,
-    ].join("\0");
-}
-function uiClaimCoordinates(outcome) {
-    const entries = allUiClaimApplicabilities(outcome);
-    if (!entries)
-        return null;
-    const profiles = new Map(outcome.applicability.map((profile) => [profile.key, profile]));
-    const coordinates = new Map();
-    for (const entry of entries) {
-        const [localClaimRef, applicabilityRef] = entry.split("\0");
-        const profile = profiles.get(applicabilityRef);
-        if (!profile)
-            return null;
-        const matching = matchingCoordinates(outcome, localClaimRef, applicabilityRef, profile.target_ref);
-        if (!matching.length)
-            return null;
-        for (const coordinate of matching)
-            coordinates.set(coordinateKey(coordinate), coordinate);
-    }
-    return coordinates;
-}
-function ordinaryUiCoordinateEffectivelyBlocked(outcomeKey, coordinate, rows) {
-    return (rows.filter((row) => row.claim_ref === `${outcomeKey}.${coordinate.local_claim_ref}` &&
-        row.local_claim_ref === coordinate.local_claim_ref &&
-        row.applicability_ref === coordinate.applicability_ref &&
-        row.target_ref === coordinate.target_ref &&
-        row.proof_surface === coordinate.proof_surface &&
-        row.fact_ref === null &&
-        row.proof_ref === null).length === 1);
-}
-export function outcomeUiProofFullyEffectivelyExternallyBlocked(contract, outcome, reachability) {
-    const rows = effectiveBlockingExternalRows(reachability).filter((row) => row.outcome_key === outcome.key);
-    const designObligations = designFactObligationDescriptors(contract).filter((descriptor) => descriptor.outcome_key === outcome.key);
-    if (!designObligations.every((descriptor) => designObligationEffectivelyBlocked(descriptor, rows)))
-        return false;
-    const coordinates = uiClaimCoordinates(outcome);
-    if (!coordinates)
-        return false;
-    if (!designObligations.length && !coordinates.size)
-        return false;
-    return [...coordinates.values()].every((coordinate) => ordinaryUiCoordinateEffectivelyBlocked(outcome.key, coordinate, rows));
-}

package/dist/lib/long-task-evidence-adapter-policy.d.ts

@@ -1,4 +0,0 @@
-import type { DeliveryCheckV2, EvidenceAdapter, ProofSurface, RunnerType } from "./long-task-delivery-types.js";
-export declare function evidenceAdapterForRunner(type: RunnerType): EvidenceAdapter;
-export declare function validateEvidenceAdapterCompatibility(check: DeliveryCheckV2, outcomeKey: string | null): void;
-export declare function adapterSupportsProofSurface(adapter: EvidenceAdapter, surface: ProofSurface): boolean;

package/dist/lib/long-task-evidence-adapter-policy.js

@@ -1,15 +0,0 @@
-export function evidenceAdapterForRunner(type) {
-    return type === "playwright_test"
-        ? "playwright_json_v1"
-        : "structured_json_v2";
-}
-export function validateEvidenceAdapterCompatibility(check, outcomeKey) {
-    const adapter = evidenceAdapterForRunner(check.runner.type);
-    if (!adapterSupportsProofSurface(adapter, check.proof_surface))
-        throw new Error(`evidence_adapter_mismatch:${outcomeKey ?? "GLOBAL"}:${check.key}:${check.proof_surface}:${adapter}`);
-}
-export function adapterSupportsProofSurface(adapter, surface) {
-    return surface === "ui_browser"
-        ? adapter === "playwright_json_v1"
-        : adapter === "structured_json_v2";
-}

package/dist/lib/long-task-evidence-adapter-types.d.ts

@@ -1 +0,0 @@
-export type EvidenceAdapter = "structured_json_v2" | "playwright_json_v1";

package/dist/lib/long-task-evidence-adapter-types.js

@@ -1 +0,0 @@
-export {};

package/dist/lib/long-task-evidence-capability-codec.d.ts

@@ -1,96 +0,0 @@
-import type { EvidenceCapabilityRecordV2 } from "./long-task-delivery-types.js";
-export declare function decodeEvidenceCapabilityRecords(value: unknown): EvidenceCapabilityRecordV2[];
-export declare function decodeDesignFactResults(value: unknown, label: string): {
-    fact_ref: string;
-    subject_ref: string;
-    variation_ref: string;
-    property_ref: string;
-    actual_observation: {
-        artifact_path: string;
-        artifact_sha256: string;
-        locator: {
-            kind: "asset_ref" | "custom" | "image_region" | "json_pointer" | "semantic_node" | "timeline_sample" | "trace_event";
-            value: string;
-        };
-        value_sha256: string;
-        sensitivity: "plain" | "protected";
-        redaction: {
-            policy_ref: string;
-            representation: "digest_only" | "redacted_structured";
-            raw_persisted: false;
-        } | null;
-    };
-    actual_environment: {
-        artifact_path: string;
-        artifact_sha256: string;
-        locator: {
-            kind: "asset_ref" | "custom" | "image_region" | "json_pointer" | "semantic_node" | "timeline_sample" | "trace_event";
-            value: string;
-        };
-        value_sha256: string;
-    };
-    expected: {
-        locator: {
-            resource_ref: string;
-            kind: "css_custom_property" | "css_declaration" | "css_selector" | "html_attribute" | "html_inner_html" | "html_selector" | "javascript_export" | "json_pointer" | "markdown_anchor" | "svg_attribute" | "svg_inner_xml" | "svg_selector" | "whole_resource";
-            value: string;
-        };
-        sha256: string;
-    };
-    comparison: {
-        artifact_path: string;
-        artifact_sha256: string;
-        locator: {
-            kind: "asset_ref" | "custom" | "image_region" | "json_pointer" | "semantic_node" | "timeline_sample" | "trace_event";
-            value: string;
-        };
-        result_sha256: string;
-        comparator: string;
-        mode: "exact" | "tolerance";
-        parameters: {
-            locator: {
-                resource_ref: string;
-                kind: "css_custom_property" | "css_declaration" | "css_selector" | "html_attribute" | "html_inner_html" | "html_selector" | "javascript_export" | "json_pointer" | "markdown_anchor" | "svg_attribute" | "svg_inner_xml" | "svg_selector" | "whole_resource";
-                value: string;
-            };
-            sha256: string;
-        };
-        tolerance: {
-            locator: {
-                resource_ref: string;
-                kind: "css_custom_property" | "css_declaration" | "css_selector" | "html_attribute" | "html_inner_html" | "html_selector" | "javascript_export" | "json_pointer" | "markdown_anchor" | "svg_attribute" | "svg_inner_xml" | "svg_selector" | "whole_resource";
-                value: string;
-            };
-            sha256: string;
-        } | null;
-        mask: {
-            locator: {
-                resource_ref: string;
-                kind: "css_custom_property" | "css_declaration" | "css_selector" | "html_attribute" | "html_inner_html" | "html_selector" | "javascript_export" | "json_pointer" | "markdown_anchor" | "svg_attribute" | "svg_inner_xml" | "svg_selector" | "whole_resource";
-                value: string;
-            };
-            sha256: string;
-        } | null;
-        passed: boolean;
-    };
-    verdict: "failed" | "passed";
-    oracle: {
-        key: string;
-        trust: "frozen_executable" | "named_external_tcb";
-        identity: string;
-        version: string;
-        sha256: string | null;
-    };
-    environment: {
-        key: string;
-        identity: string;
-        definition: {
-            locator: {
-                resource_ref: string;
-                kind: "css_custom_property" | "css_declaration" | "css_selector" | "html_attribute" | "html_inner_html" | "html_selector" | "javascript_export" | "json_pointer" | "markdown_anchor" | "svg_attribute" | "svg_inner_xml" | "svg_selector" | "whole_resource";
-                value: string;
-            };
-            sha256: string;
-        };
-    };
-}[];