prismatica 0.2.0

package/dist/commands/pack.js

@@ -0,0 +1,165 @@
+/**
+ * `pack` — write a scoped, hashed brief for an agent. The pack records the hash
+ * of the contract's scope at pack time; if the contract is later amended, the
+ * hash no longer matches and the pack is stale (caught by `open` and the gate).
+ */
+import fs from 'node:fs';
+import { likelyRelevantFlows } from '../atlas/impact.js';
+import { renderDeltaBody, renderRulesFileBody } from '../atlas/render.js';
+import { findDeltaForChange, listFlows, readRulesFile } from '../atlas/store.js';
+import { resolveChangeHome } from '../change.js';
+import { loadConfig } from '../config.js';
+import { UserError } from '../errors.js';
+import * as git from '../git.js';
+import { readLedger } from '../ledger.js';
+import { productMapPath } from '../paths.js';
+import { PackSchema } from '../records/types.js';
+import { contractExists, contractScopeHash, intentExists, readContract, readIntent, writeContract, writePack, } from '../records/store.js';
+import { renderContractBody, renderPackBrief } from '../render.js';
+import { recommendRoles } from '../skills.js';
+import { stageIndex } from '../state.js';
+import * as ui from '../ui.js';
+import { DEFAULT_BUILDER } from '../skills.js';
+const UI_PATTERN = /(?:ui|component|css|scss|less|style|\.tsx|\.jsx|\.vue|\.svelte)/i;
+const UPKEEP_PATTERN = /(?:^|\/)(?:docs?\/|\.github\/|readme|license|changelog|package\.json)|\.md$/i;
+/** `repoRoot` is the change's home (the lane) — check_run history is change-local. */
+function progressNote(repoRoot, contractId) {
+    const { entries } = readLedger(repoRoot);
+    const mine = entries.filter((entry) => entry.contractId === contractId);
+    const last = mine.at(-1);
+    if (!last) {
+        return 'Not started — no checks have run yet. Default state is "not ready".';
+    }
+    const failed = last.checks.filter((check) => check.status === 'fail').map((check) => check.name);
+    if (last.pass) {
+        return `Last checks passed (${new Date(last.at).toISOString()}). Rework loops so far: ${last.reworkCount}.`;
+    }
+    return `Last checks FAILED on: ${failed.join(', ') || 'unknown'}. Rework loops so far: ${last.reworkCount}.`;
+}
+function productMapExcerpt(repoRoot) {
+    const file = productMapPath(repoRoot);
+    if (!fs.existsSync(file)) {
+        return undefined;
+    }
+    const text = fs.readFileSync(file, 'utf8');
+    const match = text.match(/##\s*Promise\s*\n+([\s\S]*?)(?:\n##\s|\n?$)/);
+    const promise = match?.[1]?.trim();
+    // Skip the untouched skeleton (its placeholder is italicised).
+    if (!promise || promise.startsWith('_') || promise.startsWith('>')) {
+        return undefined;
+    }
+    return promise;
+}
+function neutralSkills(contract) {
+    const uiHeavy = contract.allowedPaths.some((glob) => UI_PATTERN.test(glob));
+    const upkeep = contract.allowedPaths.length > 0 &&
+        contract.allowedPaths.every((glob) => UPKEEP_PATTERN.test(glob));
+    return recommendRoles({ tier: contract.tier, uiHeavy, upkeep }).map((role) => ({
+        role,
+        skill: null,
+    }));
+}
+/**
+ * Everything `pack` decides, with nothing written.
+ *
+ * Split out because `start --resume` has to answer a question the pack's own
+ * frontmatter cannot: is the brief ON DISK the one this contract produces? A
+ * `contractHash` says nothing about the bytes underneath it, so the only honest
+ * comparison is against a regenerated brief — and it must come from THIS
+ * function, so "what `pack` writes" and "what resume expects" cannot drift.
+ *
+ * It can throw (the unlinked-intent guard below), which a predicate normally
+ * would not. That is fine for the one caller that treats it as one: a throw
+ * there means the pack is not current, and `runPack` raises the same refusal
+ * properly a moment later.
+ */
+export async function packBrief(options) {
+    // Shared records (config, ledger, product-map) live on main; the contract and
+    // pack are per-change records that live in the change's lane.
+    const mainRoot = await git.mainRepoRoot(options.cwd);
+    loadConfig(mainRoot);
+    const home = await resolveChangeHome(options.cwd, options.contractId);
+    if (!contractExists(home, options.contractId)) {
+        throw new UserError(`No contract "${options.contractId}" exists.`, {
+            command: 'prismatica frame …',
+            why: 'a pack is built from a contract; frame the change first',
+        });
+    }
+    const { data: contract } = readContract(home, options.contractId);
+    // Fail closed on a half-written `start`. `start` writes the approved Intent
+    // and only then links it into the contract, so an Intent record that exists
+    // while the contract does not reference it is the exact signature of a run
+    // that died between those two writes. Packing anyway would hand the builder a
+    // brief with no approved plan in it — deterministic code refuses instead of
+    // relying on the owner reading a suggestion. (A contract framed by plain
+    // `frame` has neither, which stays perfectly legitimate.)
+    if (!contract.intent && intentExists(home, contract.id)) {
+        throw new UserError(`The approved plan for "${contract.id}" was written but never linked to its contract.`, {
+            command: `add "intent: ${contract.id}" to the frontmatter of .prismatica/contracts/${contract.id}.md, then re-run prismatica pack ${contract.id}`,
+            why: 'the pack must carry the plan the owner approved — nothing was written',
+        });
+    }
+    const skills = neutralSkills(contract);
+    // Canonical-truth swap: the Flows/Rules the agent is about to work near,
+    // and the assumptions its Delta already granted, embedded straight from
+    // the canonical records rather than a hand-maintained product-map excerpt.
+    // Flows/Rules/Deltas are cross-change records — read from main, like the
+    // product-map and ledger just above (never from the lane, which may not
+    // even carry them yet at pack time).
+    const { flows } = listFlows(mainRoot);
+    const relevantFlows = likelyRelevantFlows(contract.allowedPaths, flows);
+    const { data: rulesFile } = readRulesFile(mainRoot);
+    // Lane first, main only as the legacy `frame --from-delta` fallback: a
+    // change started by `prismatica start` carries its approved Delta in its own
+    // home, which is also the only copy a CI checkout of the branch can see.
+    const delta = findDeltaForChange(home, mainRoot, contract.id);
+    // The complete approved plan, exactly as the owner read it, when this change
+    // came from `start`. Read from the lane's Intent body — never re-rendered.
+    const approvedProposal = contract.intent && intentExists(home, contract.intent)
+        ? readIntent(home, contract.intent).body
+        : undefined;
+    // D6: once any flow is approved, Flows + Rules ARE the canonical truth —
+    // the product-map excerpt is a legacy fallback for zero-flow repos only.
+    const brief = renderPackBrief({
+        contract,
+        skills,
+        progressNote: progressNote(home, contract.id),
+        productMapExcerpt: flows.length === 0 ? productMapExcerpt(mainRoot) : undefined,
+        relevantFlows,
+        rulesBody: rulesFile && rulesFile.rules.length > 0 ? renderRulesFileBody(rulesFile) : undefined,
+        deltaBody: delta ? renderDeltaBody(delta) : undefined,
+        approvedProposal,
+        atlasActive: flows.length > 0,
+    });
+    return { home, contract, skills, brief };
+}
+export async function runPack(options) {
+    const { home, contract, skills, brief } = await packBrief(options);
+    const pack = PackSchema.parse({
+        id: contract.id,
+        contractId: contract.id,
+        contractHash: contractScopeHash(contract),
+        createdAt: new Date().toISOString(),
+        skills: skills.map((mapped) => mapped.role),
+    });
+    writePack(home, pack, brief);
+    // Advance frame → pack (never regress a change that is already further along).
+    if (stageIndex(contract.stage) < stageIndex('pack')) {
+        const advanced = { ...contract, stage: 'pack' };
+        writeContract(home, advanced, renderContractBody(advanced));
+    }
+    return { pack, brief, builder: contract.builder ?? DEFAULT_BUILDER };
+}
+export function printPackResult(result) {
+    const { pack } = result;
+    console.log(ui.ok(`✓ packed ${pack.id}`));
+    console.log('');
+    console.log(`  ${ui.bold('recommended skills')}  ${pack.skills.join(', ') || '(none)'}`);
+    console.log(`  ${ui.bold('scope hash')}         ${pack.contractHash.slice(0, 12)}…`);
+    console.log('');
+    console.log(ui.bold('Next'));
+    console.log('  Hand the brief to your agent:');
+    console.log(`     ${ui.bold(`prismatica open ${result.builder} ${pack.id}`)}   ${ui.dim('(opens the lane)')}`);
+    console.log(`     ${ui.bold(`prismatica open --copy ${pack.id}`)}   ${ui.dim('(copies the brief)')}`);
+}
+//# sourceMappingURL=pack.js.map

package/dist/commands/pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.js","sourceRoot":"","sources":["../../src/commands/pack.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,KAAK,GAAG,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,aAAa,EACb,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,cAAc,EAAoB,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,UAAU,GAAG,kEAAkE,CAAC;AACtF,MAAM,cAAc,GAClB,8EAA8E,CAAC;AAcjF,sFAAsF;AACtF,SAAS,YAAY,CAAC,QAAgB,EAAE,UAAkB;IACxD,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,qEAAqE,CAAC;IAC/E,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,uBAAuB,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,2BAA2B,IAAI,CAAC,WAAW,GAAG,CAAC;IAC9G,CAAC;IACD,OAAO,0BAA0B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,0BAA0B,IAAI,CAAC,WAAW,GAAG,CAAC;AAC/G,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB;IACzC,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACnC,+DAA+D;IAC/D,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,QAAkB;IACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,MAAM,MAAM,GACV,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAChC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,OAAO,cAAc,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7E,IAAI;QACJ,KAAK,EAAE,IAAI;KACZ,CAAC,CAAC,CAAC;AACN,CAAC;AAUD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,OAAoB;IAClD,8EAA8E;IAC9E,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrD,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAEtE,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,SAAS,CAAC,gBAAgB,OAAO,CAAC,UAAU,WAAW,EAAE;YACjE,OAAO,EAAE,oBAAoB;YAC7B,GAAG,EAAE,yDAAyD;SAC/D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAElE,4EAA4E;IAC5E,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,4EAA4E;IAC5E,yEAAyE;IACzE,0DAA0D;IAC1D,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,SAAS,CACjB,0BAA0B,QAAQ,CAAC,EAAE,iDAAiD,EACtF;YACE,OAAO,EAAE,gBAAgB,QAAQ,CAAC,EAAE,iDAAiD,QAAQ,CAAC,EAAE,oCAAoC,QAAQ,CAAC,EAAE,EAAE;YACjJ,GAAG,EAAE,uEAAuE;SAC7E,CACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAEvC,yEAAyE;IACzE,wEAAwE;IACxE,2EAA2E;IAC3E,yEAAyE;IACzE,wEAAwE;IACxE,qCAAqC;IACrC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,mBAAmB,CAAC,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACpD,uEAAuE;IACvE,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9D,6EAA6E;IAC7E,2EAA2E;IAC3E,MAAM,gBAAgB,GACpB,QAAQ,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;QACpD,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI;QACxC,CAAC,CAAC,SAAS,CAAC;IAEhB,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,KAAK,GAAG,eAAe,CAAC;QAC5B,QAAQ;QACR,MAAM;QACN,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC7C,iBAAiB,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/E,aAAa;QACb,SAAS,EAAE,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/F,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;QACrD,gBAAgB;QAChB,WAAW,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC;KAC9B,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAoB;IAChD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC;IAEnE,MAAM,IAAI,GAAS,UAAU,CAAC,KAAK,CAAC;QAClC,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,YAAY,EAAE,iBAAiB,CAAC,QAAQ,CAAC;QACzC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;KAC5C,CAAC,CAAC;IACH,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAE7B,+EAA+E;IAC/E,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,MAAe,EAAE,CAAC;QACzD,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,eAAe,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAkB;IAChD,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACrF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,CACT,QAAQ,EAAE,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAClG,CAAC;IACF,OAAO,CAAC,GAAG,CACT,QAAQ,EAAE,CAAC,IAAI,CAAC,0BAA0B,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CACzF,CAAC;AACJ,CAAC"}

package/dist/commands/propose.js

@@ -0,0 +1,102 @@
+/**
+ * `propose --import <file>` — materialise Flow/Rule proposals INTO THE ACTIVE
+ * CHANGE LANE.
+ *
+ * The same document `discover --import` takes, written to a different place on
+ * purpose. A builder that discovers, mid-change, that a Flow's truth no longer
+ * matches what the code will do has something worth proposing — and that
+ * proposal belongs on the change's own branch, where it rides the same pull
+ * request as the code that motivated it and reaches the owner with its context
+ * attached. Writing it to main instead would strand it: approved (or not)
+ * against a tree where the change does not exist yet.
+ *
+ * It is deliberately agent-allowed. Proposing is what an agent is FOR — rule
+ * `r-canonical-atlas-records-are-owner-only` reserves `flow approve` to the
+ * owner, and nothing here approaches it. The destination is the only thing that
+ * separates this command from `discover`, and neither command lets the document
+ * choose which one it gets.
+ */
+import path from 'node:path';
+import { listOpenChanges } from '../change.js';
+import { UserError } from '../errors.js';
+import * as git from '../git.js';
+import { readAnswerFile } from '../planning/context.js';
+import { planProposals } from '../planning/materialise.js';
+import { ProposeAnswerSchema } from '../planning/schema.js';
+import { takeSnapshot } from '../planning/snapshot.js';
+import { shellQuote } from '../shellquote.js';
+import { applyBatch, checkAnswerSnapshot, printMaterialiseOutcome, parseProposalsAnswer } from './discover.js';
+import * as ui from '../ui.js';
+export async function runPropose(options) {
+    if (!options.importFile) {
+        throw new UserError('`propose` needs the agent\'s answer to import.', {
+            command: 'prismatica context discover',
+            why: 'export the context, answer it, then import that answer into this lane',
+        });
+    }
+    const now = options.now ?? new Date();
+    const mainRoot = await git.mainRepoRoot(options.cwd);
+    const currentRoot = await git.repoRoot(options.cwd);
+    const branch = await git.currentBranch(currentRoot);
+    if (!branch?.startsWith('change/')) {
+        throw new UserError('`propose` must run inside the change lane it writes to.', {
+            command: 'prismatica discover --import <answer.json>',
+            why: 'the map of the whole app belongs on main; lane proposals belong to the lane being built',
+        });
+    }
+    const contractId = branch.slice('change/'.length);
+    if (options.contractId && options.contractId !== contractId) {
+        throw new UserError(`This checkout is ${contractId}, not ${options.contractId}.`, {
+            command: `prismatica propose --import ${shellQuote(options.importFile)}`,
+            why: 'propose may only write into the change lane you are currently building in',
+        });
+    }
+    const lane = (await listOpenChanges(options.cwd)).find((change) => change.id === contractId);
+    if (!lane || path.resolve(lane.home) !== path.resolve(currentRoot)) {
+        throw new UserError(`There is no live lane for "${contractId}" to propose into.`, {
+            command: 'prismatica discover --import <answer.json>',
+            why: 'propose writes into an open change lane; the map of the app belongs on main',
+        });
+    }
+    const home = currentRoot;
+    const raw = readAnswerFile(options.importFile, {
+        command: 'prismatica context discover',
+        why: 'the context file says what to read and what to return; the answer comes back here',
+    });
+    const answer = parseProposalsAnswer(raw, ProposeAnswerSchema);
+    const snapshot = await takeSnapshot(options.cwd, now);
+    const driftWarnings = checkAnswerSnapshot(answer, snapshot);
+    const planned = planProposals({
+        // Written into the lane, so they ride this change's pull request…
+        home,
+        // …but classified against main, where canonical truth lives and where
+        // `flow approve` will eventually read them. The exported context described
+        // main, and `answer.head` binds main's HEAD, so this is the one tree the
+        // answer is actually about.
+        canonicalRoot: mainRoot,
+        answer,
+        knownRuleIds: snapshot.rules.map((rule) => rule.id),
+        proposedBy: 'agent',
+        now,
+    });
+    const retry = `prismatica propose --import ${shellQuote(options.importFile)}`;
+    if (!planned.ok) {
+        throw new UserError(`The answer cannot be materialised:\n${planned.problems
+            .map((problem) => `  - ${problem.field}: ${problem.detail}`)
+            .join('\n')}`, {
+            command: retry,
+            why: 'nothing was written — the whole batch is checked before any of it is applied, so this is safe to re-run once the conflict is resolved',
+        });
+    }
+    return { contractId, home, answer, driftWarnings, ...applyBatch(home, planned.plan, retry) };
+}
+export function printProposeResult(result, width = ui.terminalWidth()) {
+    printMaterialiseOutcome(result, `the ${result.contractId} lane`, width, result.driftWarnings);
+    console.log('');
+    console.log(ui.dim(`  ${result.home}`));
+    console.log('');
+    console.log(ui.bold('Next'));
+    console.log('  Commit these with your work — they ride this change\'s pull request:');
+    console.log(`     ${ui.bold('git add .prismatica/flows/proposals .prismatica/rules/proposals')}`);
+}
+//# sourceMappingURL=propose.js.map

package/dist/commands/propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../src/commands/propose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,KAAK,GAAG,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,aAAa,EAA2B,MAAM,4BAA4B,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAwB,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC/G,OAAO,KAAK,EAAE,MAAM,UAAU,CAAC;AAmB/B,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAuB;IACtD,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,gDAAgD,EAAE;YACpE,OAAO,EAAE,6BAA6B;YACtC,GAAG,EAAE,uEAAuE;SAC7E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAEpD,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,SAAS,CAAC,yDAAyD,EAAE;YAC7E,OAAO,EAAE,4CAA4C;YACrD,GAAG,EAAE,yFAAyF;SAC/F,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QAC5D,MAAM,IAAI,SAAS,CAAC,oBAAoB,UAAU,SAAS,OAAO,CAAC,UAAU,GAAG,EAAE;YAChF,OAAO,EAAE,+BAA+B,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;YACxE,GAAG,EAAE,2EAA2E;SACjF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,MAAM,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;IAC7F,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,SAAS,CAAC,8BAA8B,UAAU,oBAAoB,EAAE;YAChF,OAAO,EAAE,4CAA4C;YACrD,GAAG,EAAE,6EAA6E;SACnF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC;IAEzB,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,UAAU,EAAE;QAC7C,OAAO,EAAE,6BAA6B;QACtC,GAAG,EAAE,mFAAmF;KACzF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;IAE9D,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE5D,MAAM,OAAO,GAAG,aAAa,CAAC;QAC5B,kEAAkE;QAClE,IAAI;QACJ,sEAAsE;QACtE,2EAA2E;QAC3E,yEAAyE;QACzE,4BAA4B;QAC5B,aAAa,EAAE,QAAQ;QACvB,MAAM;QACN,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,UAAU,EAAE,OAAO;QACnB,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,+BAA+B,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,SAAS,CACjB,uCAAuC,OAAO,CAAC,QAAQ;aACpD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;aAC3D,IAAI,CAAC,IAAI,CAAC,EAAE,EACf;YACE,OAAO,EAAE,KAAK;YACd,GAAG,EAAE,uIAAuI;SAC7I,CACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAqB,EAAE,KAAK,GAAG,EAAE,CAAC,aAAa,EAAE;IAClF,uBAAuB,CAAC,MAAM,EAAE,OAAO,MAAM,CAAC,UAAU,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAC9F,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,CAAC,wEAAwE,CAAC,CAAC;IACtF,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,iEAAiE,CAAC,EAAE,CAAC,CAAC;AACpG,CAAC"}