@latysh-development/monolith 0.1.0-alpha.0 → 0.1.0-alpha.2

package/dist/finalize/core.d.ts

@@ -0,0 +1,108 @@
+/**
+ * Deterministic story finalization (DOCSYNC-001, ADR-022).
+ *
+ * `planFinalization` is read-only: it validates a proposal against the
+ * instance, evaluates explicit preconditions (PASS / FAIL / NOT_VERIFIED),
+ * classifies every write target and returns a digest that binds an owner's
+ * approval to exactly what was inspected. `applyFinalization` re-plans under a
+ * cross-process lock and writes only if the digest still matches.
+ *
+ * Consistency model (narrower than a transaction, deliberately): there is no
+ * rollback. Targets are written one at a time in a fixed order with `active.md`
+ * LAST, every write is an atomic single-file publish (src/root safe-write), and
+ * each target has a deterministic "already done" predicate. An interruption
+ * leaves a state that `planFinalization` reports as partial and that re-running
+ * plan + apply rolls forward; success is only reported after a post-write
+ * re-read of every target. See ADR-022.
+ *
+ * Reused, not reimplemented: safe reads/writes and containment (src/root),
+ * the cross-process lock (src/coordinatorium/lock), the Current Story section
+ * extractor of `monolith brief` (src/brief/story).
+ */
+import { type ConfigRead, type FsOps, type WriteWarning } from '../root/index.js';
+import { type LockOptions } from '../coordinatorium/lock.js';
+import { type FinalizationProposal } from './proposal.js';
+export type CheckStatus = 'PASS' | 'FAIL' | 'NOT_VERIFIED';
+export type TargetKind = 'capsule' | 'execution-history' | 'story-index' | 'doc' | 'handoff' | 'active';
+export type TargetState = 'pending' | 'done' | 'conflict' | 'missing' | 'unreadable';
+export type PlanStatus = 'READY' | 'NOT_READY' | 'ALREADY_FINALIZED';
+export type ApplyStatus = 'FINALIZED' | 'ALREADY_FINALIZED' | 'REFUSED' | 'INCOMPLETE';
+export interface Check {
+    id: string;
+    status: CheckStatus;
+    detail: string;
+    /** Where the verdict comes from (a MONOLITH computation vs. attested evidence). */
+    source: string;
+}
+export interface PlannedTarget {
+    id: string;
+    kind: TargetKind;
+    /** Project-relative, `/`-separated. */
+    path: string;
+    state: TargetState;
+    reason: string;
+    /** sha256 of the file as inspected, `ABSENT`, or `DONE`. Part of the digest. */
+    base: string;
+    /** What will be written/appended; omitted for done/blocked targets and for opaque documents. */
+    preview?: string;
+}
+export interface FinalizationPlan {
+    status: PlanStatus;
+    storyId: string;
+    /** Approval token: sha256 over the proposal, every target's state/base and the evidence inspected. */
+    digest: string;
+    /** True when some, but not all, targets are already in their final state (an earlier run was interrupted). */
+    partial: boolean;
+    checks: Check[];
+    targets: PlannedTarget[];
+    diagnostics: string[];
+}
+export interface ApplyResult {
+    status: ApplyStatus;
+    storyId: string;
+    plan: FinalizationPlan;
+    applied: string[];
+    pending: string[];
+    failed?: {
+        target: string;
+        message: string;
+        publication?: string;
+    };
+    diagnostics: string[];
+}
+export interface FinalizeOptions {
+    /** Test-only fault injection for the safe-write primitives. */
+    ops?: Partial<FsOps>;
+    lock?: LockOptions;
+    onWarning?: (w: WriteWarning) => void;
+}
+export interface FinalizeConfig {
+    requiredDocs: Array<{
+        path: string;
+        label: string;
+    }>;
+    allowedDocs: string[];
+    errors: string[];
+}
+export declare function readFinalizeConfig(config: ConfigRead): FinalizeConfig;
+export declare function renderCapsule(p: FinalizationProposal): string;
+/** Evidence older than this many days before the finalization date is not accepted. */
+export declare const EVIDENCE_MAX_AGE_DAYS = 7;
+export type ActiveIdentity = {
+    ok: true;
+    id: string;
+} | {
+    ok: false;
+    reason: string;
+};
+/**
+ * Structural identity of the active story (DOCSYNC-007). The ONLY source is the
+ * `**Story:** <id> …` field line inside `## Current Story` (same grammar as the
+ * evidence files and `## Last Finalization`); its FIRST token is the id. Ids
+ * mentioned in titles, descriptions, comments, code fences or other fields carry
+ * no authority. Zero, several, or malformed field lines → no identity (fail closed).
+ */
+export declare function activeStoryIdentity(currentStoryBody: string): ActiveIdentity;
+export declare function planFinalization(targetDir: string, proposal: FinalizationProposal): FinalizationPlan;
+export declare function applyFinalization(targetDir: string, proposal: FinalizationProposal, approvedDigest: string, opts?: FinalizeOptions): Promise<ApplyResult>;
+//# sourceMappingURL=core.d.ts.map

package/dist/finalize/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/finalize/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAKH,OAAO,EAUL,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAA8B,KAAK,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAEtF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAC3D,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,mBAAmB,GAAG,aAAa,GAAG,KAAK,GAAG,SAAS,GAAG,QAAQ,CAAC;AACxG,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,CAAC;AACrF,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,WAAW,GAAG,mBAAmB,CAAC;AACrE,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,mBAAmB,GAAG,SAAS,GAAG,YAAY,CAAC;AAEvF,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,gGAAgG;IAChG,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,MAAM,EAAE,MAAM,CAAC;IACf,8GAA8G;IAC9G,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,+DAA+D;IAC/D,GAAG,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,KAAK,IAAI,CAAC;CACvC;AAYD,MAAM,WAAW,cAAc;IAC7B,YAAY,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,UAAU,GAAG,cAAc,CAiCrE;AAuBD,wBAAgB,aAAa,CAAC,CAAC,EAAE,oBAAoB,GAAG,MAAM,CAqC7D;AAqLD,uFAAuF;AACvF,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAQvC,MAAM,MAAM,cAAc,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAItF;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,gBAAgB,EAAE,MAAM,GAAG,cAAc,CA+B5E;AA8TD,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,oBAAoB,GAAG,gBAAgB,CAIpG;AAUD,wBAAsB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,OAAO,CAAC,WAAW,CAAC,CAuFnK"}