@rpamis/comet 0.4.0-beta.1 → 0.4.0-beta.10

package/dist/domains/comet-native/native-verification-scope.d.ts

@@ -0,0 +1,118 @@
+import type { NativeContentSnapshotManifest, NativeSnapshotEntry, NativeSnapshotOmission, NativeSnapshotPolicy } from './native-types.js';
+export declare const NATIVE_IMPLEMENTATION_SCOPE_SCHEMA: "comet.native.implementation-scope.v2";
+export declare const NATIVE_SNAPSHOT_PROJECTION_SCHEMA: "comet.native.content-snapshot-projection.v1";
+export declare const MAX_NATIVE_IMPLEMENTATION_EVIDENCE_DOCUMENT_BYTES: number;
+export declare const MAX_NATIVE_DETAILED_SCOPE_CHANGES = 128;
+export declare const MAX_NATIVE_DETAILED_UNRESOLVED_SCOPES = 128;
+export interface NativeDeclaredArtifact {
+    path: string;
+    kind: 'file' | 'directory';
+}
+export type NativeSnapshotProjectionRef = `runtime/evidence/snapshots/${string}.json`;
+export interface NativeImplementationChange {
+    path: string;
+    kind: 'added' | 'modified' | 'removed';
+    before: NativeImplementationFileIdentity | null;
+    after: NativeImplementationFileIdentity | null;
+    attributedTo: NativeDeclaredArtifact[];
+}
+export interface NativeImplementationFileIdentity {
+    hash: string;
+    size: number;
+}
+export type NativeUnresolvedScopeKind = 'unattributed-change' | 'snapshot-omission' | 'snapshot-incomplete' | 'snapshot-omission-overflow' | 'scope-detail-overflow' | 'missing-no-code-reason';
+export interface NativeUnresolvedScope {
+    id: string;
+    kind: NativeUnresolvedScopeKind;
+    source: 'baseline' | 'current' | 'implementation-scope';
+    path: string | null;
+    reason: string;
+}
+export interface NativeGitScopeAdvisory {
+    advisoryOnly: true;
+    changedPaths: string[];
+    pathsPresentInSnapshotChanges: string[];
+    pathsAbsentFromSnapshotChanges: string[];
+}
+export interface NativeImplementationScope {
+    schema: typeof NATIVE_IMPLEMENTATION_SCOPE_SCHEMA;
+    contractHash: string;
+    baselineProjectionRef: NativeSnapshotProjectionRef;
+    baselineProjectionHash: string;
+    currentProjectionRef: NativeSnapshotProjectionRef;
+    currentProjectionHash: string;
+    complete: boolean;
+    declaredArtifacts: NativeDeclaredArtifact[];
+    changes: NativeImplementationChange[];
+    unattributed: NativeImplementationChange[];
+    unresolvedScopes: NativeUnresolvedScope[];
+    noCodeReason: string | null;
+    gitAdvisory?: NativeGitScopeAdvisory;
+    scopeHash: string;
+}
+export interface BuildNativeImplementationScopeInput {
+    baseline: NativeContentSnapshotManifest;
+    current: NativeContentSnapshotManifest;
+    contractHash: string;
+    declaredArtifacts: readonly NativeDeclaredArtifact[];
+    noCodeReason?: string | null;
+    gitChangedPaths?: readonly string[];
+}
+export interface NativeSnapshotProjection {
+    schema: typeof NATIVE_SNAPSHOT_PROJECTION_SCHEMA;
+    origin: NativeContentSnapshotManifest['origin'];
+    capture?: NativeContentSnapshotManifest['capture'];
+    complete: boolean;
+    limits: NativeContentSnapshotManifest['limits'];
+    policy?: NativeSnapshotPolicy;
+    entries: NativeSnapshotEntry[];
+    omitted: NativeSnapshotOmission[];
+    omittedCount: number;
+    omissionOverflow?: NativeContentSnapshotManifest['omissionOverflow'];
+}
+export interface NativeImplementationScopeAuthority {
+    contractHash: string;
+    declaredArtifacts: NativeDeclaredArtifact[];
+    noCodeReason: string | null;
+    gitChangedPaths?: string[];
+}
+/**
+ * In-memory authority bundle produced from bounded snapshot manifests.
+ *
+ * Storage accepts this bundle rather than a standalone scope so it can rebuild every derived
+ * scope field before persisting it.
+ */
+export interface NativeImplementationScopeBundle {
+    authority: NativeImplementationScopeAuthority;
+    baseline: NativeSnapshotProjection;
+    current: NativeSnapshotProjection;
+    scope: NativeImplementationScope;
+}
+export declare function nativeSnapshotProjectionRef(hash: string): NativeSnapshotProjectionRef;
+/**
+ * Build the authority bundle consumed by Native evidence storage.
+ * Snapshot timestamps are parsed but deliberately excluded from the normalized projections.
+ */
+export declare function buildNativeImplementationScopeBundle(input: BuildNativeImplementationScopeInput): NativeImplementationScopeBundle;
+/** Derive the implementation scope while preserving the existing pure-call interface. */
+export declare function buildNativeImplementationScope(input: BuildNativeImplementationScopeInput): NativeImplementationScope;
+/** Parse the timestamp-free, content-addressed projection persisted beside a scope. */
+export declare function parseNativeSnapshotProjection(value: unknown, expectedHash?: string): NativeSnapshotProjection;
+/**
+ * Parse a persisted scope and re-check its self-contained invariants.
+ * Storage additionally calls `rebuildNativeImplementationScopeBundle` so snapshot-derived facts
+ * are verified against the two projections instead of trusted from this document.
+ */
+export declare function parseNativeImplementationScope(value: unknown): NativeImplementationScope;
+/**
+ * Rebuild and verify a bundle at the storage seam. The supplied scope is never authoritative:
+ * normalized projections plus the independently retained build authority must reproduce it.
+ */
+export declare function parseNativeImplementationScopeBundle(value: unknown): NativeImplementationScopeBundle;
+/** Rebuild a persisted scope from the two content-addressed projections it names. */
+export declare function rebuildNativeImplementationScopeBundle(input: {
+    baseline: NativeSnapshotProjection;
+    current: NativeSnapshotProjection;
+    scope: NativeImplementationScope;
+}): NativeImplementationScopeBundle;
+//# sourceMappingURL=native-verification-scope.d.ts.map

package/dist/domains/comet-native/native-verification-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-scope.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-scope.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,6BAA6B,EAC7B,mBAAmB,EACnB,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,mBAAmB,CAAC;AAE3B,eAAO,MAAM,kCAAkC,EAAG,sCAA+C,CAAC;AAClG,eAAO,MAAM,iCAAiC,EAC5C,6CAAsD,CAAC;AAQzD,eAAO,MAAM,iDAAiD,QAAc,CAAC;AAC7E,eAAO,MAAM,iCAAiC,MAAM,CAAC;AACrD,eAAO,MAAM,qCAAqC,MAAM,CAAC;AAEzD,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;CAC5B;AAED,MAAM,MAAM,2BAA2B,GAAG,8BAA8B,MAAM,OAAO,CAAC;AAEtF,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IACvC,MAAM,EAAE,gCAAgC,GAAG,IAAI,CAAC;IAChD,KAAK,EAAE,gCAAgC,GAAG,IAAI,CAAC;IAC/C,YAAY,EAAE,sBAAsB,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,gCAAgC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,yBAAyB,GACjC,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,4BAA4B,GAC5B,uBAAuB,GACvB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,yBAAyB,CAAC;IAChC,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,sBAAsB,CAAC;IACxD,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE,IAAI,CAAC;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,6BAA6B,EAAE,MAAM,EAAE,CAAC;IACxC,8BAA8B,EAAE,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,OAAO,kCAAkC,CAAC;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,2BAA2B,CAAC;IACnD,sBAAsB,EAAE,MAAM,CAAC;IAC/B,oBAAoB,EAAE,2BAA2B,CAAC;IAClD,qBAAqB,EAAE,MAAM,CAAC;IAC9B,QAAQ,EAAE,OAAO,CAAC;IAClB,iBAAiB,EAAE,sBAAsB,EAAE,CAAC;IAC5C,OAAO,EAAE,0BAA0B,EAAE,CAAC;IACtC,YAAY,EAAE,0BAA0B,EAAE,CAAC;IAC3C,gBAAgB,EAAE,qBAAqB,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,WAAW,CAAC,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,OAAO,EAAE,6BAA6B,CAAC;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACrD,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,OAAO,iCAAiC,CAAC;IACjD,MAAM,EAAE,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACnD,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAC/B,OAAO,EAAE,sBAAsB,EAAE,CAAC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,6BAA6B,CAAC,kBAAkB,CAAC,CAAC;CACtE;AAED,MAAM,WAAW,kCAAkC;IACjD,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,sBAAsB,EAAE,CAAC;IAC5C,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,kCAAkC,CAAC;IAC9C,QAAQ,EAAE,wBAAwB,CAAC;IACnC,OAAO,EAAE,wBAAwB,CAAC;IAClC,KAAK,EAAE,yBAAyB,CAAC;CAClC;AAeD,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAKrF;AAwvBD;;;GAGG;AACH,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,mCAAmC,GACzC,+BAA+B,CAUjC;AAED,yFAAyF;AACzF,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,mCAAmC,GACzC,yBAAyB,CAE3B;AAwDD,uFAAuF;AACvF,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,MAAM,GACpB,wBAAwB,CAuC1B;AA+HD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CA0NxF;AA+CD;;;GAGG;AACH,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,OAAO,GACb,+BAA+B,CAiBjC;AAED,qFAAqF;AACrF,wBAAgB,sCAAsC,CAAC,KAAK,EAAE;IAC5D,QAAQ,EAAE,wBAAwB,CAAC;IACnC,OAAO,EAAE,wBAAwB,CAAC;IAClC,KAAK,EAAE,yBAAyB,CAAC;CAClC,GAAG,+BAA+B,CAelC"}