niceeval 0.12.2-canary.31 → 0.13.0

package/dist/assertions/record/index.js

@@ -1,76 +1,74 @@
 import { createRequire as __niceevalCreateRequire } from "node:module";
 const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./index.cjs");
-const __niceevalExport0 = __niceevalCanonical["AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1"];
-export { __niceevalExport0 as AGENT_WORKSPACE_DIFF_ATTACHMENT_NAME_V1 };
-const __niceevalExport1 = __niceevalCanonical["ASSERTION_ENTRY_ID_BRAND"];
-export { __niceevalExport1 as ASSERTION_ENTRY_ID_BRAND };
-const __niceevalExport2 = __niceevalCanonical["AgentWorkspaceDiffDocumentV1Schema"];
-export { __niceevalExport2 as AgentWorkspaceDiffDocumentV1Schema };
-const __niceevalExport3 = __niceevalCanonical["AssertionCoverageV1Schema"];
-export { __niceevalExport3 as AssertionCoverageV1Schema };
-const __niceevalExport4 = __niceevalCanonical["AssertionDisplayV1Schema"];
-export { __niceevalExport4 as AssertionDisplayV1Schema };
-const __niceevalExport5 = __niceevalCanonical["AssertionEntryIdSchema"];
-export { __niceevalExport5 as AssertionEntryIdSchema };
-const __niceevalExport6 = __niceevalCanonical["AssertionLimitationV1Schema"];
-export { __niceevalExport6 as AssertionLimitationV1Schema };
-const __niceevalExport7 = __niceevalCanonical["AssertionsExactParseOptions"];
-export { __niceevalExport7 as AssertionsExactParseOptions };
-const __niceevalExport8 = __niceevalCanonical["BoundedJsonObjectV1Schema"];
-export { __niceevalExport8 as BoundedJsonObjectV1Schema };
-const __niceevalExport9 = __niceevalCanonical["BoundedJsonValueV1Schema"];
-export { __niceevalExport9 as BoundedJsonValueV1Schema };
-const __niceevalExport10 = __niceevalCanonical["BuiltInCriterionEnvelopeV1Schema"];
-export { __niceevalExport10 as BuiltInCriterionEnvelopeV1Schema };
-const __niceevalExport11 = __niceevalCanonical["BuiltInCriterionV1Schema"];
-export { __niceevalExport11 as BuiltInCriterionV1Schema };
-const __niceevalExport12 = __niceevalCanonical["CriterionEnvelopeV1Schema"];
-export { __niceevalExport12 as CriterionEnvelopeV1Schema };
-const __niceevalExport13 = __niceevalCanonical["CriterionOuterEnvelopeV1Schema"];
-export { __niceevalExport13 as CriterionOuterEnvelopeV1Schema };
-const __niceevalExport14 = __niceevalCanonical["MAX_ASSERTION_DOCUMENT_BYTES_V1"];
-export { __niceevalExport14 as MAX_ASSERTION_DOCUMENT_BYTES_V1 };
-const __niceevalExport15 = __niceevalCanonical["SealedAssertionResultV1Schema"];
-export { __niceevalExport15 as SealedAssertionResultV1Schema };
-const __niceevalExport16 = __niceevalCanonical["ThirdPartyCriterionV1Schema"];
-export { __niceevalExport16 as ThirdPartyCriterionV1Schema };
-const __niceevalExport17 = __niceevalCanonical["agentWorkspaceDiffAttachmentDefinitionV1"];
-export { __niceevalExport17 as agentWorkspaceDiffAttachmentDefinitionV1 };
-const __niceevalExport18 = __niceevalCanonical["agentWorkspaceDiffAttachmentFamilyV1"];
-export { __niceevalExport18 as agentWorkspaceDiffAttachmentFamilyV1 };
-const __niceevalExport19 = __niceevalCanonical["agentWorkspaceDiffProjector"];
-export { __niceevalExport19 as agentWorkspaceDiffProjector };
-const __niceevalExport20 = __niceevalCanonical["assertAgentWorkspaceDiffRecordableV1"];
-export { __niceevalExport20 as assertAgentWorkspaceDiffRecordableV1 };
-const __niceevalExport21 = __niceevalCanonical["assertionBlobRefsV1"];
-export { __niceevalExport21 as assertionBlobRefsV1 };
-const __niceevalExport22 = __niceevalCanonical["assertionsAttachmentDefinitionV1"];
-export { __niceevalExport22 as assertionsAttachmentDefinitionV1 };
-const __niceevalExport23 = __niceevalCanonical["assertionsAttachmentFamilyV1"];
-export { __niceevalExport23 as assertionsAttachmentFamilyV1 };
-const __niceevalExport24 = __niceevalCanonical["assertionsRecordSchemasV1"];
-export { __niceevalExport24 as assertionsRecordSchemasV1 };
-const __niceevalExport25 = __niceevalCanonical["createAgentWorkspaceDiffAttachmentWriteV1"];
-export { __niceevalExport25 as createAgentWorkspaceDiffAttachmentWriteV1 };
-const __niceevalExport26 = __niceevalCanonical["createAssertionsAttachmentProducerV1"];
-export { __niceevalExport26 as createAssertionsAttachmentProducerV1 };
-const __niceevalExport27 = __niceevalCanonical["createAssertionsDocumentBuilderV1"];
-export { __niceevalExport27 as createAssertionsDocumentBuilderV1 };
-const __niceevalExport28 = __niceevalCanonical["createAssertionsRecordSchemas"];
-export { __niceevalExport28 as createAssertionsRecordSchemas };
-const __niceevalExport29 = __niceevalCanonical["decodeAssertionsDocumentOuterV1"];
-export { __niceevalExport29 as decodeAssertionsDocumentOuterV1 };
-const __niceevalExport30 = __niceevalCanonical["decodeAssertionsDocumentV1"];
-export { __niceevalExport30 as decodeAssertionsDocumentV1 };
-const __niceevalExport31 = __niceevalCanonical["defineAssertionsProjectorV1"];
-export { __niceevalExport31 as defineAssertionsProjectorV1 };
-const __niceevalExport32 = __niceevalCanonical["encodeAssertionResultV1"];
-export { __niceevalExport32 as encodeAssertionResultV1 };
-const __niceevalExport33 = __niceevalCanonical["encodeSealedAssertionEntryV1"];
-export { __niceevalExport33 as encodeSealedAssertionEntryV1 };
-const __niceevalExport34 = __niceevalCanonical["makeThirdPartyCriterionRegistryV1"];
-export { __niceevalExport34 as makeThirdPartyCriterionRegistryV1 };
-const __niceevalExport35 = __niceevalCanonical["projectAssertionsDocumentV1"];
-export { __niceevalExport35 as projectAssertionsDocumentV1 };
+const __niceevalExport0 = __niceevalCanonical["ASSERTION_ENTRY_ID_BRAND"];
+export { __niceevalExport0 as ASSERTION_ENTRY_ID_BRAND };
+const __niceevalExport1 = __niceevalCanonical["AssertionCoverageSchema"];
+export { __niceevalExport1 as AssertionCoverageSchema };
+const __niceevalExport2 = __niceevalCanonical["AssertionDisplaySchema"];
+export { __niceevalExport2 as AssertionDisplaySchema };
+const __niceevalExport3 = __niceevalCanonical["AssertionEntryIdSchema"];
+export { __niceevalExport3 as AssertionEntryIdSchema };
+const __niceevalExport4 = __niceevalCanonical["AssertionLimitationSchema"];
+export { __niceevalExport4 as AssertionLimitationSchema };
+const __niceevalExport5 = __niceevalCanonical["AssertionsExactParseOptions"];
+export { __niceevalExport5 as AssertionsExactParseOptions };
+const __niceevalExport6 = __niceevalCanonical["BoundedJsonObjectSchema"];
+export { __niceevalExport6 as BoundedJsonObjectSchema };
+const __niceevalExport7 = __niceevalCanonical["BoundedJsonValueSchema"];
+export { __niceevalExport7 as BoundedJsonValueSchema };
+const __niceevalExport8 = __niceevalCanonical["BuiltInCriterionEnvelopeSchema"];
+export { __niceevalExport8 as BuiltInCriterionEnvelopeSchema };
+const __niceevalExport9 = __niceevalCanonical["BuiltInCriterionSchema"];
+export { __niceevalExport9 as BuiltInCriterionSchema };
+const __niceevalExport10 = __niceevalCanonical["CriterionEnvelopeSchema"];
+export { __niceevalExport10 as CriterionEnvelopeSchema };
+const __niceevalExport11 = __niceevalCanonical["CriterionOuterEnvelopeSchema"];
+export { __niceevalExport11 as CriterionOuterEnvelopeSchema };
+const __niceevalExport12 = __niceevalCanonical["MAX_ASSERTION_DOCUMENT_BYTES"];
+export { __niceevalExport12 as MAX_ASSERTION_DOCUMENT_BYTES };
+const __niceevalExport13 = __niceevalCanonical["SealedAssertionResultSchema"];
+export { __niceevalExport13 as SealedAssertionResultSchema };
+const __niceevalExport14 = __niceevalCanonical["ThirdPartyCriterionSchema"];
+export { __niceevalExport14 as ThirdPartyCriterionSchema };
+const __niceevalExport15 = __niceevalCanonical["assertFileChangesCaptureRecordable"];
+export { __niceevalExport15 as assertFileChangesCaptureRecordable };
+const __niceevalExport16 = __niceevalCanonical["assertionBlobRefs"];
+export { __niceevalExport16 as assertionBlobRefs };
+const __niceevalExport17 = __niceevalCanonical["assertionsRecordSchemas"];
+export { __niceevalExport17 as assertionsRecordSchemas };
+const __niceevalExport18 = __niceevalCanonical["createAgentWorkspaceDiffAttachmentWrite"];
+export { __niceevalExport18 as createAgentWorkspaceDiffAttachmentWrite };
+const __niceevalExport19 = __niceevalCanonical["createAssertionsAttachmentProducer"];
+export { __niceevalExport19 as createAssertionsAttachmentProducer };
+const __niceevalExport20 = __niceevalCanonical["createAssertionsDocumentBuilder"];
+export { __niceevalExport20 as createAssertionsDocumentBuilder };
+const __niceevalExport21 = __niceevalCanonical["createAssertionsRecordSchemas"];
+export { __niceevalExport21 as createAssertionsRecordSchemas };
+const __niceevalExport22 = __niceevalCanonical["createEmptyFileChangesCapture"];
+export { __niceevalExport22 as createEmptyFileChangesCapture };
+const __niceevalExport23 = __niceevalCanonical["createFileChangesCapture"];
+export { __niceevalExport23 as createFileChangesCapture };
+const __niceevalExport24 = __niceevalCanonical["createFileChangesCaptureAttachmentWrite"];
+export { __niceevalExport24 as createFileChangesCaptureAttachmentWrite };
+const __niceevalExport25 = __niceevalCanonical["decodeAssertionsDocument"];
+export { __niceevalExport25 as decodeAssertionsDocument };
+const __niceevalExport26 = __niceevalCanonical["decodeAssertionsDocumentOuter"];
+export { __niceevalExport26 as decodeAssertionsDocumentOuter };
+const __niceevalExport27 = __niceevalCanonical["defineAssertionsProjector"];
+export { __niceevalExport27 as defineAssertionsProjector };
+const __niceevalExport28 = __niceevalCanonical["encodeAssertionResult"];
+export { __niceevalExport28 as encodeAssertionResult };
+const __niceevalExport29 = __niceevalCanonical["encodeSealedAssertionEntry"];
+export { __niceevalExport29 as encodeSealedAssertionEntry };
+const __niceevalExport30 = __niceevalCanonical["isAssertionsRawDataGraph"];
+export { __niceevalExport30 as isAssertionsRawDataGraph };
+const __niceevalExport31 = __niceevalCanonical["isBoundedJsonObject"];
+export { __niceevalExport31 as isBoundedJsonObject };
+const __niceevalExport32 = __niceevalCanonical["makeThirdPartyCriterionRegistry"];
+export { __niceevalExport32 as makeThirdPartyCriterionRegistry };
+const __niceevalExport33 = __niceevalCanonical["projectAssertionsDocument"];
+export { __niceevalExport33 as projectAssertionsDocument };
+const __niceevalExport34 = __niceevalCanonical["projectFileChangesAttachment"];
+export { __niceevalExport34 as projectFileChangesAttachment };
 //# sourceMappingURL=index.js.map

package/dist/assertions/record/model.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"model.js","sourceRoot":"","sources":["model.ts"],"names":[],"mappings":";;;AACA;;;GAGG;AACH,8CAA2D;AAAlD,uHAAA,wBAAwB,OAAA","sourcesContent":["import type { AssertionEntryId } from \"../identity.ts\";\n/**\n * `entryId` is only stable inside one Assertions Attachment. It is not an\n * authoring key and deliberately has no cross-Attempt meaning.\n */\nexport { ASSERTION_ENTRY_ID_BRAND, } from \"../identity.ts\";\nexport type { AssertionEntryId } from \"../identity.ts\";\nexport type BoundedJsonPrimitiveV1 = null | boolean | number | string;\nexport interface BoundedJsonObjectV1 {\n    readonly [key: string]: BoundedJsonValueV1;\n}\n/** JSON-only material that is bounded by the Assertions v1 decoder. */\nexport type BoundedJsonValueV1 = BoundedJsonPrimitiveV1 | readonly BoundedJsonValueV1[] | BoundedJsonObjectV1;\nexport interface AssertionDisplayV1 {\n    readonly key?: string;\n    readonly label?: string;\n    readonly groupPath: readonly string[];\n}\n/** The outer builtin shape deliberately preserves an unknown future id. */\nexport interface BuiltInCriterionEnvelopeV1 {\n    readonly kind: \"builtin\";\n    readonly id: string;\n    readonly data: BoundedJsonValueV1;\n}\n/** Third-party data is exact JSON owned by the named third-party schema. */\nexport interface ThirdPartyCriterionV1 {\n    readonly name: string;\n    readonly schemaId: string;\n    readonly data: BoundedJsonValueV1;\n}\n/** Raw identity envelope used by the reader's second decode phase. */\nexport type CriterionEnvelopeV1 = BuiltInCriterionEnvelopeV1 | ThirdPartyCriterionV1;\nexport type CriterionOuterEnvelopeV1 = CriterionEnvelopeV1;\nexport type BuiltInCriterionV1 = {\n    readonly kind: \"builtin\";\n    readonly id: \"value-match/v1\";\n    readonly data: {\n        readonly subject: \"explicit-value\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"scope-status/v1\";\n    readonly data: {\n        readonly scope: \"turn\" | \"session\" | \"attempt\";\n        readonly assertion: \"succeeded\" | \"no-failed-actions\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"occurrence/v1\";\n    readonly data: {\n        readonly scope: \"turn\" | \"session\" | \"attempt\";\n        readonly occurrence: \"tool\" | \"skill\" | \"event\";\n        readonly assertion: \"present\" | \"absent\" | \"count\";\n        /** Tool assertions retain the single managed matcher identity. */\n        readonly matcher?: string;\n        readonly quantifier?: {\n            readonly kind: \"absent\";\n        } | {\n            readonly kind: \"at-least\" | \"exact\";\n            readonly count: number;\n        };\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"judge-measurement/v1\";\n    readonly data: {\n        readonly recipe: \"closed-qa\" | \"factuality\" | \"summarizes\";\n        readonly scale: \"unit-interval\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"changed-paths\";\n        readonly paths: readonly string[];\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"no-changes\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"file-changed\";\n        readonly path: string;\n        readonly status?: \"added\" | \"modified\" | \"deleted\";\n        /** Persisted display identity only; evaluators retain the managed Match. */\n        readonly before?: string;\n        readonly after?: string;\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"file-deleted\";\n        readonly path: string;\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"not-in-diff\";\n        readonly pattern: string;\n        readonly flags: string;\n        readonly content: \"added\" | \"removed\" | \"both\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"direct-score/v1\";\n    readonly data: {\n        readonly source: \"author\";\n    };\n};\n/** A v1 writer may only emit a known builtin or a versioned third-party schema. */\nexport type WritableCriterionEnvelopeV1 = BuiltInCriterionV1 | ThirdPartyCriterionV1;\nexport type AssertionMaterialV1<BlobRef> = {\n    readonly kind: \"snapshot\";\n    readonly value: BoundedJsonValueV1;\n} | {\n    readonly kind: \"blob\";\n    readonly ref: BlobRef;\n    readonly encoding: \"utf-8\" | \"binary\";\n    readonly byteLength: number;\n    readonly preview: string;\n}\n/**\n * An Assertion can name an exact, same-owner Attachment without receiving a\n * storage handle.  v1 deliberately exposes no hash, path, blob ref, or\n * evidence id here: the Evaluation Record contract verifies the matching\n * Attempt write before a complete marker can be published.\n */\n | {\n    readonly kind: \"record-attachment\";\n    readonly schemaId: \"niceeval.diff/v1\";\n    readonly preview: string;\n};\nexport type AssertionCoverageV1 = {\n    readonly state: \"complete\";\n} | {\n    readonly state: \"partial\";\n    readonly reason: \"sampled\" | \"truncated\" | \"redacted\" | \"provider-limited\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"not-collected\" | \"source-unavailable\" | \"producer-failed\";\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"optional-material\" | \"unsupported-subject\";\n};\nexport type AssertionLimitationV1 = {\n    readonly kind: \"redacted\";\n    readonly fieldCount: number;\n} | {\n    readonly kind: \"sampled\";\n    readonly captured: number;\n    readonly knownTotal?: number;\n} | {\n    readonly kind: \"truncated\";\n    readonly omittedBytes: number;\n} | {\n    readonly kind: \"provider-limited\";\n};\nexport type GateDispositionV1 = \"not-gate\" | \"satisfied\" | \"failed\" | \"unavailable\" | \"not-applicable\";\nexport interface NoScoreContributionV1 {\n    readonly state: \"not-scored\";\n}\nexport interface EarnedScoreContributionV1 {\n    readonly state: \"earned\";\n    readonly points: number;\n    readonly earned: number;\n}\nexport interface UnavailableScoreContributionV1 {\n    readonly state: \"unavailable\";\n    readonly points: number;\n    readonly reason: \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\n}\nexport type ScoreContributionV1 = NoScoreContributionV1 | EarnedScoreContributionV1 | UnavailableScoreContributionV1;\nexport type SealedAssertionResultV1 = {\n    readonly state: \"matched\";\n    readonly gate: \"not-gate\" | \"satisfied\";\n    readonly score: NoScoreContributionV1 | EarnedScoreContributionV1;\n    /** Bounded evaluator diagnostics, including ToolMatch evidence paths. */\n    readonly diagnostic?: BoundedJsonObjectV1;\n} | {\n    readonly state: \"mismatched\";\n    readonly reason: \"condition-not-met\";\n    readonly gate: \"not-gate\" | \"failed\";\n    readonly score: NoScoreContributionV1 | EarnedScoreContributionV1;\n    readonly diagnostic?: BoundedJsonObjectV1;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: NoScoreContributionV1 | UnavailableScoreContributionV1;\n    readonly diagnostic?: BoundedJsonObjectV1;\n} | {\n    readonly state: \"errored\";\n    readonly reason: \"evaluator-failed\" | \"producer-interrupted\" | \"invalid-subject\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: NoScoreContributionV1 | UnavailableScoreContributionV1;\n    readonly diagnostic?: BoundedJsonObjectV1;\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"coverage-not-applicable\";\n    readonly gate: \"not-gate\" | \"not-applicable\";\n    readonly score: NoScoreContributionV1 | UnavailableScoreContributionV1;\n    readonly diagnostic?: BoundedJsonObjectV1;\n};\n/** The exact v1 value that a producer is allowed to seal. */\nexport interface AssertionEntryV1<BlobRef> {\n    readonly entryId: AssertionEntryId;\n    readonly display: AssertionDisplayV1;\n    readonly criterion: WritableCriterionEnvelopeV1;\n    readonly subject: AssertionMaterialV1<BlobRef>;\n    readonly evidence: readonly AssertionMaterialV1<BlobRef>[];\n    readonly coverage: AssertionCoverageV1;\n    readonly limitations: readonly AssertionLimitationV1[];\n    readonly result: SealedAssertionResultV1;\n}\n/**\n * Reader framing intentionally leaves `criterion` as bounded JSON.  This\n * lets a bad plugin or future criterion affect its entry only after every\n * other entry boundary has already been verified.\n */\nexport interface AssertionEntryOuterV1<BlobRef> {\n    readonly entryId: AssertionEntryId;\n    readonly display: AssertionDisplayV1;\n    readonly criterion: BoundedJsonObjectV1;\n    readonly subject: AssertionMaterialV1<BlobRef>;\n    readonly evidence: readonly AssertionMaterialV1<BlobRef>[];\n    readonly coverage: AssertionCoverageV1;\n    readonly limitations: readonly AssertionLimitationV1[];\n    readonly result: SealedAssertionResultV1;\n}\nexport interface AssertionsDocumentV1<BlobRef> {\n    readonly entries: readonly AssertionEntryV1<BlobRef>[];\n}\nexport interface AssertionsDocumentOuterV1<BlobRef> {\n    readonly entries: readonly AssertionEntryOuterV1<BlobRef>[];\n}\nexport type AssertionEntryReadV1<BlobRef> = {\n    readonly state: \"available\";\n    readonly entry: AssertionEntryV1<BlobRef>;\n} | {\n    readonly state: \"unsupported\";\n    readonly entry: AssertionEntryOuterV1<BlobRef>;\n    readonly reason: \"builtin-unknown\" | \"third-party-schema-unavailable\";\n} | {\n    readonly state: \"invalid\";\n    readonly entry: AssertionEntryOuterV1<BlobRef>;\n    readonly reason: \"criterion-envelope-invalid\" | \"criterion-data-invalid\";\n};\nexport interface AssertionsProjectionV1<BlobRef> {\n    readonly entries: readonly AssertionEntryReadV1<BlobRef>[];\n}\n"]}
+{"version":3,"file":"model.js","sourceRoot":"","sources":["model.ts"],"names":[],"mappings":";;;AAEA;;;GAGG;AACH,8CAA2D;AAAlD,uHAAA,wBAAwB,OAAA","sourcesContent":["import type { AssertionEntryId } from \"../identity.ts\";\nimport type { Sha256Digest } from \"../../record/model/identifiers.ts\";\n/**\n * `entryId` is only stable inside one Assertions Attachment. It is not an\n * authoring key and deliberately has no cross-Attempt meaning.\n */\nexport { ASSERTION_ENTRY_ID_BRAND, } from \"../identity.ts\";\nexport type { AssertionEntryId } from \"../identity.ts\";\nexport type BoundedJsonPrimitive = null | boolean | number | string;\nexport interface BoundedJsonObject {\n    readonly [key: string]: BoundedJsonValue;\n}\n/** JSON-only material that is bounded by the Assertions v1 decoder. */\nexport type BoundedJsonValue = BoundedJsonPrimitive | readonly BoundedJsonValue[] | BoundedJsonObject;\nexport interface AssertionDisplay {\n    readonly key?: string;\n    readonly label?: string;\n    readonly groupPath: readonly string[];\n}\n/** The outer builtin shape deliberately preserves an unknown future id. */\nexport interface BuiltInCriterionEnvelope {\n    readonly kind: \"builtin\";\n    readonly id: string;\n    readonly data: BoundedJsonValue;\n}\n/** Third-party data is exact JSON owned by the named third-party schema. */\nexport interface ThirdPartyCriterion {\n    readonly name: string;\n    readonly schemaId: string;\n    readonly data: BoundedJsonValue;\n}\n/** Raw identity envelope used by the reader's second decode phase. */\nexport type CriterionEnvelope = BuiltInCriterionEnvelope | ThirdPartyCriterion;\nexport type CriterionOuterEnvelope = CriterionEnvelope;\nexport type BuiltInCriterion = {\n    readonly kind: \"builtin\";\n    readonly id: \"value-match/v1\";\n    readonly data: {\n        readonly subject: \"explicit-value\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"scope-status/v1\";\n    readonly data: {\n        readonly scope: \"turn\" | \"session\" | \"attempt\";\n        readonly assertion: \"succeeded\" | \"no-failed-actions\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"occurrence/v1\";\n    readonly data: {\n        readonly scope: \"turn\" | \"session\" | \"attempt\";\n        readonly occurrence: \"tool\" | \"skill\" | \"event\";\n        readonly assertion: \"present\" | \"absent\" | \"count\";\n        /** Tool assertions retain the single managed matcher identity. */\n        readonly matcher?: string;\n        readonly quantifier?: {\n            readonly kind: \"absent\";\n        } | {\n            readonly kind: \"at-least\" | \"exact\";\n            readonly count: number;\n        };\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"judge-measurement/v1\";\n    readonly data: {\n        readonly recipe: \"closed-qa\" | \"factuality\" | \"summarizes\";\n        readonly scale: \"unit-interval\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"changed-paths\";\n        readonly paths: readonly string[];\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"no-changes\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"file-changed\";\n        readonly path: string;\n        readonly status?: \"added\" | \"modified\" | \"deleted\";\n        /** Persisted display identity only; evaluators retain the managed Match. */\n        readonly before?: string;\n        readonly after?: string;\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"file-deleted\";\n        readonly path: string;\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"sandbox-result/v1\";\n    readonly data: {\n        readonly operation: \"not-in-diff\";\n        readonly pattern: string;\n        readonly flags: string;\n        readonly content: \"added\" | \"removed\" | \"both\";\n    };\n} | {\n    readonly kind: \"builtin\";\n    readonly id: \"direct-score/v1\";\n    readonly data: {\n        readonly source: \"author\";\n    };\n};\n/** A v1 writer may only emit a known builtin or a versioned third-party schema. */\nexport type WritableCriterionEnvelope = BuiltInCriterion | ThirdPartyCriterion;\nexport type AssertionMaterial<BlobRef> = {\n    readonly kind: \"snapshot\";\n    readonly value: BoundedJsonValue;\n} | {\n    readonly kind: \"blob\";\n    readonly ref: BlobRef;\n    readonly encoding: \"utf-8\" | \"binary\";\n    readonly byteLength: number;\n    /** SHA-256 of the exact retained blob bytes. */\n    readonly sha256: Sha256Digest;\n    readonly preview: string;\n};\nexport type AssertionCoverage = {\n    readonly state: \"complete\";\n} | {\n    readonly state: \"partial\";\n    readonly reason: \"sampled\" | \"truncated\" | \"redacted\" | \"provider-limited\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"not-collected\" | \"source-unavailable\" | \"producer-failed\";\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"optional-material\" | \"unsupported-subject\";\n};\nexport type AssertionLimitation = {\n    readonly kind: \"redacted\";\n    readonly fieldCount: number;\n} | {\n    readonly kind: \"sampled\";\n    readonly captured: number;\n    readonly knownTotal?: number;\n} | {\n    readonly kind: \"truncated\";\n    readonly omittedBytes: number;\n} | {\n    readonly kind: \"provider-limited\";\n};\nexport type GateDisposition = \"not-gate\" | \"satisfied\" | \"failed\" | \"unavailable\" | \"not-applicable\";\nexport interface NoScoreContribution {\n    readonly state: \"not-scored\";\n}\nexport interface EarnedScoreContribution {\n    readonly state: \"earned\";\n    readonly points: number;\n    readonly earned: number;\n}\nexport interface UnavailableScoreContribution {\n    readonly state: \"unavailable\";\n    readonly points: number;\n    readonly reason: \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\n}\nexport type ScoreContribution = NoScoreContribution | EarnedScoreContribution | UnavailableScoreContribution;\nexport type SealedAssertionResult = {\n    readonly state: \"matched\";\n    readonly gate: \"not-gate\" | \"satisfied\";\n    readonly score: NoScoreContribution | EarnedScoreContribution;\n    /** Bounded evaluator diagnostics, including ToolMatch evidence paths. */\n    readonly diagnostic?: BoundedJsonObject;\n} | {\n    readonly state: \"mismatched\";\n    readonly reason: \"condition-not-met\";\n    readonly gate: \"not-gate\" | \"failed\";\n    readonly score: NoScoreContribution | EarnedScoreContribution;\n    readonly diagnostic?: BoundedJsonObject;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"evidence-unavailable\" | \"source-unavailable\" | \"redacted\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: NoScoreContribution | UnavailableScoreContribution;\n    readonly diagnostic?: BoundedJsonObject;\n} | {\n    readonly state: \"errored\";\n    readonly reason: \"evaluator-failed\" | \"producer-interrupted\" | \"invalid-subject\";\n    readonly gate: \"not-gate\" | \"unavailable\";\n    readonly score: NoScoreContribution | UnavailableScoreContribution;\n    readonly diagnostic?: BoundedJsonObject;\n} | {\n    readonly state: \"not-applicable\";\n    readonly reason: \"coverage-not-applicable\";\n    readonly gate: \"not-gate\" | \"not-applicable\";\n    readonly score: NoScoreContribution | UnavailableScoreContribution;\n    readonly diagnostic?: BoundedJsonObject;\n};\n/** The exact v1 value that a producer is allowed to seal. */\nexport interface AssertionEntry<BlobRef> {\n    readonly entryId: AssertionEntryId;\n    readonly display: AssertionDisplay;\n    readonly criterion: WritableCriterionEnvelope;\n    readonly subject: AssertionMaterial<BlobRef>;\n    readonly evidence: readonly AssertionMaterial<BlobRef>[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly result: SealedAssertionResult;\n}\n/**\n * Reader framing intentionally leaves `criterion` as bounded JSON.  This\n * lets a bad plugin or future criterion affect its entry only after every\n * other entry boundary has already been verified.\n */\nexport interface AssertionEntryOuter<BlobRef> {\n    readonly entryId: AssertionEntryId;\n    readonly display: AssertionDisplay;\n    readonly criterion: BoundedJsonObject;\n    readonly subject: AssertionMaterial<BlobRef>;\n    readonly evidence: readonly AssertionMaterial<BlobRef>[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly result: SealedAssertionResult;\n}\nexport interface AssertionsDocument<BlobRef> {\n    readonly entries: readonly AssertionEntry<BlobRef>[];\n}\nexport interface AssertionsDocumentOuter<BlobRef> {\n    readonly entries: readonly AssertionEntryOuter<BlobRef>[];\n}\nexport type AssertionEntryRead<BlobRef> = {\n    readonly state: \"available\";\n    readonly entry: AssertionEntry<BlobRef>;\n} | {\n    readonly state: \"unsupported\";\n    readonly entry: AssertionEntryOuter<BlobRef>;\n    readonly reason: \"builtin-unknown\" | \"third-party-schema-unavailable\";\n} | {\n    readonly state: \"invalid\";\n    readonly entry: AssertionEntryOuter<BlobRef>;\n    readonly reason: \"criterion-envelope-invalid\" | \"criterion-data-invalid\";\n};\nexport interface AssertionsProjection<BlobRef> {\n    readonly entries: readonly AssertionEntryRead<BlobRef>[];\n}\n"]}

package/dist/assertions/record/model.d.cts

@@ -1,37 +1,38 @@
 import type { AssertionEntryId } from "../identity.cjs";
+import type { Sha256Digest } from "../../record/model/identifiers.cjs";
 /**
  * `entryId` is only stable inside one Assertions Attachment. It is not an
  * authoring key and deliberately has no cross-Attempt meaning.
  */
 export { ASSERTION_ENTRY_ID_BRAND, } from "../identity.cjs";
 export type { AssertionEntryId } from "../identity.cjs";
-export type BoundedJsonPrimitiveV1 = null | boolean | number | string;
-export interface BoundedJsonObjectV1 {
-    readonly [key: string]: BoundedJsonValueV1;
+export type BoundedJsonPrimitive = null | boolean | number | string;
+export interface BoundedJsonObject {
+    readonly [key: string]: BoundedJsonValue;
 }
 /** JSON-only material that is bounded by the Assertions v1 decoder. */
-export type BoundedJsonValueV1 = BoundedJsonPrimitiveV1 | readonly BoundedJsonValueV1[] | BoundedJsonObjectV1;
-export interface AssertionDisplayV1 {
+export type BoundedJsonValue = BoundedJsonPrimitive | readonly BoundedJsonValue[] | BoundedJsonObject;
+export interface AssertionDisplay {
     readonly key?: string;
     readonly label?: string;
     readonly groupPath: readonly string[];
 }
 /** The outer builtin shape deliberately preserves an unknown future id. */
-export interface BuiltInCriterionEnvelopeV1 {
+export interface BuiltInCriterionEnvelope {
     readonly kind: "builtin";
     readonly id: string;
-    readonly data: BoundedJsonValueV1;
+    readonly data: BoundedJsonValue;
 }
 /** Third-party data is exact JSON owned by the named third-party schema. */
-export interface ThirdPartyCriterionV1 {
+export interface ThirdPartyCriterion {
     readonly name: string;
     readonly schemaId: string;
-    readonly data: BoundedJsonValueV1;
+    readonly data: BoundedJsonValue;
 }
 /** Raw identity envelope used by the reader's second decode phase. */
-export type CriterionEnvelopeV1 = BuiltInCriterionEnvelopeV1 | ThirdPartyCriterionV1;
-export type CriterionOuterEnvelopeV1 = CriterionEnvelopeV1;
-export type BuiltInCriterionV1 = {
+export type CriterionEnvelope = BuiltInCriterionEnvelope | ThirdPartyCriterion;
+export type CriterionOuterEnvelope = CriterionEnvelope;
+export type BuiltInCriterion = {
     readonly kind: "builtin";
     readonly id: "value-match/v1";
     readonly data: {
@@ -115,29 +116,20 @@ export type BuiltInCriterionV1 = {
     };
 };
 /** A v1 writer may only emit a known builtin or a versioned third-party schema. */
-export type WritableCriterionEnvelopeV1 = BuiltInCriterionV1 | ThirdPartyCriterionV1;
-export type AssertionMaterialV1<BlobRef> = {
+export type WritableCriterionEnvelope = BuiltInCriterion | ThirdPartyCriterion;
+export type AssertionMaterial<BlobRef> = {
     readonly kind: "snapshot";
-    readonly value: BoundedJsonValueV1;
+    readonly value: BoundedJsonValue;
 } | {
     readonly kind: "blob";
     readonly ref: BlobRef;
     readonly encoding: "utf-8" | "binary";
     readonly byteLength: number;
-    readonly preview: string;
-}
-/**
- * An Assertion can name an exact, same-owner Attachment without receiving a
- * storage handle.  v1 deliberately exposes no hash, path, blob ref, or
- * evidence id here: the Evaluation Record contract verifies the matching
- * Attempt write before a complete marker can be published.
- */
- | {
-    readonly kind: "record-attachment";
-    readonly schemaId: "niceeval.diff/v1";
+    /** SHA-256 of the exact retained blob bytes. */
+    readonly sha256: Sha256Digest;
     readonly preview: string;
 };
-export type AssertionCoverageV1 = {
+export type AssertionCoverage = {
     readonly state: "complete";
 } | {
     readonly state: "partial";
@@ -149,7 +141,7 @@ export type AssertionCoverageV1 = {
     readonly state: "not-applicable";
     readonly reason: "optional-material" | "unsupported-subject";
 };
-export type AssertionLimitationV1 = {
+export type AssertionLimitation = {
     readonly kind: "redacted";
     readonly fieldCount: number;
 } | {
@@ -162,96 +154,96 @@ export type AssertionLimitationV1 = {
 } | {
     readonly kind: "provider-limited";
 };
-export type GateDispositionV1 = "not-gate" | "satisfied" | "failed" | "unavailable" | "not-applicable";
-export interface NoScoreContributionV1 {
+export type GateDisposition = "not-gate" | "satisfied" | "failed" | "unavailable" | "not-applicable";
+export interface NoScoreContribution {
     readonly state: "not-scored";
 }
-export interface EarnedScoreContributionV1 {
+export interface EarnedScoreContribution {
     readonly state: "earned";
     readonly points: number;
     readonly earned: number;
 }
-export interface UnavailableScoreContributionV1 {
+export interface UnavailableScoreContribution {
     readonly state: "unavailable";
     readonly points: number;
     readonly reason: "source-unavailable" | "evaluation-errored" | "not-applicable";
 }
-export type ScoreContributionV1 = NoScoreContributionV1 | EarnedScoreContributionV1 | UnavailableScoreContributionV1;
-export type SealedAssertionResultV1 = {
+export type ScoreContribution = NoScoreContribution | EarnedScoreContribution | UnavailableScoreContribution;
+export type SealedAssertionResult = {
     readonly state: "matched";
     readonly gate: "not-gate" | "satisfied";
-    readonly score: NoScoreContributionV1 | EarnedScoreContributionV1;
+    readonly score: NoScoreContribution | EarnedScoreContribution;
     /** Bounded evaluator diagnostics, including ToolMatch evidence paths. */
-    readonly diagnostic?: BoundedJsonObjectV1;
+    readonly diagnostic?: BoundedJsonObject;
 } | {
     readonly state: "mismatched";
     readonly reason: "condition-not-met";
     readonly gate: "not-gate" | "failed";
-    readonly score: NoScoreContributionV1 | EarnedScoreContributionV1;
-    readonly diagnostic?: BoundedJsonObjectV1;
+    readonly score: NoScoreContribution | EarnedScoreContribution;
+    readonly diagnostic?: BoundedJsonObject;
 } | {
     readonly state: "unavailable";
     readonly reason: "evidence-unavailable" | "source-unavailable" | "redacted";
     readonly gate: "not-gate" | "unavailable";
-    readonly score: NoScoreContributionV1 | UnavailableScoreContributionV1;
-    readonly diagnostic?: BoundedJsonObjectV1;
+    readonly score: NoScoreContribution | UnavailableScoreContribution;
+    readonly diagnostic?: BoundedJsonObject;
 } | {
     readonly state: "errored";
     readonly reason: "evaluator-failed" | "producer-interrupted" | "invalid-subject";
     readonly gate: "not-gate" | "unavailable";
-    readonly score: NoScoreContributionV1 | UnavailableScoreContributionV1;
-    readonly diagnostic?: BoundedJsonObjectV1;
+    readonly score: NoScoreContribution | UnavailableScoreContribution;
+    readonly diagnostic?: BoundedJsonObject;
 } | {
     readonly state: "not-applicable";
     readonly reason: "coverage-not-applicable";
     readonly gate: "not-gate" | "not-applicable";
-    readonly score: NoScoreContributionV1 | UnavailableScoreContributionV1;
-    readonly diagnostic?: BoundedJsonObjectV1;
+    readonly score: NoScoreContribution | UnavailableScoreContribution;
+    readonly diagnostic?: BoundedJsonObject;
 };
 /** The exact v1 value that a producer is allowed to seal. */
-export interface AssertionEntryV1<BlobRef> {
+export interface AssertionEntry<BlobRef> {
     readonly entryId: AssertionEntryId;
-    readonly display: AssertionDisplayV1;
-    readonly criterion: WritableCriterionEnvelopeV1;
-    readonly subject: AssertionMaterialV1<BlobRef>;
-    readonly evidence: readonly AssertionMaterialV1<BlobRef>[];
-    readonly coverage: AssertionCoverageV1;
-    readonly limitations: readonly AssertionLimitationV1[];
-    readonly result: SealedAssertionResultV1;
+    readonly display: AssertionDisplay;
+    readonly criterion: WritableCriterionEnvelope;
+    readonly subject: AssertionMaterial<BlobRef>;
+    readonly evidence: readonly AssertionMaterial<BlobRef>[];
+    readonly coverage: AssertionCoverage;
+    readonly limitations: readonly AssertionLimitation[];
+    readonly result: SealedAssertionResult;
 }
 /**
  * Reader framing intentionally leaves `criterion` as bounded JSON.  This
  * lets a bad plugin or future criterion affect its entry only after every
  * other entry boundary has already been verified.
  */
-export interface AssertionEntryOuterV1<BlobRef> {
+export interface AssertionEntryOuter<BlobRef> {
     readonly entryId: AssertionEntryId;
-    readonly display: AssertionDisplayV1;
-    readonly criterion: BoundedJsonObjectV1;
-    readonly subject: AssertionMaterialV1<BlobRef>;
-    readonly evidence: readonly AssertionMaterialV1<BlobRef>[];
-    readonly coverage: AssertionCoverageV1;
-    readonly limitations: readonly AssertionLimitationV1[];
-    readonly result: SealedAssertionResultV1;
+    readonly display: AssertionDisplay;
+    readonly criterion: BoundedJsonObject;
+    readonly subject: AssertionMaterial<BlobRef>;
+    readonly evidence: readonly AssertionMaterial<BlobRef>[];
+    readonly coverage: AssertionCoverage;
+    readonly limitations: readonly AssertionLimitation[];
+    readonly result: SealedAssertionResult;
 }
-export interface AssertionsDocumentV1<BlobRef> {
-    readonly entries: readonly AssertionEntryV1<BlobRef>[];
+export interface AssertionsDocument<BlobRef> {
+    readonly entries: readonly AssertionEntry<BlobRef>[];
 }
-export interface AssertionsDocumentOuterV1<BlobRef> {
-    readonly entries: readonly AssertionEntryOuterV1<BlobRef>[];
+export interface AssertionsDocumentOuter<BlobRef> {
+    readonly entries: readonly AssertionEntryOuter<BlobRef>[];
 }
-export type AssertionEntryReadV1<BlobRef> = {
+export type AssertionEntryRead<BlobRef> = {
     readonly state: "available";
-    readonly entry: AssertionEntryV1<BlobRef>;
+    readonly entry: AssertionEntry<BlobRef>;
 } | {
     readonly state: "unsupported";
-    readonly entry: AssertionEntryOuterV1<BlobRef>;
+    readonly entry: AssertionEntryOuter<BlobRef>;
     readonly reason: "builtin-unknown" | "third-party-schema-unavailable";
 } | {
     readonly state: "invalid";
-    readonly entry: AssertionEntryOuterV1<BlobRef>;
+    readonly entry: AssertionEntryOuter<BlobRef>;
     readonly reason: "criterion-envelope-invalid" | "criterion-data-invalid";
 };
-export interface AssertionsProjectionV1<BlobRef> {
-    readonly entries: readonly AssertionEntryReadV1<BlobRef>[];
+export interface AssertionsProjection<BlobRef> {
+    readonly entries: readonly AssertionEntryRead<BlobRef>[];
 }