import type { NativeChangeState, NativeProjectPaths } from './native-types.js'; import type { NativeImplementationScope } from './native-verification-scope.js'; import type { NativeReadableVerificationEvidenceEnvelope } from './native-verification-evidence.js'; import type { NativeVerificationReceipt } from './native-verification-receipt.js'; /** * Relative path of the human-readable evidence projection inside a Native change. * * The projection is a read-only derivative of the content-addressed evidence in * the project-local Native Runtime. It exists so that people (and developers debugging a * change) can read what the hash-named files contain without parsing raw JSON * or reading runtime source. The Runtime regenerates it on every evidence- * bearing transition, so it must never be cited as evidence itself. */ export declare const NATIVE_EVIDENCE_PROJECTION_REF = "evidence.md"; /** * Bounded projection limits. Mirrors the bounded-projection pattern used by * `projectNativeAcceptancePage`: the projection always has an upper bound and * reports truncation rather than silently dropping entries. */ export declare const NATIVE_EVIDENCE_PROJECTION_LIMITS: Readonly<{ maxScopeChanges: 128; maxAcceptanceEntries: 64; maxUnresolvedReasons: 32; maxReceipts: 32; }>; /** * Render a deterministic, human-readable markdown projection from already-read * evidence. Pure function: identical inputs produce identical bytes, so the * atomic write is idempotent across regenerations. */ export declare function renderNativeEvidenceProjectionMarkdown(input: { change: string; phase: NativeChangeState['phase']; revision: number; scope: NativeImplementationScope | null; envelope: NativeReadableVerificationEvidenceEnvelope | null; receipts: readonly NativeVerificationReceipt[]; generatedAt: string; }): string; /** * Read the current evidence for a change and write the human-readable * projection. No-op when no evidence is recorded yet (e.g. during the shape * phase). All reads go through the content-addressed readers, which re-hash on * read, so a corrupt or tampered evidence document surfaces as an error here * rather than being projected. */ export declare function writeNativeEvidenceProjection(paths: NativeProjectPaths, name: string, options?: { now?: Date; }): Promise; //# sourceMappingURL=native-evidence-projection.d.ts.map