project-tiny-context-harness 0.8.16 → 0.8.17

package/dist/lib/long-task-ui-surface-policy.js

@@ -1,6 +1,6 @@
 import { validateUiDesignBinding } from "./long-task-ui-design-policy.js";
 import { bindingCarriers, controlClaims, expectedControlProofSurface, issue, unique, validateCarrierInputs, validateRootJourney, validateTargetLocalClaimProof, } from "./long-task-ui-surface-validation.js";
-export function validateUiSurfaceBindings(contract, claims, report) {
+export function validateUiSurfaceBindings(contract, claims, report, options = {}) {
     const targets = new Map(contract.task.execution_targets.map((target) => [target.key, target]));
     const requiredTargets = new Set(contract.task.target_profile.required_target_refs);
     const confirmations = new Map(contract.global.acceptance.external_confirmations.map((item) => [
@@ -8,9 +8,9 @@ export function validateUiSurfaceBindings(contract, claims, report) {
         item,
     ]));
     for (const outcome of contract.outcomes)
-        validateOutcomeBindings(outcome, claims, targets, requiredTargets, confirmations, report);
+        validateOutcomeBindings(outcome, claims, targets, requiredTargets, confirmations, report, options);
 }
-function validateOutcomeBindings(outcome, claims, targets, requiredTargets, confirmations, report) {
+function validateOutcomeBindings(outcome, claims, targets, requiredTargets, confirmations, report, options = {}) {
     const surfaceBindings = outcome.product.surface_bindings ?? [];
     if (outcome.product.controls.length && !surfaceBindings.length)
         issue(report, "ui_surface_binding_required", outcome.key);
@@ -39,7 +39,10 @@ function validateOutcomeBindings(outcome, claims, targets, requiredTargets, conf
         if (!requiredTargets.has(binding.target_ref))
             issue(report, "ui_surface_binding_required_target_required", `${label}:${binding.target_ref}`);
         validateBoundControls(binding, controls, boundControls, boundControlTargets, label, report);
-        const carriers = bindingCarriers(binding.route_binding_ref, binding.component_binding_refs, technicalBindings, label, report);
+        const carriers = bindingCarriers(binding.route_binding_ref, binding.component_binding_refs, technicalBindings, label, report, {
+            allowEmptyComponentRefs: options.allowDeferredDesignComponentBindingClosure === true &&
+                binding.design_targets.length > 0,
+        });
         const rootCheck = checks.get(binding.root_journey_check_ref);
         if (!rootCheck)
             issue(report, "ui_surface_binding_root_check_unknown", `${label}:${binding.root_journey_check_ref}`);

package/dist/lib/long-task-ui-surface-validation.d.ts

@@ -1,7 +1,9 @@
 import type { CompiledClaimsV2 } from "./long-task-claims.js";
 import type { DeliveryCheckV2, DeliveryOutcomeV2, ProductClaimV2, ProofSurface } from "./long-task-delivery-types.js";
 export type Reporter = (message: string) => void;
-export declare function bindingCarriers(routeRef: string, componentRefs: string[], bindings: Map<string, DeliveryOutcomeV2["technical"]["bindings"][number]>, label: string, report?: Reporter): string[];
+export declare function bindingCarriers(routeRef: string, componentRefs: string[], bindings: Map<string, DeliveryOutcomeV2["technical"]["bindings"][number]>, label: string, report?: Reporter, options?: {
+    allowEmptyComponentRefs?: boolean;
+}): string[];
 export declare function validateRootJourney(binding: DeliveryOutcomeV2["product"]["surface_bindings"][number], check: DeliveryCheckV2, label: string, report?: Reporter): void;
 export declare function validateTargetLocalClaimProof(outcome: DeliveryOutcomeV2, claim: ProductClaimV2, targetRef: string, expectedSurface: ProofSurface | null, claims: CompiledClaimsV2, checks: Map<string, DeliveryCheckV2>, label: string, report?: Reporter): void;
 export declare function expectedControlProofSurface(runtimeFamily: string | undefined): ProofSurface;

package/dist/lib/long-task-ui-surface-validation.js

@@ -1,6 +1,6 @@
 import { proveRepositoryPatternSubset } from "./long-task-paths.js";
-export function bindingCarriers(routeRef, componentRefs, bindings, label, report) {
-    if (!componentRefs.length)
+export function bindingCarriers(routeRef, componentRefs, bindings, label, report, options = {}) {
+    if (!componentRefs.length && !options.allowEmptyComponentRefs)
         issue(report, "ui_surface_binding_component_ref_required", label);
     unique(componentRefs, "ui_surface_binding_component_ref_duplicate", label, report);
     const carriers = [];

package/dist/lib/repository-path-safety.d.ts

@@ -6,6 +6,8 @@ export interface SafeRepositoryPath {
 }
 export declare function resolveInsideRepository(rootInput: string, relativeInput: string, label: string): string;
 export declare function assertProtectedRepositoryFile(repositoryInput: string, fileInput: string, label: string): Promise<string>;
+export declare function assertProtectedRepositoryDirectory(repositoryInput: string, directoryInput: string, label: string): Promise<string>;
+export declare function assertProtectedRepositoryPath(repositoryInput: string, pathInput: string, label: string): Promise<string>;
 export declare function assertSafeRepositoryFilePath(repositoryInput: string, relativeInput: string, label: string, options?: {
     destinationMayBeAbsent?: boolean;
 }): Promise<SafeRepositoryPath & {

package/dist/lib/repository-path-safety.js

@@ -28,6 +28,42 @@ export async function assertProtectedRepositoryFile(repositoryInput, fileInput,
     assertInside(repository, resolved, label, fileInput);
     return resolved;
 }
+export async function assertProtectedRepositoryDirectory(repositoryInput, directoryInput, label) {
+    const repositoryPath = path.resolve(repositoryInput);
+    const repository = await realpath(repositoryPath);
+    const candidate = path.resolve(directoryInput);
+    assertInside(repositoryPath, candidate, label, directoryInput);
+    await assertExistingParents(repositoryPath, repository, candidate, label);
+    const info = await lstatOrNull(candidate);
+    if (!info)
+        throw new Error(`protected_input_not_found:${label}:${display(directoryInput)}`);
+    if (info.isSymbolicLink())
+        throw new Error(`protected_input_symlink_not_allowed:${label}:${display(directoryInput)}`);
+    if (!info.isDirectory())
+        throw new Error(`protected_input_not_directory:${label}:${display(directoryInput)}`);
+    const resolved = await realpath(candidate);
+    assertInside(repository, resolved, label, directoryInput);
+    return resolved;
+}
+export async function assertProtectedRepositoryPath(repositoryInput, pathInput, label) {
+    const repositoryPath = path.resolve(repositoryInput);
+    const repository = await realpath(repositoryPath);
+    const candidate = path.resolve(pathInput);
+    assertInside(repositoryPath, candidate, label, pathInput);
+    await assertExistingParents(repositoryPath, repository, candidate, label);
+    const info = await lstatOrNull(candidate);
+    if (!info)
+        throw new Error(`protected_input_not_found:${label}:${display(pathInput)}`);
+    if (info.isSymbolicLink())
+        throw new Error(`protected_input_symlink_not_allowed:${label}:${display(pathInput)}`);
+    if (!info.isFile() && !info.isDirectory())
+        throw new Error(`protected_input_not_file_or_directory:${label}:${display(pathInput)}`);
+    if (info.isFile() && typeof info.nlink === "number" && info.nlink > 1)
+        throw new Error(`protected_input_hardlink_not_allowed:${label}:${display(pathInput)}`);
+    const resolved = await realpath(candidate);
+    assertInside(repository, resolved, label, pathInput);
+    return resolved;
+}
 export async function assertSafeRepositoryFilePath(repositoryInput, relativeInput, label, options = {}) {
     const repositoryPath = path.resolve(repositoryInput);
     const repository = await realpath(repositoryPath);

package/dist/public-types.d.ts

@@ -3,6 +3,7 @@ export type { CheckExecutionResultV2, CompiledDeliveryContractV2, DeliveryAssert
 export type { BoundaryCheckDecisionV2, BoundaryCheckInputV2, } from "./lib/long-task-boundary-check.js";
 export type { DesignResourceHandoffBundleOptions, DesignResourceHandoffBundleResult, } from "./lib/design-resource-handoff-bundle.js";
 export type { DesignResourceHandoffPreflightV1, DesignResourceHandoffV1, } from "./lib/design-resource-handoff-types.js";
+export type { DesignResourceImplementationFeasibilityIdentityV1, DesignResourceImplementationFeasibilityV1, DesignResourceTechnicalFeasibilityInputV1, } from "./lib/design-resource-implementation-feasibility-types.js";
 export type { DesignResourceHandoffPreflightV2, DesignResourceHandoffV2, DesignResourceObservableRuleManifestV2, DesignResourceSymbolicFactRuleV2, DesignResourceSymbolicNoninterferenceCertificateV2, DesignResourceSymbolicNoninterferenceArtifactV2, DesignResourceSymbolicNoninterferenceDerivedResultV2, DesignResourceSymbolicNoninterferenceFailureWitnessV1, DesignResourceSymbolicNoninterferenceInputBindingV2, DesignResourceSymbolicNoninterferenceProofV2, DesignResourceSymbolicProofObligationV2, } from "./lib/design-resource-symbolic-fact-types.js";
 export type { DesignResourceSymbolicSourceIrCertificateScopeV1, DesignResourceSymbolicSourceIrRegionV1, DesignResourceSymbolicSourceIrV1, } from "./lib/design-resource-symbolic-source-ir-types.js";
 export type { CompiledSymbolicDenotationV1, SymbolicDenotationAxisDomain, SymbolicDenotationComplexityLimits, SymbolicDenotationPredicate, SymbolicExtensionalPointV1, SymbolicPointDenotationV1, } from "./lib/symbolic-denotation-types.js";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "project-tiny-context-harness",
-  "version": "0.8.16",
+  "version": "0.8.17",
   "description": "Minimal project memory and validation harness for AI coding agents.",
   "license": "MIT",
   "author": "Seven128",