my-frontend-observer 0.4.0 → 0.6.0

package/dist/domain/boundedAgentContext.d.ts

@@ -0,0 +1,174 @@
+/**
+ * v0.6 Batch 1: frozen contract foundation for a bounded, deterministic,
+ * referenceable agent-context artifact plus optional runtime/static
+ * correlation evidence.
+ *
+ * Independent artifact family from observation (`1.2.0`), comparison
+ * (`1.0.0`), frontend-contract (`1.0.0`), and frontend-contract-evaluation
+ * (`1.0.0`) - never reuses their `ARTIFACT_KIND`/schema constants. Follows
+ * the same producer/provenance/source-reference/structural-validator shape
+ * as `frontendContractEvaluationArtifact.ts`.
+ *
+ * This module is pure contract foundation: types, constants, and structural
+ * validators only. It contains no runtime-projection derivation, no
+ * my-dev-kit invocation, and no correlation-matching logic - those are v0.6
+ * Batch 2+ concerns.
+ */
+import { type EvidenceReference } from './relationships.js';
+import { PRODUCER_NAME } from './schema.js';
+import type { ArtifactReference, TargetGeometry, TargetVisibility, OverflowEvidence, ScrollOwnerInterpretation } from './schema.js';
+export declare const BOUNDED_AGENT_CONTEXT_ARTIFACT_KIND: "my-frontend-observer/bounded-agent-context";
+export declare const BOUNDED_AGENT_CONTEXT_SCHEMA_VERSION: "1.0.0";
+/**
+ * Batch 1 freezes exactly one projection profile. A profile discriminator is
+ * kept (rather than omitted) because it is required to fail closed on future
+ * unsupported profiles; no plugin/registry framework is introduced.
+ */
+export declare const PROJECTION_PROFILES: readonly ["frontend-change-review"];
+export type ProjectionProfile = (typeof PROJECTION_PROFILES)[number];
+export declare const MAX_RUNTIME_TARGETS = 25;
+export declare const MAX_RELATIONSHIP_EVIDENCE_PER_TARGET = 10;
+export declare const MAX_OMISSIONS = 50;
+export declare const MAX_TRUNCATIONS = 50;
+export declare const MAX_CORRELATION_RECORDS = 25;
+export declare const MAX_STATIC_CANDIDATES_PER_TARGET = 5;
+export declare const MAX_TEXT_SUMMARY_CHARS = 2000;
+/** Bounds StaticCandidateReference.evidenceRefs and RuntimeStaticCorrelationRecord.runtimeEvidenceRefs - reuses MAX_RELATIONSHIP_EVIDENCE_PER_TARGET's value so no nested collection in this contract is unbounded. */
+export declare const MAX_EVIDENCE_REFS_PER_CORRELATION_FIELD = 10;
+export declare const ADEQUACY_STATES: readonly ["adequate", "partial", "inadequate"];
+export type AdequacyState = (typeof ADEQUACY_STATES)[number];
+export declare const ADEQUACY_REASON_CODES: readonly ["required-runtime-target-unavailable", "required-runtime-property-unavailable", "required-contract-evidence-unavailable", "required-evidence-omitted-by-bound", "static-correlation-ambiguous", "static-evidence-unavailable", "required-source-evidence-truncated", "unsupported-evidence-version", "consumer-incompatibility"];
+export type AdequacyReasonCode = (typeof ADEQUACY_REASON_CODES)[number];
+export interface AdequacyReason {
+    code: AdequacyReasonCode;
+    detail?: string;
+}
+/** `state` is never implied by evidence merely existing - it is always an explicit field. Non-`adequate` states require at least one reason. */
+export interface Adequacy {
+    state: AdequacyState;
+    reasons: AdequacyReason[];
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export declare function isValidAdequacy(value: unknown): value is Adequacy;
+export declare const OMISSION_REASONS: readonly ["not-observed", "unsupported-or-unavailable", "intentionally-irrelevant", "omitted-by-bound", "required-evidence-lost-by-bound"];
+export type OmissionReason = (typeof OMISSION_REASONS)[number];
+/** `required: true` with reason `required-evidence-lost-by-bound` is the frozen representation of required-evidence loss (distinct from optional truncation). */
+export interface OmissionRecord {
+    subject: string;
+    reason: OmissionReason;
+    required: boolean;
+    detail?: string;
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export declare function isValidOmissionRecord(value: unknown): value is OmissionRecord;
+/** A bounded collection or text field that exceeded its frozen cap. `required: true` marks loss of evidence the task needed; `required: false` marks optional truncation. */
+export interface TruncationRecord {
+    subject: string;
+    limit: number;
+    actualCount: number;
+    required: boolean;
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export declare function isValidTruncationRecord(value: unknown): value is TruncationRecord;
+/** References existing v0.1-v0.5 authoritative artifacts by identity only; never embeds their payloads. */
+export interface BoundedAgentContextSourceReferences {
+    observationIds: string[];
+    comparisonId?: string;
+    comparisonRequestId?: string;
+    baselineContractId?: string;
+    changeContractId?: string;
+    evaluationId?: string;
+    evaluationRequestId?: string;
+}
+/** Task-relevant bounded subset of one stable observer runtime target's evidence. Every field is optional - absence means "not included in this bounded projection", never a fabricated value. */
+export interface BoundedRuntimeTargetProjection {
+    targetId: string;
+    geometry?: TargetGeometry;
+    visibility?: TargetVisibility;
+    overflow?: OverflowEvidence;
+    scrollOwner?: ScrollOwnerInterpretation;
+    relationshipEvidence?: EvidenceReference[];
+    screenshotRef?: ArtifactReference;
+}
+export declare const CORRELATION_STATUSES: readonly ["correlated", "ambiguous", "unavailable"];
+export type CorrelationStatus = (typeof CORRELATION_STATUSES)[number];
+/** Kinds of my-dev-kit stable static identity a candidate reference may carry. Observer never invents a third kind. */
+export declare const STATIC_CANDIDATE_KINDS: readonly ["file", "symbol"];
+export type StaticCandidateKind = (typeof STATIC_CANDIDATE_KINDS)[number];
+/** Enough my-dev-kit producer/index identity to reason about compatibility without duplicating its structural schemas. */
+export interface StaticEvidenceProducerIdentity {
+    name: string;
+    version: string;
+    indexId: string;
+}
+/**
+ * v0.6 Batch 3: exported (was previously module-private) so
+ * `boundedAgentContextCorrelation.ts` can reuse this structural validator
+ * instead of duplicating it. No change to its logic, signature, or the
+ * frozen `StaticEvidenceProducerIdentity` contract itself.
+ */
+export declare function isValidStaticEvidenceProducerIdentity(value: unknown): value is StaticEvidenceProducerIdentity;
+/** The exact my-dev-kit node id string is preserved verbatim - never normalized/rewritten into an observer-owned id. */
+export interface StaticCandidateReference {
+    candidateId: string;
+    kind: StaticCandidateKind;
+    evidenceRefs: EvidenceReference[];
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export declare function isValidStaticCandidateReference(value: unknown): value is StaticCandidateReference;
+/**
+ * Evidence connecting one observer runtime target to zero, one, or several
+ * my-dev-kit static candidates. Deliberately has no `owner`, `causedBy`, or
+ * similarly strong-claim field - correlation is evidence, never edit
+ * authorization or proof of source ownership.
+ */
+export interface RuntimeStaticCorrelationRecord {
+    runtimeTargetId: string;
+    runtimeEvidenceRefs: EvidenceReference[];
+    staticProducer: StaticEvidenceProducerIdentity;
+    status: CorrelationStatus;
+    candidates: StaticCandidateReference[];
+    evidenceBasis?: string;
+    omissions?: OmissionRecord[];
+    truncations?: TruncationRecord[];
+    provenance: {
+        correlatedAt: string;
+    };
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export declare function isValidRuntimeStaticCorrelationRecord(value: unknown): value is RuntimeStaticCorrelationRecord;
+export interface BoundedAgentContextArtifact {
+    artifactKind: typeof BOUNDED_AGENT_CONTEXT_ARTIFACT_KIND;
+    schemaVersion: typeof BOUNDED_AGENT_CONTEXT_SCHEMA_VERSION;
+    contextId: string;
+    contextRequestId: string;
+    producer: {
+        name: typeof PRODUCER_NAME;
+        version: string;
+    };
+    provenance: {
+        generatedAt: string;
+    };
+    projectionProfile: ProjectionProfile;
+    sources: BoundedAgentContextSourceReferences;
+    targets: BoundedRuntimeTargetProjection[];
+    adequacy: Adequacy;
+    omissions: OmissionRecord[];
+    truncations: TruncationRecord[];
+    /**
+     * Absent or empty means static correlation was not included for this
+     * context - an explicit, distinguishable state, never conflated with
+     * "correlation attempted and unavailable" (which is represented per-target
+     * via a `RuntimeStaticCorrelationRecord` with `status: 'unavailable'`).
+     * The artifact remains fully valid and independently usable with this
+     * field absent.
+     */
+    correlations?: RuntimeStaticCorrelationRecord[];
+}
+export type BoundedAgentContextValidationResult = {
+    valid: true;
+} | {
+    valid: false;
+    reason: string;
+};
+export declare function isValidBoundedAgentContextArtifact(value: unknown): BoundedAgentContextValidationResult;

package/dist/domain/boundedAgentContext.js

@@ -0,0 +1,312 @@
+/**
+ * v0.6 Batch 1: frozen contract foundation for a bounded, deterministic,
+ * referenceable agent-context artifact plus optional runtime/static
+ * correlation evidence.
+ *
+ * Independent artifact family from observation (`1.2.0`), comparison
+ * (`1.0.0`), frontend-contract (`1.0.0`), and frontend-contract-evaluation
+ * (`1.0.0`) - never reuses their `ARTIFACT_KIND`/schema constants. Follows
+ * the same producer/provenance/source-reference/structural-validator shape
+ * as `frontendContractEvaluationArtifact.ts`.
+ *
+ * This module is pure contract foundation: types, constants, and structural
+ * validators only. It contains no runtime-projection derivation, no
+ * my-dev-kit invocation, and no correlation-matching logic - those are v0.6
+ * Batch 2+ concerns.
+ */
+import { isValidEvidenceReference } from './relationships.js';
+import { PRODUCER_NAME } from './schema.js';
+function isPlainObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isNonEmptyString(value) {
+    return typeof value === 'string' && value.length > 0;
+}
+function isEvidenceReferenceArray(value) {
+    return Array.isArray(value) && value.every((entry) => isValidEvidenceReference(entry));
+}
+function isValidArtifactReference(value) {
+    return isPlainObject(value) && isNonEmptyString(value.path) && isNonEmptyString(value.kind);
+}
+export const BOUNDED_AGENT_CONTEXT_ARTIFACT_KIND = 'my-frontend-observer/bounded-agent-context';
+export const BOUNDED_AGENT_CONTEXT_SCHEMA_VERSION = '1.0.0';
+/**
+ * Batch 1 freezes exactly one projection profile. A profile discriminator is
+ * kept (rather than omitted) because it is required to fail closed on future
+ * unsupported profiles; no plugin/registry framework is introduced.
+ */
+export const PROJECTION_PROFILES = ['frontend-change-review'];
+function isValidProjectionProfile(value) {
+    return typeof value === 'string' && PROJECTION_PROFILES.includes(value);
+}
+// ---------------------------------------------------------------------------
+// Numeric bounds (frozen first-version caps, judgment calls grounded in the
+// existing ~10-named-target example count in docs/PROJECT_MILESTONES.md and
+// the MAX_CONFIGURED_TARGETS_FOR_RELATIONSHIPS=20 precedent in
+// relationships.ts; no measured fixture corpus exists yet for this concept)
+// ---------------------------------------------------------------------------
+export const MAX_RUNTIME_TARGETS = 25;
+export const MAX_RELATIONSHIP_EVIDENCE_PER_TARGET = 10;
+export const MAX_OMISSIONS = 50;
+export const MAX_TRUNCATIONS = 50;
+export const MAX_CORRELATION_RECORDS = 25;
+export const MAX_STATIC_CANDIDATES_PER_TARGET = 5;
+export const MAX_TEXT_SUMMARY_CHARS = 2000;
+/** Bounds StaticCandidateReference.evidenceRefs and RuntimeStaticCorrelationRecord.runtimeEvidenceRefs - reuses MAX_RELATIONSHIP_EVIDENCE_PER_TARGET's value so no nested collection in this contract is unbounded. */
+export const MAX_EVIDENCE_REFS_PER_CORRELATION_FIELD = MAX_RELATIONSHIP_EVIDENCE_PER_TARGET;
+// ---------------------------------------------------------------------------
+// Adequacy (explicit, non-boolean, structured reasons)
+// ---------------------------------------------------------------------------
+export const ADEQUACY_STATES = ['adequate', 'partial', 'inadequate'];
+export const ADEQUACY_REASON_CODES = [
+    'required-runtime-target-unavailable',
+    'required-runtime-property-unavailable',
+    'required-contract-evidence-unavailable',
+    'required-evidence-omitted-by-bound',
+    'static-correlation-ambiguous',
+    'static-evidence-unavailable',
+    'required-source-evidence-truncated',
+    'unsupported-evidence-version',
+    'consumer-incompatibility',
+];
+function isValidAdequacyReason(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (typeof value.code !== 'string' || !ADEQUACY_REASON_CODES.includes(value.code))
+        return false;
+    if (value.detail !== undefined && typeof value.detail !== 'string')
+        return false;
+    return true;
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export function isValidAdequacy(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (typeof value.state !== 'string' || !ADEQUACY_STATES.includes(value.state))
+        return false;
+    if (!Array.isArray(value.reasons) || !value.reasons.every(isValidAdequacyReason))
+        return false;
+    if (value.state !== 'adequate' && value.reasons.length === 0)
+        return false;
+    return true;
+}
+// ---------------------------------------------------------------------------
+// Omission / truncation (kept distinct; required loss visible)
+// ---------------------------------------------------------------------------
+export const OMISSION_REASONS = [
+    'not-observed',
+    'unsupported-or-unavailable',
+    'intentionally-irrelevant',
+    'omitted-by-bound',
+    'required-evidence-lost-by-bound',
+];
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export function isValidOmissionRecord(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (!isNonEmptyString(value.subject))
+        return false;
+    if (typeof value.reason !== 'string' || !OMISSION_REASONS.includes(value.reason))
+        return false;
+    if (typeof value.required !== 'boolean')
+        return false;
+    if (value.detail !== undefined && typeof value.detail !== 'string')
+        return false;
+    return true;
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export function isValidTruncationRecord(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (!isNonEmptyString(value.subject))
+        return false;
+    if (typeof value.limit !== 'number' || !Number.isInteger(value.limit) || value.limit < 0)
+        return false;
+    if (typeof value.actualCount !== 'number' || !Number.isInteger(value.actualCount) || value.actualCount < 0)
+        return false;
+    if (typeof value.required !== 'boolean')
+        return false;
+    return true;
+}
+function isValidSourceReferences(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (!Array.isArray(value.observationIds) || value.observationIds.length === 0 || !value.observationIds.every(isNonEmptyString))
+        return false;
+    const optionalStringFields = ['comparisonId', 'comparisonRequestId', 'baselineContractId', 'changeContractId', 'evaluationId', 'evaluationRequestId'];
+    for (const field of optionalStringFields) {
+        if (value[field] !== undefined && !isNonEmptyString(value[field]))
+            return false;
+    }
+    return true;
+}
+// ---------------------------------------------------------------------------
+// Bounded runtime target projection (reuses existing schema value objects -
+// no second runtime truth model)
+// ---------------------------------------------------------------------------
+function isValidTargetGeometry(value) {
+    if (!isPlainObject(value))
+        return false;
+    return ['x', 'y', 'width', 'height', 'right', 'bottom'].every((key) => typeof value[key] === 'number');
+}
+function isValidTargetVisibility(value) {
+    return isPlainObject(value) && typeof value.visible === 'boolean';
+}
+function isValidOverflowEvidence(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (typeof value.horizontalOverflow !== 'boolean' || typeof value.verticalOverflow !== 'boolean')
+        return false;
+    return typeof value.overflowX === 'string' && typeof value.overflowY === 'string';
+}
+function isValidScrollOwnerInterpretation(value) {
+    if (!isPlainObject(value) || typeof value.kind !== 'string')
+        return false;
+    if (value.kind === 'target')
+        return isNonEmptyString(value.target);
+    return value.kind === 'document' || value.kind === 'none' || value.kind === 'indeterminate';
+}
+function isValidBoundedRuntimeTargetProjection(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (!isNonEmptyString(value.targetId))
+        return false;
+    if (value.geometry !== undefined && !isValidTargetGeometry(value.geometry))
+        return false;
+    if (value.visibility !== undefined && !isValidTargetVisibility(value.visibility))
+        return false;
+    if (value.overflow !== undefined && !isValidOverflowEvidence(value.overflow))
+        return false;
+    if (value.scrollOwner !== undefined && !isValidScrollOwnerInterpretation(value.scrollOwner))
+        return false;
+    if (value.relationshipEvidence !== undefined) {
+        if (!isEvidenceReferenceArray(value.relationshipEvidence))
+            return false;
+        if (value.relationshipEvidence.length > MAX_RELATIONSHIP_EVIDENCE_PER_TARGET)
+            return false;
+    }
+    if (value.screenshotRef !== undefined && !isValidArtifactReference(value.screenshotRef))
+        return false;
+    return true;
+}
+// ---------------------------------------------------------------------------
+// Runtime/static correlation (evidence, not ownership or edit authorization)
+// ---------------------------------------------------------------------------
+export const CORRELATION_STATUSES = ['correlated', 'ambiguous', 'unavailable'];
+/** Kinds of my-dev-kit stable static identity a candidate reference may carry. Observer never invents a third kind. */
+export const STATIC_CANDIDATE_KINDS = ['file', 'symbol'];
+/**
+ * v0.6 Batch 3: exported (was previously module-private) so
+ * `boundedAgentContextCorrelation.ts` can reuse this structural validator
+ * instead of duplicating it. No change to its logic, signature, or the
+ * frozen `StaticEvidenceProducerIdentity` contract itself.
+ */
+export function isValidStaticEvidenceProducerIdentity(value) {
+    if (!isPlainObject(value))
+        return false;
+    return isNonEmptyString(value.name) && isNonEmptyString(value.version) && isNonEmptyString(value.indexId);
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export function isValidStaticCandidateReference(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (!isNonEmptyString(value.candidateId))
+        return false;
+    if (typeof value.kind !== 'string' || !STATIC_CANDIDATE_KINDS.includes(value.kind))
+        return false;
+    // Best-effort my-dev-kit node-id-prefix consistency check (full node-id grammar validation is my-dev-kit's own responsibility, not this observer's).
+    if (value.kind === 'file' && !value.candidateId.startsWith('file:'))
+        return false;
+    if (value.kind === 'symbol' && !value.candidateId.startsWith('symbol:'))
+        return false;
+    if (!isEvidenceReferenceArray(value.evidenceRefs))
+        return false;
+    return value.evidenceRefs.length <= MAX_EVIDENCE_REFS_PER_CORRELATION_FIELD;
+}
+/** v0.6 Batch 3: exported for reuse by `boundedAgentContextCorrelation.ts` (see note on `isValidStaticEvidenceProducerIdentity`). No logic change. */
+export function isValidRuntimeStaticCorrelationRecord(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (!isNonEmptyString(value.runtimeTargetId))
+        return false;
+    if (!isEvidenceReferenceArray(value.runtimeEvidenceRefs))
+        return false;
+    if (value.runtimeEvidenceRefs.length > MAX_EVIDENCE_REFS_PER_CORRELATION_FIELD)
+        return false;
+    if (!isValidStaticEvidenceProducerIdentity(value.staticProducer))
+        return false;
+    if (typeof value.status !== 'string' || !CORRELATION_STATUSES.includes(value.status))
+        return false;
+    if (!Array.isArray(value.candidates) || !value.candidates.every(isValidStaticCandidateReference))
+        return false;
+    if (value.candidates.length > MAX_STATIC_CANDIDATES_PER_TARGET)
+        return false;
+    // Status/candidate-count invariants: correlated=>exactly one, ambiguous=>at least two, unavailable=>none fabricated.
+    if (value.status === 'correlated' && value.candidates.length !== 1)
+        return false;
+    if (value.status === 'ambiguous' && value.candidates.length < 2)
+        return false;
+    if (value.status === 'unavailable' && value.candidates.length !== 0)
+        return false;
+    if (value.evidenceBasis !== undefined) {
+        if (typeof value.evidenceBasis !== 'string' || value.evidenceBasis.length > MAX_TEXT_SUMMARY_CHARS)
+            return false;
+    }
+    if (value.omissions !== undefined && !(Array.isArray(value.omissions) && value.omissions.every(isValidOmissionRecord)))
+        return false;
+    if (value.truncations !== undefined && !(Array.isArray(value.truncations) && value.truncations.every(isValidTruncationRecord)))
+        return false;
+    if (!isPlainObject(value.provenance) || !isNonEmptyString(value.provenance.correlatedAt))
+        return false;
+    return true;
+}
+export function isValidBoundedAgentContextArtifact(value) {
+    if (!isPlainObject(value))
+        return { valid: false, reason: 'artifact must be an object' };
+    if (value.artifactKind !== BOUNDED_AGENT_CONTEXT_ARTIFACT_KIND)
+        return { valid: false, reason: 'artifactKind mismatch' };
+    if (value.schemaVersion !== BOUNDED_AGENT_CONTEXT_SCHEMA_VERSION)
+        return { valid: false, reason: 'schemaVersion mismatch' };
+    if (!isNonEmptyString(value.contextId))
+        return { valid: false, reason: 'contextId must be a non-empty string' };
+    if (!isNonEmptyString(value.contextRequestId))
+        return { valid: false, reason: 'contextRequestId must be a non-empty string' };
+    if (!isPlainObject(value.producer) || value.producer.name !== PRODUCER_NAME || !isNonEmptyString(value.producer.version)) {
+        return { valid: false, reason: 'producer must be { name: "my-frontend-observer", version: string }' };
+    }
+    if (!isPlainObject(value.provenance) || !isNonEmptyString(value.provenance.generatedAt)) {
+        return { valid: false, reason: 'provenance.generatedAt must be a non-empty string' };
+    }
+    if (!isValidProjectionProfile(value.projectionProfile)) {
+        return { valid: false, reason: `projectionProfile must be one of: ${PROJECTION_PROFILES.join(', ')}` };
+    }
+    if (!isValidSourceReferences(value.sources))
+        return { valid: false, reason: 'sources reference is invalid' };
+    if (!Array.isArray(value.targets) || !value.targets.every(isValidBoundedRuntimeTargetProjection)) {
+        return { valid: false, reason: 'targets must be an array of valid bounded runtime target projections' };
+    }
+    if (value.targets.length > MAX_RUNTIME_TARGETS)
+        return { valid: false, reason: `targets exceeds the frozen limit of ${MAX_RUNTIME_TARGETS}` };
+    if (!isValidAdequacy(value.adequacy))
+        return { valid: false, reason: 'adequacy is invalid' };
+    if (!Array.isArray(value.omissions) || !value.omissions.every(isValidOmissionRecord)) {
+        return { valid: false, reason: 'omissions must be an array of valid omission records' };
+    }
+    if (value.omissions.length > MAX_OMISSIONS)
+        return { valid: false, reason: `omissions exceeds the frozen limit of ${MAX_OMISSIONS}` };
+    if (!Array.isArray(value.truncations) || !value.truncations.every(isValidTruncationRecord)) {
+        return { valid: false, reason: 'truncations must be an array of valid truncation records' };
+    }
+    if (value.truncations.length > MAX_TRUNCATIONS)
+        return { valid: false, reason: `truncations exceeds the frozen limit of ${MAX_TRUNCATIONS}` };
+    if (value.correlations !== undefined) {
+        if (!Array.isArray(value.correlations) || !value.correlations.every(isValidRuntimeStaticCorrelationRecord)) {
+            return { valid: false, reason: 'correlations must be an array of valid runtime/static correlation records' };
+        }
+        if (value.correlations.length > MAX_CORRELATION_RECORDS) {
+            return { valid: false, reason: `correlations exceeds the frozen limit of ${MAX_CORRELATION_RECORDS}` };
+        }
+    }
+    return { valid: true };
+}
+//# sourceMappingURL=boundedAgentContext.js.map

package/dist/domain/boundedAgentContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boundedAgentContext.js","sourceRoot":"","sources":["../../src/domain/boundedAgentContext.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,wBAAwB,EAA0B,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAG5C,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,CAAC,MAAM,mCAAmC,GAAG,4CAAqD,CAAC;AACzG,MAAM,CAAC,MAAM,oCAAoC,GAAG,OAAgB,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,wBAAwB,CAAU,CAAC;AAGvE,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,mBAAyC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,+DAA+D;AAC/D,4EAA4E;AAC5E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AACtC,MAAM,CAAC,MAAM,oCAAoC,GAAG,EAAE,CAAC;AACvD,MAAM,CAAC,MAAM,aAAa,GAAG,EAAE,CAAC;AAChC,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAClC,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAC1C,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAClD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAC3C,uNAAuN;AACvN,MAAM,CAAC,MAAM,uCAAuC,GAAG,oCAAoC,CAAC;AAE5F,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,CAAU,CAAC;AAG9E,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,qCAAqC;IACrC,uCAAuC;IACvC,wCAAwC;IACxC,oCAAoC;IACpC,8BAA8B;IAC9B,6BAA6B;IAC7B,oCAAoC;IACpC,8BAA8B;IAC9B,0BAA0B;CAClB,CAAC;AAQX,SAAS,qBAAqB,CAAC,KAAc;IAC3C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAE,qBAA2C,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvH,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACjF,OAAO,IAAI,CAAC;AACd,CAAC;AAQD,sJAAsJ;AACtJ,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAE,eAAqC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/F,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,+DAA+D;AAC/D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,kBAAkB;IAClB,iCAAiC;CACzB,CAAC;AAWX,sJAAsJ;AACtJ,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAE,gBAAsC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACtH,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACjF,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,sJAAsJ;AACtJ,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACvG,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACzH,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtD,OAAO,IAAI,CAAC;AACd,CAAC;AAiBD,SAAS,uBAAuB,CAAC,KAAc;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7I,MAAM,oBAAoB,GAAG,CAAC,cAAc,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,cAAc,EAAE,qBAAqB,CAAU,CAAC;IAC/J,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAClF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,iCAAiC;AACjC,8EAA8E;AAE9E,SAAS,qBAAqB,CAAC,KAAc;IAC3C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAW,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC7C,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,kBAAkB,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC/G,OAAO,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC;AACpF,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAc;IACtD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC;AAC9F,CAAC;AAaD,SAAS,qCAAqC,CAAC,KAAc;IAC3D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACzF,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/F,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3F,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,gCAAgC,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1G,IAAI,KAAK,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAC7C,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,oBAAoB,CAAC;YAAE,OAAO,KAAK,CAAC;QACxE,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,GAAG,oCAAoC;YAAE,OAAO,KAAK,CAAC;IAC7F,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IACtG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,YAAY,EAAE,WAAW,EAAE,aAAa,CAAU,CAAC;AAGxF,uHAAuH;AACvH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAU,CAAC;AAUlE;;;;;GAKG;AACH,MAAM,UAAU,qCAAqC,CAAC,KAAc;IAClE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC5G,CAAC;AASD,sJAAsJ;AACtJ,MAAM,UAAU,+BAA+B,CAAC,KAAc;IAC5D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAE,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACxH,qJAAqJ;IACrJ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAClF,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,OAAO,KAAK,CAAC,YAAY,CAAC,MAAM,IAAI,uCAAuC,CAAC;AAC9E,CAAC;AAoBD,sJAAsJ;AACtJ,MAAM,UAAU,qCAAqC,CAAC,KAAc;IAClE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,eAAe,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,mBAAmB,CAAC;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,KAAK,CAAC,mBAAmB,CAAC,MAAM,GAAG,uCAAuC;QAAE,OAAO,KAAK,CAAC;IAC7F,IAAI,CAAC,qCAAqC,CAAC,KAAK,CAAC,cAAc,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/E,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAE,oBAA0C,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1H,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,+BAA+B,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/G,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,gCAAgC;QAAE,OAAO,KAAK,CAAC;IAC7E,qHAAqH;IACrH,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjF,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClF,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,sBAAsB;YAAE,OAAO,KAAK,CAAC;IACnH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrI,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7I,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IACvG,OAAO,IAAI,CAAC;AACd,CAAC;AAgCD,MAAM,UAAU,kCAAkC,CAAC,KAAc;IAC/D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC;IACzF,IAAI,KAAK,CAAC,YAAY,KAAK,mCAAmC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IACzH,IAAI,KAAK,CAAC,aAAa,KAAK,oCAAoC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;IAC5H,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC;IAChH,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE,CAAC;IAC9H,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACzH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,oEAAoE,EAAE,CAAC;IACxG,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACxF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,mDAAmD,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IACzG,CAAC;IACD,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IAC7G,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,EAAE,CAAC;QACjG,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,sEAAsE,EAAE,CAAC;IAC1G,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,mBAAmB;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,mBAAmB,EAAE,EAAE,CAAC;IAC9I,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAC7F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACrF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,aAAa;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,yCAAyC,aAAa,EAAE,EAAE,CAAC;IACtI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC3F,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,0DAA0D,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,eAAe;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,2CAA2C,eAAe,EAAE,EAAE,CAAC;IAC9I,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,qCAAqC,CAAC,EAAE,CAAC;YAC3G,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,2EAA2E,EAAE,CAAC;QAC/G,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,uBAAuB,EAAE,CAAC;YACxD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,4CAA4C,uBAAuB,EAAE,EAAE,CAAC;QACzG,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC"}

package/dist/domain/boundedAgentContextCorrelation.d.ts

@@ -0,0 +1,74 @@
+import type { StaticCandidateKind, StaticEvidenceProducerIdentity, RuntimeStaticCorrelationRecord, OmissionRecord, TruncationRecord, BoundedAgentContextArtifact } from './boundedAgentContext.js';
+import type { EvidenceReference } from './relationships.js';
+/** One authoritative static candidate as supplied by the caller (e.g. an application-layer adapter that already ran my-dev-kit retrieval). `candidateId`/`kind` are preserved exactly - never re-minted here. */
+export interface StaticCandidateEvidenceInput {
+    candidateId: string;
+    kind: StaticCandidateKind;
+    evidenceRefs: EvidenceReference[];
+}
+/**
+ * One runtime target's correlation input. `required` mirrors the same
+ * required/optional/context classification the rest of the bounded-context
+ * artifact family already uses (see `boundedAgentContextProjection.ts`) -
+ * it drives required-before-optional allocation and CONTRACT-002 adequacy
+ * consequences, but is not itself part of the frozen public
+ * `RuntimeStaticCorrelationRecord` shape.
+ */
+export interface CorrelationTargetInput {
+    runtimeTargetId: string;
+    required: boolean;
+    runtimeEvidenceRefs: EvidenceReference[];
+    /** Authoritative static candidates already selected/ranked by caller criteria. Empty means "correlation attempted, no responsible candidate available" (=> `unavailable`), which is distinct from omitting this target from `targets` entirely (=> not attempted, no record at all). */
+    candidates: StaticCandidateEvidenceInput[];
+    evidenceBasis?: string;
+}
+export interface DeriveRuntimeStaticCorrelationsInput {
+    /** Authoritative static producer/index identity, preserved exactly. Never derived from a local path, worktree, output directory, or timestamp. */
+    staticProducer: StaticEvidenceProducerIdentity;
+    /** Provenance timestamp for every derived record's `provenance.correlatedAt`. Supplied by the caller (pure function - no internal `Date.now()`), matching the existing `generatedAt`-as-input convention in `boundedAgentContextProjection.ts`. */
+    correlatedAt: string;
+    targets: CorrelationTargetInput[];
+}
+export interface DeriveRuntimeStaticCorrelationsOutput {
+    records: RuntimeStaticCorrelationRecord[];
+    omissions: OmissionRecord[];
+    truncations: TruncationRecord[];
+}
+export type DeriveRuntimeStaticCorrelationsResult = ({
+    ok: true;
+} & DeriveRuntimeStaticCorrelationsOutput) | {
+    ok: false;
+    reason: string;
+};
+/**
+ * Derives zero or more bounded `RuntimeStaticCorrelationRecord`s (one per
+ * supplied target) from authoritative runtime + static evidence. Pure,
+ * deterministic, immutable over its inputs, and terminating for arbitrarily
+ * large valid input (bounded by `MAX_CORRELATION_RECORDS`,
+ * `MAX_STATIC_CANDIDATES_PER_TARGET`, `MAX_EVIDENCE_REFS_PER_CORRELATION_FIELD`).
+ *
+ * Does not itself attach the result to a `BoundedAgentContextArtifact` - see
+ * `attachRuntimeStaticCorrelations` for that (separate, explicit step, so
+ * this function stays usable standalone and testable in isolation).
+ */
+export declare function deriveRuntimeStaticCorrelations(input: DeriveRuntimeStaticCorrelationsInput): DeriveRuntimeStaticCorrelationsResult;
+export type AttachRuntimeStaticCorrelationsResult = {
+    ok: true;
+    artifact: BoundedAgentContextArtifact;
+} | {
+    ok: false;
+    reason: string;
+};
+/**
+ * Attaches a previously-derived correlation result to an existing
+ * `BoundedAgentContextArtifact`, immutably (returns a new artifact; never
+ * mutates the input). Enforces cross-artifact coherence (every correlation
+ * record's `runtimeTargetId` must reference a target already present in
+ * `artifact.targets`), re-applies the aggregate `MAX_CORRELATION_RECORDS`/
+ * `MAX_OMISSIONS`/`MAX_TRUNCATIONS` caps to the merged collections, and
+ * recomputes `adequacy` per the frozen CONTRACT-002 rule: any known required
+ * correlation loss or required correlation unavailability forces
+ * `inadequate`; optional-only correlation loss may downgrade an otherwise
+ * `adequate` artifact to `partial`, never to `inadequate`.
+ */
+export declare function attachRuntimeStaticCorrelations(artifact: BoundedAgentContextArtifact, correlation: DeriveRuntimeStaticCorrelationsOutput): AttachRuntimeStaticCorrelationsResult;