project-tiny-context-harness 0.8.4 → 0.8.6

package/dist/lib/design-resource-fact-manifest-catalog.js

@@ -0,0 +1,249 @@
+import { DESIGN_RESOURCE_INSPECTOR_CAPABILITIES, DESIGN_RESOURCE_PROPERTY_FAMILIES, DESIGN_RESOURCE_VALUE_KINDS, } from "./design-resource-fact-manifest-types.js";
+import { DESIGN_RESOURCE_DIMENSIONS, } from "./design-resource-handoff-types.js";
+import { designResourceRequiredMethods } from "./design-resource-fact-property-methods.js";
+const STANDARD_PROPERTY_ROWS = `
+geometry.coordinate-system|geometry|surface_flow|enum|component_anatomy
+geometry.position-x|geometry|surface_flow|length|component_anatomy
+geometry.position-y|geometry|surface_flow|length|component_anatomy
+geometry.width|geometry|surface_flow|length|component_anatomy
+geometry.height|geometry|surface_flow|length|component_anatomy
+geometry.min-width|geometry|surface_flow|length|component_anatomy
+geometry.max-width|geometry|surface_flow|length|component_anatomy
+geometry.min-height|geometry|surface_flow|length|component_anatomy
+geometry.max-height|geometry|surface_flow|length|component_anatomy
+geometry.aspect-ratio|geometry|surface_flow|ratio|component_anatomy
+geometry.content-width|geometry|surface_flow|length|component_anatomy
+geometry.logical-physical-unit|geometry|surface_flow|semantic|component_anatomy
+geometry.precision-rounding|geometry|surface_flow|semantic|component_anatomy
+geometry.pixel-snapping|geometry|visual_content|semantic|component_anatomy
+geometry.touch-target|geometry|component_control|length|component_anatomy
+geometry.hit-slop|geometry|component_control|list|component_anatomy
+layout.safe-area-insets|layout|adaptation_input|list|responsive_rules
+layout.edge-constraints|layout|surface_flow|relation|relations
+layout.mode|layout|surface_flow|enum|css_cascade
+layout.grid-template|layout|surface_flow|string|css_cascade
+layout.flex-basis|layout|surface_flow|length|css_cascade
+layout.flex-grow|layout|surface_flow|number|css_cascade
+layout.flex-shrink|layout|surface_flow|number|css_cascade
+layout.order|layout|surface_flow|number|css_cascade
+layout.margin-top|layout|surface_flow|length|css_cascade
+layout.margin-right|layout|surface_flow|length|css_cascade
+layout.margin-bottom|layout|surface_flow|length|css_cascade
+layout.margin-left|layout|surface_flow|length|css_cascade
+layout.padding-top|layout|surface_flow|length|css_cascade
+layout.padding-right|layout|surface_flow|length|css_cascade
+layout.padding-bottom|layout|surface_flow|length|css_cascade
+layout.padding-left|layout|surface_flow|length|css_cascade
+layout.row-gap|layout|surface_flow|length|css_cascade
+layout.column-gap|layout|surface_flow|length|css_cascade
+layout.align-items|layout|surface_flow|enum|css_cascade
+layout.align-self|layout|surface_flow|enum|css_cascade
+layout.justify-content|layout|surface_flow|enum|css_cascade
+layout.baseline|layout|surface_flow|relation|relations
+layout.anchor|layout|surface_flow|relation|relations
+layout.transform|layout|visual_content|list|css_cascade
+layout.transform-origin|layout|visual_content|list|css_cascade
+layout.z-index|layout|surface_flow|number|css_cascade
+layout.elevation|layout|visual_content|number|css_cascade
+layout.clip|layout|visual_content|string|css_cascade
+layout.mask|layout|visual_content|locator|css_cascade
+layout.overflow|layout|surface_flow|enum|css_cascade
+layout.occlusion|layout|surface_flow|relation|relations
+scroll.container-owner|scroll|state_interaction|relation|relations
+scroll.axis|scroll|state_interaction|enum|prototype_transitions,input_rules
+scroll.nested-priority|scroll|state_interaction|relation|prototype_transitions,input_rules
+scroll.indicator|scroll|visual_content|enum|prototype_transitions,input_rules
+scroll.content-inset|scroll|adaptation_input|list|responsive_rules
+scroll.bounce-overscroll|scroll|state_interaction|enum|prototype_transitions,input_rules
+scroll.sticky-fixed-mode|scroll|state_interaction|enum|prototype_transitions,input_rules
+scroll.restoration|scroll|state_interaction|semantic|prototype_transitions,input_rules
+typography.font-family|typography|visual_content|string|css_cascade
+typography.font-fallback|typography|visual_content|list|css_cascade
+typography.variable-axes|typography|visual_content|list|css_cascade
+typography.features|typography|visual_content|list|css_cascade
+typography.font-size|typography|visual_content|length|css_cascade
+typography.font-weight|typography|visual_content|number|css_cascade
+typography.line-height|typography|visual_content|length|css_cascade
+typography.letter-spacing|typography|visual_content|length|css_cascade
+typography.numeral-style|typography|visual_content|enum|css_cascade
+typography.hyphenation|typography|visual_content|enum|css_cascade
+typography.formatting|typography|visual_content|semantic|localization
+color.foreground|color|visual_content|color|design_tokens
+color.background|color|visual_content|color|design_tokens
+color.fill|color|visual_content|color|design_tokens
+color.stroke|color|visual_content|color|design_tokens
+color.gradient|color|visual_content|list|design_tokens
+decoration.border-width|decoration|visual_content|length|css_cascade
+decoration.border-style|decoration|visual_content|enum|css_cascade
+decoration.border-dash|decoration|visual_content|list|css_cascade
+decoration.stroke-cap|decoration|visual_content|enum|css_cascade
+decoration.stroke-join|decoration|visual_content|enum|css_cascade
+decoration.radius|decoration|visual_content|list|css_cascade
+decoration.shadow|decoration|visual_content|list|css_cascade
+decoration.blur|decoration|visual_content|number|css_cascade
+decoration.vibrancy|decoration|visual_content|enum|system_ui
+decoration.blend-mode|decoration|visual_content|enum|css_cascade
+decoration.opacity|decoration|visual_content|number|css_cascade
+content.copy|content|visual_content|string|html_dom
+content.max-lines|content|visual_content|number|css_cascade
+content.truncation|content|visual_content|enum|css_cascade
+content.wrapping|content|visual_content|enum|css_cascade
+content.visibility|content|component_control|boolean|html_dom
+content.availability|content|component_control|enum|html_dom
+content.layout-impact|content|component_control|semantic|component_anatomy
+content.population-identity|content|component_control|semantic|dynamic_population
+content.population-item-identity|content|component_control|semantic|dynamic_population
+content.population-cardinality|content|component_control|number|dynamic_population
+content.population-ordering|content|component_control|semantic|dynamic_population
+content.virtualization-window|content|adaptation_input|semantic|dynamic_population
+content.population-edge-cases|content|component_control|list|dynamic_population
+content.date-format|content|visual_content|semantic|localization
+content.time-format|content|visual_content|semantic|localization
+content.number-format|content|visual_content|semantic|localization
+content.unit-format|content|visual_content|semantic|localization
+icon.glyph|icon|visual_content|locator|assets
+icon.size|icon|visual_content|length|component_anatomy
+icon.stroke|icon|visual_content|length|css_cascade
+icon.tint|icon|visual_content|color|design_tokens
+icon.position|icon|surface_flow|relation|relations
+icon.text-gap|icon|surface_flow|length|component_anatomy
+media.aspect-ratio|media|assets|ratio|assets
+media.density-variant|media|assets|enum|assets
+media.color-space|media|assets|enum|assets
+media.crop-fit|media|assets|enum|assets
+media.focal-point|media|assets|list|assets
+media.mask|media|assets|locator|assets
+media.placeholder|media|assets|locator|assets
+media.error-state|media|assets|semantic|assets
+media.decode-policy|media|assets|enum|assets
+media.fallback|media|assets|locator|assets
+interaction.trigger|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.hit-testing|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.pointer-events|interaction|state_interaction|enum|prototype_transitions,input_rules
+interaction.gesture-priority|interaction|state_interaction|relation|prototype_transitions,input_rules
+interaction.drag-threshold|interaction|state_interaction|length|prototype_transitions,input_rules
+interaction.drag-axis|interaction|state_interaction|enum|prototype_transitions,input_rules
+interaction.drag-bounds|interaction|state_interaction|list|prototype_transitions,input_rules
+interaction.velocity-threshold|interaction|state_interaction|number|prototype_transitions,input_rules
+interaction.snap-points|interaction|state_interaction|list|prototype_transitions,input_rules
+interaction.cancel-reverse|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.request-replacement|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.repeated-input|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.concurrent-operation|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.validation|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.focus-selection-cursor|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.input-type|interaction|state_interaction|enum|prototype_transitions,input_rules
+interaction.return-action|interaction|state_interaction|enum|prototype_transitions,input_rules
+interaction.autocorrect|interaction|state_interaction|boolean|prototype_transitions,input_rules
+interaction.autocapitalization|interaction|state_interaction|enum|prototype_transitions,input_rules
+interaction.input-mask|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.secure-entry|interaction|state_interaction|boolean|prototype_transitions,input_rules
+interaction.clipboard|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.password-manager|interaction|state_interaction|semantic|prototype_transitions,input_rules
+interaction.long-press-threshold|interaction|state_interaction|number|prototype_transitions,input_rules
+interaction.double-tap-window|interaction|state_interaction|number|prototype_transitions,input_rules
+interaction.debounce|interaction|state_interaction|number|prototype_transitions,input_rules
+interaction.throttle|interaction|state_interaction|number|prototype_transitions,input_rules
+interaction.timeout|interaction|state_interaction|number|prototype_transitions,input_rules
+interaction.latency-feedback|interaction|state_interaction|timeline|prototype_transitions,input_rules
+interaction.keyboard-traversal|interaction|state_interaction|trace|prototype_transitions,input_rules
+navigation.destination|navigation|state_interaction|semantic|prototype_transitions,input_rules
+navigation.back-dismiss|navigation|state_interaction|semantic|prototype_transitions,input_rules
+navigation.deep-link|navigation|state_interaction|semantic|prototype_transitions,input_rules
+navigation.restoration|navigation|state_interaction|semantic|prototype_transitions,input_rules
+motion.trigger-priority|motion|motion|semantic|motion,prototype_transitions
+motion.start-value|motion|motion|timeline|motion,prototype_transitions
+motion.end-value|motion|motion|timeline|motion,prototype_transitions
+motion.animated-properties|motion|motion|list|motion,prototype_transitions
+motion.coordinate-pivot|motion|motion|list|motion,prototype_transitions
+motion.duration|motion|motion|number|motion,prototype_transitions
+motion.delay|motion|motion|number|motion,prototype_transitions
+motion.easing|motion|motion|semantic|motion,prototype_transitions
+motion.spring|motion|motion|list|motion,prototype_transitions
+motion.sequence|motion|motion|timeline|motion,prototype_transitions
+motion.overshoot-clamping|motion|motion|semantic|motion,prototype_transitions
+motion.interruption|motion|motion|semantic|motion,prototype_transitions
+motion.continue-current-value|motion|motion|semantic|motion,prototype_transitions
+motion.reduced-alternative|motion|motion|semantic|motion,prototype_transitions
+feedback.visible|feedback|state_interaction|semantic|prototype_transitions,input_rules
+feedback.spoken|feedback|accessibility|semantic|accessibility
+feedback.sound-type-time|feedback|state_interaction|timeline|prototype_transitions,input_rules
+feedback.haptic-type-time|feedback|state_interaction|timeline|prototype_transitions,input_rules
+responsive.breakpoint-range|responsive|adaptation_input|list|responsive_rules
+responsive.reflow|responsive|adaptation_input|semantic|responsive_rules
+responsive.wrap|responsive|adaptation_input|semantic|responsive_rules
+responsive.reorder|responsive|adaptation_input|semantic|responsive_rules
+responsive.content-priority|responsive|adaptation_input|semantic|responsive_rules
+responsive.expansion-scroll|responsive|adaptation_input|semantic|responsive_rules
+responsive.text-pressure|responsive|adaptation_input|semantic|responsive_rules
+accessibility.role|accessibility|accessibility|enum|accessibility
+accessibility.name|accessibility|accessibility|string|accessibility
+accessibility.value|accessibility|accessibility|string|accessibility
+accessibility.hint|accessibility|accessibility|string|accessibility
+accessibility.state|accessibility|accessibility|semantic|accessibility
+accessibility.grouping-relations|accessibility|accessibility|relation|accessibility
+accessibility.reading-order|accessibility|accessibility|list|accessibility
+accessibility.focus-order|accessibility|accessibility|list|accessibility
+accessibility.focus-visibility|accessibility|accessibility|semantic|accessibility
+accessibility.custom-actions|accessibility|accessibility|list|accessibility
+accessibility.live-announcement|accessibility|accessibility|semantic|accessibility
+accessibility.screen-reader|accessibility|accessibility|trace|accessibility
+accessibility.switch-control|accessibility|accessibility|trace|accessibility
+accessibility.voice-control|accessibility|accessibility|trace|accessibility
+accessibility.non-color-cue|accessibility|accessibility|semantic|accessibility
+accessibility.contrast|accessibility|accessibility|number|accessibility
+accessibility.text-scale-reflow|accessibility|accessibility|semantic|accessibility
+accessibility.preference-adaptation|accessibility|accessibility|semantic|accessibility
+asset.identity|asset|assets|string|assets
+asset.path|asset|assets|locator|assets
+asset.sha256|asset|assets|digest|assets
+asset.role-format|asset|assets|semantic|assets
+asset.intrinsic-size|asset|assets|list|assets
+asset.variants|asset|assets|list|assets
+asset.tintability|asset|assets|boolean|assets
+asset.loading-fallback|asset|assets|semantic|assets
+asset.license-provenance|asset|assets|semantic|assets
+asset.consumer-mapping|asset|assets|relation|assets
+system.platform-convention|system|adaptation_input|semantic|system_ui
+system.status-navigation-bars|system|adaptation_input|semantic|system_ui
+system.permission-sheet|system|state_interaction|semantic|system_ui
+system.keyboard-ime-avoidance|system|adaptation_input|semantic|system_ui
+system.font-rasterization|system|visual_content|semantic|system_ui
+system.render-environment|system|visual_content|semantic|system_ui
+relation.relative-position|relation|surface_flow|relation|relations
+relation.relative-spacing|relation|surface_flow|relation|relations
+relation.shared-baseline|relation|surface_flow|relation|relations
+relation.equal-proportional-size|relation|surface_flow|relation|relations
+relation.containment|relation|surface_flow|relation|relations
+relation.overlap-z-order|relation|surface_flow|relation|relations
+relation.synchronized-state-motion|relation|state_interaction|relation|relations
+relation.family-instance-consistency|relation|component_control|relation|relations
+relation.cross-surface-consistency|relation|component_control|relation|relations
+`;
+export const DESIGN_RESOURCE_STANDARD_PROPERTIES = STANDARD_PROPERTY_ROWS.trim()
+    .split("\n")
+    .map(parseStandardProperty);
+export const DESIGN_RESOURCE_STANDARD_PROPERTY_KEYS = Object.freeze(DESIGN_RESOURCE_STANDARD_PROPERTIES.map((item) => item.key));
+export const DESIGN_RESOURCE_STANDARD_PROPERTY_BY_KEY = new Map(DESIGN_RESOURCE_STANDARD_PROPERTIES.map((item) => [item.key, item]));
+function parseStandardProperty(row) {
+    const [key, family, dimension, valueKind, capabilities, ...extra] = row.split("|");
+    const capabilityRefs = capabilities?.split(",") ?? [];
+    if (!key ||
+        extra.length ||
+        !DESIGN_RESOURCE_PROPERTY_FAMILIES.includes(family) ||
+        !DESIGN_RESOURCE_DIMENSIONS.includes(dimension) ||
+        !DESIGN_RESOURCE_VALUE_KINDS.includes(valueKind) ||
+        !capabilityRefs.length ||
+        capabilityRefs.some((capability) => !DESIGN_RESOURCE_INSPECTOR_CAPABILITIES.includes(capability)))
+        throw new Error(`design_resource_standard_property_invalid:${row}`);
+    return {
+        key,
+        family: family,
+        dimension: dimension,
+        value_kind: valueKind,
+        required_methods: designResourceRequiredMethods(key, family),
+        standard: true,
+        inspector_capability_refs: capabilityRefs,
+        census_refs: [],
+    };
+}

package/dist/lib/design-resource-fact-manifest-model.d.ts

@@ -0,0 +1,91 @@
+import type { DesignResourceEvidenceKind, DesignResourceLocatorKind } from "./design-resource-handoff-types.js";
+import type { DesignResourceCensusKind, DesignResourceInspectorCapability } from "./design-resource-fact-enums.js";
+import type { DesignResourceAssetBindingV1, DesignResourceAxisDispositionV1, DesignResourceConditionCombinationDispositionV1, DesignResourceEnvironmentV1, DesignResourceFactCellV1, DesignResourceFactV1, DesignResourceLineageNodeV1, DesignResourceOracleV1, DesignResourceProofObligationV1, DesignResourcePropertyDefinitionV1, DesignResourceSubjectVariationV1, DesignResourceVariationAxisDispositionV1, DesignResourceVariationCombinationDispositionV1 } from "./design-resource-fact-types.js";
+export interface DesignResourceManifestInputResourceV1 {
+    resource_ref: string;
+    path: string;
+    sha256: string;
+}
+export interface DesignResourceInspectorCensusEntryV1 {
+    key: string;
+    kind: DesignResourceCensusKind;
+    resource_ref: string;
+    locator: {
+        kind: DesignResourceLocatorKind;
+        value: string;
+    };
+    disposition: "covered" | "non_material";
+    fact_refs: string[];
+    fact_cell_refs: string[];
+    source_item_refs: string[];
+    basis_refs: string[];
+    rationale: string;
+}
+export interface DesignResourceInspectorV1 {
+    trust: "frozen_executable" | "named_external_tcb";
+    identity: string;
+    version: string;
+    implementation_sha256: string | null;
+    capability_refs: DesignResourceInspectorCapability[];
+    entry_resource_ref: string;
+    input_resources: DesignResourceManifestInputResourceV1[];
+    traversal: "complete_enumeration";
+    dynamic_discovery: "fully_enumerated";
+    census: DesignResourceInspectorCensusEntryV1[];
+}
+export interface DesignResourceDesignSystemSnapshotV1 {
+    disposition: "used" | "not_applicable";
+    id: string;
+    revision: string;
+    resource_ref: string;
+    sha256: string;
+}
+export declare const DESIGN_RESOURCE_MANIFEST_COLLECTIONS: readonly ["inspector_inputs", "inspector_census", "axis_dispositions", "condition_exclusions", "conditions", "subjects", "variation_axis_dispositions", "variation_exclusions", "variations", "properties", "lineage_nodes", "fact_cells", "facts", "evidence", "proof_obligations", "oracles", "environments", "asset_bindings", "acceptance_blockers"];
+export type DesignResourceManifestCollectionName = (typeof DESIGN_RESOURCE_MANIFEST_COLLECTIONS)[number];
+export interface DesignResourceManifestGenerationV1 {
+    strategy: "complete_explicit";
+    sampling: "forbidden";
+    truncation: "forbidden";
+    chunk_count: number;
+    chunk_indexes: number[];
+    collections: Array<{
+        name: DesignResourceManifestCollectionName;
+        expected_count: number;
+        identity_sha256: string;
+    }>;
+}
+export interface DesignResourceFactManifestEvidenceV1 {
+    key: string;
+    resource_ref: string;
+    kind: DesignResourceEvidenceKind;
+    locator: {
+        kind: DesignResourceLocatorKind;
+        value: string;
+    };
+    condition_refs: string[];
+}
+export interface DesignResourceObservableFactManifestV1 {
+    schema_version: "design-resource-observable-fact-manifest-v1";
+    scope_key: string;
+    target_key: string;
+    inspector: DesignResourceInspectorV1;
+    design_system: DesignResourceDesignSystemSnapshotV1;
+    generation: DesignResourceManifestGenerationV1;
+    axis_dispositions: DesignResourceAxisDispositionV1[];
+    condition_exclusions: DesignResourceConditionCombinationDispositionV1[];
+    conditions: import("./design-resource-handoff-types.js").DesignResourceHandoffConditionV1[];
+    subjects: import("./design-resource-handoff-types.js").DesignResourceHandoffSubjectV1[];
+    variation_axis_dispositions: DesignResourceVariationAxisDispositionV1[];
+    variation_exclusions: DesignResourceVariationCombinationDispositionV1[];
+    variations: DesignResourceSubjectVariationV1[];
+    properties: DesignResourcePropertyDefinitionV1[];
+    lineage_nodes: DesignResourceLineageNodeV1[];
+    fact_cells: DesignResourceFactCellV1[];
+    facts: DesignResourceFactV1[];
+    evidence: DesignResourceFactManifestEvidenceV1[];
+    proof_obligations: DesignResourceProofObligationV1[];
+    oracles: DesignResourceOracleV1[];
+    environments: DesignResourceEnvironmentV1[];
+    asset_bindings: DesignResourceAssetBindingV1[];
+    acceptance_blockers: import("./design-resource-handoff-types.js").DesignResourceHandoffBlockerV1[];
+}

package/dist/lib/design-resource-fact-manifest-model.js

@@ -0,0 +1,21 @@
+export const DESIGN_RESOURCE_MANIFEST_COLLECTIONS = [
+    "inspector_inputs",
+    "inspector_census",
+    "axis_dispositions",
+    "condition_exclusions",
+    "conditions",
+    "subjects",
+    "variation_axis_dispositions",
+    "variation_exclusions",
+    "variations",
+    "properties",
+    "lineage_nodes",
+    "fact_cells",
+    "facts",
+    "evidence",
+    "proof_obligations",
+    "oracles",
+    "environments",
+    "asset_bindings",
+    "acceptance_blockers",
+];

package/dist/lib/design-resource-fact-manifest-shape-axes.d.ts

@@ -0,0 +1,6 @@
+import { type DesignResourceAxisDispositionV1, type DesignResourceConditionCombinationDispositionV1, type DesignResourceSubjectVariationV1, type DesignResourceVariationAxisDispositionV1, type DesignResourceVariationCombinationDispositionV1 } from "./design-resource-fact-manifest-types.js";
+export declare function parseDesignResourceAxisDispositions(value: unknown, label?: string): DesignResourceAxisDispositionV1[];
+export declare function parseDesignResourceConditionExclusions(value: unknown, label?: string): DesignResourceConditionCombinationDispositionV1[];
+export declare function parseDesignResourceVariationAxisDispositions(value: unknown, label?: string): DesignResourceVariationAxisDispositionV1[];
+export declare function parseDesignResourceVariationExclusions(value: unknown, label?: string): DesignResourceVariationCombinationDispositionV1[];
+export declare function parseDesignResourceVariations(value: unknown, label?: string): DesignResourceSubjectVariationV1[];

package/dist/lib/design-resource-fact-manifest-shape-axes.js

@@ -0,0 +1,159 @@
+import { DESIGN_RESOURCE_VARIATION_AXES, } from "./design-resource-fact-manifest-types.js";
+import { atomicAxisValue, contractKey, sourceItemKeys, stableKey, stableKeys, } from "./design-resource-handoff-shape-primitives.js";
+import { array, literal, object, string, } from "./long-task-shape-primitives.js";
+export function parseDesignResourceAxisDispositions(value, label = "design_resource_handoff.axis_dispositions") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "target_ref",
+            "axis",
+            "disposition",
+            "values",
+            "source_item_refs",
+            "basis_refs",
+            "rationale",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            target_ref: contractKey(row.target_ref, `${itemLabel}.target_ref`),
+            axis: stableKey(row.axis, `${itemLabel}.axis`),
+            disposition: literal(row.disposition, ["applicable", "not_applicable"], `${itemLabel}.disposition`),
+            values: parseAxisValues(row.values, `${itemLabel}.values`),
+            source_item_refs: sourceItemKeys(row.source_item_refs, `${itemLabel}.source_item_refs`),
+            basis_refs: stableKeys(row.basis_refs, `${itemLabel}.basis_refs`),
+            rationale: string(row.rationale, `${itemLabel}.rationale`),
+        };
+    });
+}
+function parseAxisValues(value, label) {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, ["key", "census_refs"]);
+        return {
+            key: atomicAxisValue(row.key, `${itemLabel}.key`),
+            census_refs: stableKeys(row.census_refs, `${itemLabel}.census_refs`),
+        };
+    });
+}
+export function parseDesignResourceConditionExclusions(value, label = "design_resource_handoff.condition_exclusions") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "target_ref",
+            "axis_values",
+            "disposition",
+            "source_item_refs",
+            "basis_refs",
+            "rationale",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            target_ref: contractKey(row.target_ref, `${itemLabel}.target_ref`),
+            axis_values: parseAxisPairs(row.axis_values, `${itemLabel}.axis_values`),
+            disposition: literal(row.disposition, [
+                "not_applicable",
+                "excluded_by_scope",
+                "decision_required",
+                "unavailable",
+            ], `${itemLabel}.disposition`),
+            source_item_refs: sourceItemKeys(row.source_item_refs, `${itemLabel}.source_item_refs`),
+            basis_refs: stableKeys(row.basis_refs, `${itemLabel}.basis_refs`),
+            rationale: string(row.rationale, `${itemLabel}.rationale`),
+        };
+    });
+}
+function parseAxisPairs(value, label) {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, ["axis_ref", "value_ref"]);
+        return {
+            axis_ref: stableKey(row.axis_ref, `${itemLabel}.axis_ref`),
+            value_ref: atomicAxisValue(row.value_ref, `${itemLabel}.value_ref`),
+        };
+    });
+}
+export function parseDesignResourceVariationAxisDispositions(value, label = "design_resource_handoff.variation_axis_dispositions") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "subject_ref",
+            "axis",
+            "disposition",
+            "values",
+            "source_item_refs",
+            "basis_refs",
+            "rationale",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            subject_ref: stableKey(row.subject_ref, `${itemLabel}.subject_ref`),
+            axis: literal(row.axis, DESIGN_RESOURCE_VARIATION_AXES, `${itemLabel}.axis`),
+            disposition: literal(row.disposition, ["applicable", "not_applicable"], `${itemLabel}.disposition`),
+            values: parseAxisValues(row.values, `${itemLabel}.values`),
+            source_item_refs: sourceItemKeys(row.source_item_refs, `${itemLabel}.source_item_refs`),
+            basis_refs: stableKeys(row.basis_refs, `${itemLabel}.basis_refs`),
+            rationale: string(row.rationale, `${itemLabel}.rationale`),
+        };
+    });
+}
+export function parseDesignResourceVariationExclusions(value, label = "design_resource_handoff.variation_exclusions") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "subject_ref",
+            "axis_values",
+            "disposition",
+            "source_item_refs",
+            "basis_refs",
+            "rationale",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            subject_ref: stableKey(row.subject_ref, `${itemLabel}.subject_ref`),
+            axis_values: array(row.axis_values, `${itemLabel}.axis_values`).map((pair, pairIndex) => {
+                const pairLabel = `${itemLabel}.axis_values[${pairIndex}]`;
+                const parsed = object(pair, pairLabel, ["axis_ref", "value_ref"]);
+                return {
+                    axis_ref: literal(parsed.axis_ref, DESIGN_RESOURCE_VARIATION_AXES, `${pairLabel}.axis_ref`),
+                    value_ref: atomicAxisValue(parsed.value_ref, `${pairLabel}.value_ref`),
+                };
+            }),
+            disposition: literal(row.disposition, [
+                "not_applicable",
+                "excluded_by_scope",
+                "decision_required",
+                "unavailable",
+            ], `${itemLabel}.disposition`),
+            source_item_refs: sourceItemKeys(row.source_item_refs, `${itemLabel}.source_item_refs`),
+            basis_refs: stableKeys(row.basis_refs, `${itemLabel}.basis_refs`),
+            rationale: string(row.rationale, `${itemLabel}.rationale`),
+        };
+    });
+}
+export function parseDesignResourceVariations(value, label = "design_resource_handoff.variations") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "subject_ref",
+            "variant",
+            "state",
+            "interaction_phase",
+            "presence_phase",
+            "instance_case",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            subject_ref: stableKey(row.subject_ref, `${itemLabel}.subject_ref`),
+            variant: atomicAxisValue(row.variant, `${itemLabel}.variant`),
+            state: atomicAxisValue(row.state, `${itemLabel}.state`),
+            interaction_phase: atomicAxisValue(row.interaction_phase, `${itemLabel}.interaction_phase`),
+            presence_phase: atomicAxisValue(row.presence_phase, `${itemLabel}.presence_phase`),
+            instance_case: atomicAxisValue(row.instance_case, `${itemLabel}.instance_case`),
+        };
+    });
+}

package/dist/lib/design-resource-fact-manifest-shape-evidence.d.ts

@@ -0,0 +1,4 @@
+import { type DesignResourceAssetBindingV1, type DesignResourceEnvironmentV1, type DesignResourceOracleV1 } from "./design-resource-fact-manifest-types.js";
+export declare function parseDesignResourceOracles(value: unknown, label?: string): DesignResourceOracleV1[];
+export declare function parseDesignResourceEnvironments(value: unknown, label?: string): DesignResourceEnvironmentV1[];
+export declare function parseDesignResourceAssetBindings(value: unknown, label?: string): DesignResourceAssetBindingV1[];

package/dist/lib/design-resource-fact-manifest-shape-evidence.js

@@ -0,0 +1,59 @@
+import { DESIGN_RESOURCE_INSPECTOR_CAPABILITIES, } from "./design-resource-fact-manifest-types.js";
+import { parseDesignResourceLocatedDigest } from "./design-resource-fact-shape-primitives.js";
+import { contractKeys, sha256, stableKey, stableKeys, } from "./design-resource-handoff-shape-primitives.js";
+import { array, literal, nullable, object, string, } from "./long-task-shape-primitives.js";
+export function parseDesignResourceOracles(value, label = "design_resource_handoff.oracles") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "trust",
+            "identity",
+            "version",
+            "sha256",
+            "capability_refs",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            trust: literal(row.trust, ["frozen_executable", "named_external_tcb"], `${itemLabel}.trust`),
+            identity: string(row.identity, `${itemLabel}.identity`),
+            version: string(row.version, `${itemLabel}.version`),
+            sha256: nullable(row.sha256, (item) => sha256(item, `${itemLabel}.sha256`)),
+            capability_refs: array(row.capability_refs, `${itemLabel}.capability_refs`).map((capability, capabilityIndex) => literal(capability, DESIGN_RESOURCE_INSPECTOR_CAPABILITIES, `${itemLabel}.capability_refs[${capabilityIndex}]`)),
+        };
+    });
+}
+export function parseDesignResourceEnvironments(value, label = "design_resource_handoff.environments") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, ["key", "identity", "definition"]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            identity: string(row.identity, `${itemLabel}.identity`),
+            definition: parseDesignResourceLocatedDigest(row.definition, `${itemLabel}.definition`),
+        };
+    });
+}
+export function parseDesignResourceAssetBindings(value, label = "design_resource_handoff.asset_bindings") {
+    return array(value, label).map((item, index) => {
+        const itemLabel = `${label}[${index}]`;
+        const row = object(item, itemLabel, [
+            "key",
+            "asset_subject_ref",
+            "resource_ref",
+            "target_refs",
+            "condition_refs",
+            "fact_refs",
+            "consumer_subject_refs",
+        ]);
+        return {
+            key: stableKey(row.key, `${itemLabel}.key`),
+            asset_subject_ref: stableKey(row.asset_subject_ref, `${itemLabel}.asset_subject_ref`),
+            resource_ref: stableKey(row.resource_ref, `${itemLabel}.resource_ref`),
+            target_refs: contractKeys(row.target_refs, `${itemLabel}.target_refs`),
+            condition_refs: contractKeys(row.condition_refs, `${itemLabel}.condition_refs`),
+            fact_refs: stableKeys(row.fact_refs, `${itemLabel}.fact_refs`),
+            consumer_subject_refs: stableKeys(row.consumer_subject_refs, `${itemLabel}.consumer_subject_refs`),
+        };
+    });
+}

package/dist/lib/design-resource-fact-manifest-shape-facts.d.ts

@@ -0,0 +1,4 @@
+import { type DesignResourceFactCellV1, type DesignResourceProofObligationV1, type DesignResourcePropertyDefinitionV1 } from "./design-resource-fact-manifest-types.js";
+export declare function parseDesignResourceProperties(value: unknown, label?: string): DesignResourcePropertyDefinitionV1[];
+export declare function parseDesignResourceFactCells(value: unknown, label?: string): DesignResourceFactCellV1[];
+export declare function parseDesignResourceProofObligations(value: unknown, label?: string): DesignResourceProofObligationV1[];