@aperant/framework 0.17.0 → 0.20.0

package/dist/cli/produce/claim.mjs

@@ -0,0 +1,518 @@
+/**
+ * @internal
+ * produce/claim.mjs — the Claim Envelope: a provider-neutral interop SHAPE +
+ * a data-driven profile registry + an event-sourced claim ledger (M6).
+ *
+ * A Claim Envelope captures a durable, bounded, expiring claim (the `lesson`
+ * profile is the only one M6 ships). It is NOT a 4th persistence store (parent
+ * D-02/D-03, ID-M6-01): the ledger reuses the EXACT substrate M1/M2 already use —
+ * a per-record immutable content file at `.aperant/produce/<run-id>/claims/<id>.json`
+ * written ONCE via `openSync(path, 'wx')` (mirrors setpoint.mjs / blind-probe.mjs),
+ * referenced by `content_hash` from an append-only `produce.claim.declared` event,
+ * and PROJECTED by a `projectClaims` fold parallel to `ledger.mjs::projectLedger`.
+ * The roadmap projection still folds `produce.roadmap.*` ONLY, so claim ops never
+ * enter the roadmap the Showrunner re-reads (blindness preserved).
+ *
+ * Generalization is REGISTRY DATA, never a code fork (ID-M6-02): `CLAIM_PROFILES`
+ * maps a profile id → `{ requiredFields, validate }`, and `validateClaimEnvelope`
+ * dispatches on `envelope.profile` via the registry — there is NO hardcoded
+ * `if (profile === 'lesson')` branch, so a 2nd profile is one map entry and an
+ * unknown profile fails closed.
+ *
+ * Deterministic, node-only, ZERO model id — it is pure fold/validation math over
+ * the log + per-record files, like ledger.mjs / scheduler.mjs (ID-M6-08).
+ */
+import { createHash } from 'node:crypto';
+import { closeSync, existsSync, fsyncSync, mkdirSync, openSync, readFileSync, writeSync, } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { appendProduceEvent, readProduceRunEventsMatching } from './events.mjs';
+import { resolveRunDir, slugFromOutcome } from './run-id.mjs';
+/** Plain (non-array, non-null) object guard. */
+function isPlainObject(v) {
+    return v != null && typeof v === 'object' && !Array.isArray(v);
+}
+/** Plain object carrying at least one own key. */
+function isNonEmptyObject(v) {
+    return isPlainObject(v) && Object.keys(v).length > 0;
+}
+/** A bound is a non-empty string / non-empty array / non-empty object. */
+function isNonEmptyBound(v) {
+    if (typeof v === 'string')
+        return v.trim().length > 0;
+    if (Array.isArray(v))
+        return v.length > 0;
+    if (isPlainObject(v))
+        return Object.keys(v).length > 0;
+    return false;
+}
+/**
+ * A scope is BOUNDED iff it is a plain object, `global !== true`, and carries at
+ * least one non-`global` key with a non-empty bound (anti-windup, ID-M6-05). A
+ * `{ global: true }` scope or a scope with no actual bound is REJECTED.
+ */
+function isBoundedScope(scope) {
+    if (!isPlainObject(scope))
+        return false;
+    if (scope.global === true)
+        return false;
+    return Object.keys(scope).some((k) => k !== 'global' && isNonEmptyBound(scope[k]));
+}
+/**
+ * An expiry object carries a decay path: `expires_at` (non-empty string) OR
+ * `revalidate_against_head` (any truthy value). A lesson with no expiry/decay
+ * path is REJECTED (anti-corrosion, ID-M6-04).
+ */
+function hasExpiry(expiry) {
+    if (!isPlainObject(expiry))
+        return false;
+    const hasExpiresAt = typeof expiry.expires_at === 'string' && expiry.expires_at.trim().length > 0;
+    const hasRevalidate = expiry.revalidate_against_head != null && expiry.revalidate_against_head !== false;
+    return hasExpiresAt || hasRevalidate;
+}
+/** The verifiable plan requirement — a non-empty string / array / object. */
+function isNonEmptyVerifier(rv) {
+    if (typeof rv === 'string')
+        return rv.trim().length > 0;
+    if (Array.isArray(rv))
+        return rv.length > 0;
+    if (isPlainObject(rv))
+        return Object.keys(rv).length > 0;
+    return false;
+}
+/**
+ * The `lesson` profile validator (ID-M6-03). REQUIRES all 6 AC15 fields and
+ * REJECTS fail-closed (never throws): missing provenance; empty preconditions
+ * (unconditional rule — bounded-critic clamp); global/unbounded scope
+ * (anti-windup); missing expiry (anti-corrosion); missing negative_evidence
+ * field; empty resolution_verifier. Returns `{ ok:false, reason }`.
+ *
+ * @param {Record<string, unknown>} env
+ * @returns {{ ok: true } | { ok: false, reason: string }}
+ */
+function validateLessonEnvelope(env) {
+    if (!isNonEmptyObject(env.provenance))
+        return { ok: false, reason: 'missing_provenance' };
+    if (!Array.isArray(env.preconditions) || env.preconditions.length === 0)
+        return { ok: false, reason: 'empty_preconditions' };
+    if (!isBoundedScope(env.scope))
+        return { ok: false, reason: 'unbounded_scope' };
+    if (!hasExpiry(env.expiry))
+        return { ok: false, reason: 'missing_expiry' };
+    if (!Array.isArray(env.negative_evidence))
+        return { ok: false, reason: 'missing_negative_evidence' };
+    if (!isNonEmptyVerifier(env.resolution_verifier))
+        return { ok: false, reason: 'empty_resolution_verifier' };
+    return { ok: true };
+}
+/**
+ * The data-driven profile registry (ID-M6-02). A profile is one map entry
+ * (`{ requiredFields, validate }`) — adding a 2nd is data, not a code fork. M6
+ * SHIPS only `lesson`; the generalization is PROVEN by a test that injects a
+ * trivial second profile via `validateClaimEnvelope`'s `profiles` arg.
+ */
+export const CLAIM_PROFILES = {
+    lesson: {
+        requiredFields: [
+            'provenance',
+            'preconditions',
+            'scope',
+            'expiry',
+            'negative_evidence',
+            'resolution_verifier',
+        ],
+        validate: validateLessonEnvelope,
+    },
+};
+/**
+ * Validate a Claim Envelope by dispatching on `envelope.profile` through the
+ * REGISTRY (never a hardcoded profile branch — ID-M6-02). An unknown/absent
+ * profile fails closed (`{ ok:false, reason:'unknown_profile' }`). Never throws.
+ *
+ * @param {Record<string, unknown>} envelope
+ * @param {{ profiles?: Record<string, { validate: (env: Record<string, unknown>) => { ok: boolean, reason?: string } }> }} [opts]
+ * @returns {{ ok: true } | { ok: false, reason: string }}
+ */
+export function validateClaimEnvelope(envelope, { profiles = CLAIM_PROFILES } = {}) {
+    const env = isPlainObject(envelope) ? envelope : {};
+    const profileId = typeof env.profile === 'string' ? env.profile : '';
+    const spec = profiles[profileId];
+    if (!spec || typeof spec.validate !== 'function')
+        return { ok: false, reason: 'unknown_profile' };
+    return spec.validate(env);
+}
+/**
+ * Mint a claim id: `<slug-of-text>-<rand>`. Reuses `slugFromOutcome` + a short
+ * random suffix (mirrors ledger.mjs::mintCriterionId) so two claims minted from
+ * the same text never collide. Falls back to the profile when text is empty.
+ *
+ * @param {string} profile
+ * @param {string} text
+ * @returns {string}
+ */
+export function mintClaimId(profile, text) {
+    const slug = slugFromOutcome(text || profile || 'claim');
+    return `${slug}-${Math.random().toString(36).slice(2, 8)}`;
+}
+/** sha256 of the canonical JSON of the claim content (the immutable hash stamp). */
+function computeClaimContentHash(content) {
+    return createHash('sha256')
+        .update(JSON.stringify(content ?? null))
+        .digest('hex');
+}
+/** The claims/<claim-id>.json path for a run + claim. */
+export function claimPathFor(projectDir, runId, claimId) {
+    return join(resolveRunDir(projectDir, runId), 'claims', `${claimId}.json`);
+}
+/** Read + parse a frozen claim record. Returns null when absent or malformed. */
+export function readClaim(projectDir, runId, claimId) {
+    const p = claimPathFor(projectDir, runId, claimId);
+    if (!existsSync(p))
+        return null;
+    try {
+        return JSON.parse(readFileSync(p, 'utf-8'));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Exclusive-create write of the frozen claim record on the FINAL path (NOT
+ * tmp+rename), so a SECOND write throws EEXIST — the claim content is immutable
+ * (mirrors setpoint.mjs::writeSetpointExclusive / blind-probe.mjs).
+ */
+function writeClaimExclusive(claimPath, record) {
+    mkdirSync(dirname(claimPath), { recursive: true });
+    const payload = `${JSON.stringify(record, null, 2)}\n`;
+    const fd = openSync(claimPath, 'wx'); // throws EEXIST when already frozen
+    try {
+        writeSync(fd, payload, 0, 'utf-8');
+        fsyncSync(fd);
+    }
+    finally {
+        closeSync(fd);
+    }
+}
+/**
+ * Freeze a Claim Envelope, idempotently. VALIDATES first (refuses to freeze an
+ * invalid envelope — fail-closed), computes `content_hash = sha256(envelope)`,
+ * writes `claims/<claim-id>.json` exclusive-create, and on a FRESH freeze appends
+ * `produce.claim.declared {run_id, profile, claim_id, content_hash}` (content_hash
+ * only — the full envelope lives in the frozen file, ID-M6-07). A second freeze
+ * of the same claim id returns the byte-identical stored record (`reused: true`)
+ * and never re-logs. The resolved `profile` (explicit arg or `envelope.profile`)
+ * is authoritative for validation dispatch + the stored/logged profile.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {{ profile?: string, envelope: Record<string, unknown>, claimId?: string }} args
+ * @param {{ profiles?: object, now?: Date }} [opts]
+ * @returns {{ ok: true, reused: boolean, claim_id: string, profile: string | null, content_hash: string }
+ *   | { ok: false, reason: string }}
+ */
+export function freezeClaim(projectDir, runId, { profile, envelope, claimId } = {}, { profiles = CLAIM_PROFILES, now = new Date() } = {}) {
+    const env = isPlainObject(envelope) ? envelope : {};
+    const resolvedProfile = typeof profile === 'string' && profile
+        ? profile
+        : typeof env.profile === 'string'
+            ? env.profile
+            : null;
+    // The resolved profile is authoritative — validate + store + log agree.
+    const envelopeForValidation = resolvedProfile ? { ...env, profile: resolvedProfile } : env;
+    const verdict = validateClaimEnvelope(envelopeForValidation, { profiles });
+    if (!verdict.ok)
+        return { ok: false, reason: verdict.reason };
+    const resolvedClaimId = typeof claimId === 'string' && claimId
+        ? claimId
+        : typeof env.id === 'string' && env.id
+            ? env.id
+            : mintClaimId(resolvedProfile ?? 'claim', typeof env.resolution_verifier === 'string' ? env.resolution_verifier : resolvedProfile);
+    const existing = readClaim(projectDir, runId, resolvedClaimId);
+    if (existing)
+        return {
+            ok: true,
+            reused: true,
+            claim_id: resolvedClaimId,
+            profile: existing.profile ?? resolvedProfile,
+            content_hash: existing.content_hash,
+        };
+    const contentHash = computeClaimContentHash(envelopeForValidation);
+    const record = {
+        run_id: runId,
+        claim_id: resolvedClaimId,
+        profile: resolvedProfile,
+        frozen_at: now.toISOString(),
+        content_hash: contentHash,
+        // The full claim content lives HERE — blind to the event log (ID-M6-07).
+        envelope: envelopeForValidation,
+    };
+    try {
+        writeClaimExclusive(claimPathFor(projectDir, runId, resolvedClaimId), record);
+    }
+    catch (e) {
+        // Lost a concurrent race — the winner's file is authoritative; re-read it
+        // byte-identically rather than overwriting (mirrors freezeSetpoint).
+        if (e && e.code === 'EEXIST') {
+            const winner = readClaim(projectDir, runId, resolvedClaimId);
+            if (winner)
+                return {
+                    ok: true,
+                    reused: true,
+                    claim_id: resolvedClaimId,
+                    profile: winner.profile ?? resolvedProfile,
+                    content_hash: winner.content_hash,
+                };
+        }
+        throw e;
+    }
+    // Announce by hash + profile ONLY — never the content (ID-M6-07).
+    appendProduceEvent(projectDir, 'produce.claim.declared', {
+        run_id: runId,
+        profile: resolvedProfile,
+        claim_id: resolvedClaimId,
+        content_hash: contentHash,
+    });
+    return {
+        ok: true,
+        reused: false,
+        claim_id: resolvedClaimId,
+        profile: resolvedProfile,
+        content_hash: contentHash,
+    };
+}
+/** The closed set of consumption-delta target kinds (mirrors ALLOWED_CLAIM_TARGET_KINDS). */
+export const CLAIM_TARGET_KINDS = ['acceptance_criterion', 'subtask', 'proof_obligation'];
+/**
+ * Fold the run's claim ledger from the append-only log — a SEPARATE fold parallel
+ * to `ledger.mjs::projectLedger` / `saga.mjs::projectSaga` (the roadmap projection
+ * still folds `produce.roadmap.*` ONLY, so claim ops never enter the roadmap the
+ * Showrunner re-reads). A `produce.claim.declared` seeds an ACTIVE claim (in
+ * first-seen order); a `produce.claim.expired` advances it to `expired`;
+ * `produce.claim.consumed` is a forensic-only event that does NOT change status.
+ * Deterministic — two folds of the same log yield the identical ledger.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   claims: Array<{ claim_id: string, profile: string | null, content_hash: string | null, status: 'active' | 'expired' }>,
+ *   active_count: number,
+ *   expired_count: number,
+ *   updated_at: string | null,
+ * }}
+ */
+export function projectClaims(projectDir, runId) {
+    const events = readProduceRunEventsMatching(projectDir, runId, (op) => op.startsWith('produce.claim.'));
+    const byId = new Map();
+    const order = [];
+    let updatedAt = null;
+    for (const e of events) {
+        const d = e.data || {};
+        const cid = typeof d.claim_id === 'string' ? d.claim_id : null;
+        if (e.op === 'produce.claim.declared') {
+            if (cid && !byId.has(cid)) {
+                byId.set(cid, {
+                    claim_id: cid,
+                    profile: typeof d.profile === 'string' ? d.profile : null,
+                    content_hash: typeof d.content_hash === 'string' ? d.content_hash : null,
+                    status: 'active',
+                });
+                order.push(cid);
+            }
+        }
+        else if (e.op === 'produce.claim.expired') {
+            if (cid && byId.has(cid))
+                byId.get(cid).status = 'expired';
+        }
+        if (typeof e.t === 'string')
+            updatedAt = e.t;
+    }
+    const claims = order.map((cid) => byId.get(cid));
+    return {
+        run_id: runId,
+        claims,
+        active_count: claims.filter((c) => c.status === 'active').length,
+        expired_count: claims.filter((c) => c.status === 'expired').length,
+        updated_at: updatedAt,
+    };
+}
+/**
+ * The DEFAULT HEAD re-validation predicate (ID-M6-04) — a deterministic
+ * path-exists / grep against the working tree, NEVER an LLM judgment (mirrors the
+ * injected `codexDeps` in probe-family.mjs / the injected existence predicate in
+ * resolveResumeCwd). `check` is `{ path?, pattern? }` (or a bare path string).
+ * Returns false when the referenced file/pattern no longer matches HEAD.
+ *
+ * @param {unknown} check
+ * @returns {boolean}
+ */
+function defaultHeadCheck(check) {
+    const spec = typeof check === 'string' ? { path: check } : isPlainObject(check) ? check : {};
+    if (typeof spec.path === 'string' && spec.path) {
+        if (!existsSync(spec.path))
+            return false;
+        if (typeof spec.pattern === 'string' && spec.pattern) {
+            try {
+                return readFileSync(spec.path, 'utf-8').includes(spec.pattern);
+            }
+            catch {
+                return false;
+            }
+        }
+        return true;
+    }
+    // No actionable check descriptor → nothing to invalidate (still valid).
+    return true;
+}
+/** One precondition matches ctx iff every key equals (or set-includes) the ctx value. */
+function matchOne(cond, ctx) {
+    if (!isPlainObject(cond))
+        return false;
+    return Object.keys(cond).every((k) => {
+        const expected = cond[k];
+        const actual = ctx[k];
+        if (Array.isArray(expected))
+            return expected.includes(actual);
+        if (Array.isArray(actual))
+            return actual.includes(expected);
+        return actual === expected;
+    });
+}
+/**
+ * The claim FIRES (its trigger matches) iff EVERY precondition matches ctx
+ * (conjunction — a narrow gate, bounded-critic ID-M6-05). An absent/empty
+ * preconditions list is vacuously matched (a validated lesson always has ≥1).
+ */
+function preconditionsMatch(preconditions, ctx) {
+    if (!Array.isArray(preconditions) || preconditions.length === 0)
+        return true;
+    const c = isPlainObject(ctx) ? ctx : {};
+    return preconditions.every((cond) => matchOne(cond, c));
+}
+/**
+ * Decide whether a claim may be consumed against a ctx (ID-M6-04, anti-corrosion).
+ * DETERMINISTIC (no LLM). SKIPS with a reason when: the claim is time-expired
+ * (`now() > expiry.expires_at` → `expired`); the claim's `revalidate_against_head`
+ * check no longer matches HEAD (`headCheck(check) === false` → `head_invalidated`);
+ * or the preconditions don't match ctx (`precondition_unmatched`). Otherwise
+ * `{ consume: true }`. `now` + `headCheck` are INJECTED (default now = new Date,
+ * default headCheck = the working-tree path-exists/grep).
+ *
+ * @param {Record<string, unknown>} claim — the claim ENVELOPE (carries expiry + preconditions).
+ * @param {Record<string, unknown>} [ctx]
+ * @param {{ now?: () => Date, headCheck?: (check: unknown) => boolean }} [deps]
+ * @returns {{ consume: true } | { consume: false, reason: string }}
+ */
+export function evaluateClaimForConsumption(claim, ctx = {}, deps = {}) {
+    const now = typeof deps.now === 'function' ? deps.now : () => new Date();
+    const headCheck = typeof deps.headCheck === 'function' ? deps.headCheck : defaultHeadCheck;
+    const env = isPlainObject(claim) ? claim : {};
+    const expiry = isPlainObject(env.expiry) ? env.expiry : {};
+    // (1) Time expiry.
+    if (typeof expiry.expires_at === 'string' && expiry.expires_at) {
+        const expiresAt = new Date(expiry.expires_at).getTime();
+        if (Number.isFinite(expiresAt) && now().getTime() > expiresAt) {
+            return { consume: false, reason: 'expired' };
+        }
+    }
+    // (2) HEAD re-validation (anti-corrosion) — deterministic, never an LLM.
+    if (expiry.revalidate_against_head != null && expiry.revalidate_against_head !== false) {
+        if (!headCheck(expiry.revalidate_against_head)) {
+            return { consume: false, reason: 'head_invalidated' };
+        }
+    }
+    // (3) Precondition match against ctx (the trigger).
+    if (!preconditionsMatch(env.preconditions, ctx)) {
+        return { consume: false, reason: 'precondition_unmatched' };
+    }
+    return { consume: true };
+}
+/** Read the frozen claim ENVELOPE (the `.envelope` payload), null when absent/malformed. */
+function readClaimEnvelope(projectDir, runId, claimId) {
+    const record = readClaim(projectDir, runId, claimId);
+    if (!record)
+        return null;
+    return isPlainObject(record.envelope) ? record.envelope : null;
+}
+/**
+ * Derive the bounded consumption DELTA from a claim envelope's
+ * `resolution_verifier` ONLY (ID-M6-06 — the down-projection). Returns
+ * `[{ kind, requirement, ref? }]` where `kind` is clamped to the closed
+ * CLAIM_TARGET_KINDS set (fail-closed default `acceptance_criterion`) and
+ * `requirement` is a bounded string taken FROM `resolution_verifier`. This
+ * function reads NOTHING ELSE off the envelope — never `provenance`,
+ * `negative_evidence`, `preconditions`, or a raw body — so a sentinel placed in
+ * those fields can never reach the consume output (the sentinel-non-leak
+ * invariant). NO raw-lesson-text → prompt concatenation sink lives here.
+ *
+ * @param {Record<string, unknown>} envelope
+ * @returns {Array<{ kind: string, requirement: string, ref?: string }>}
+ */
+function deriveTargets(envelope) {
+    const rv = isPlainObject(envelope) ? envelope.resolution_verifier : undefined;
+    const raw = Array.isArray(rv) ? rv : [rv];
+    const targets = [];
+    for (const item of raw) {
+        if (typeof item === 'string' && item.length > 0) {
+            targets.push({ kind: 'acceptance_criterion', requirement: item });
+        }
+        else if (isPlainObject(item)) {
+            const kind = CLAIM_TARGET_KINDS.includes(item.kind) ? item.kind : 'acceptance_criterion';
+            const requirement = typeof item.requirement === 'string' && item.requirement
+                ? item.requirement
+                : typeof item.text === 'string'
+                    ? item.text
+                    : '';
+            const target = { kind, requirement };
+            if (typeof item.ref === 'string' && item.ref)
+                target.ref = item.ref;
+            targets.push(target);
+        }
+    }
+    return targets;
+}
+/**
+ * Consume the run's ACTIVE claims against a ctx (ID-M6-06 — THE M6 invariant).
+ * For each active claim, evaluate it; a consumable claim emits ONE bounded delta
+ * `{ claim_id, profile, targets: [{ kind, requirement, ref? }] }` where every
+ * `targets[].kind ∈ CLAIM_TARGET_KINDS` and `requirement` is derived FROM
+ * `resolution_verifier` — a projection DOWN. The output MUST NOT carry the claim's
+ * `provenance` / `negative_evidence` / `preconditions` / body (never a context
+ * paste). Skipped claims (expired / head_invalidated / precondition_unmatched /
+ * unreadable) surface under `skipped[]` with a reason. PURE — appends no event
+ * (the CLI records `produce.claim.consumed` per target for the forensic trail).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {Record<string, unknown>} [ctx]
+ * @param {{ now?: () => Date, headCheck?: (check: unknown) => boolean }} [deps]
+ * @returns {{
+ *   consumed: Array<{ claim_id: string, profile: string | null, targets: Array<{ kind: string, requirement: string, ref?: string }> }>,
+ *   skipped: Array<{ claim_id: string, reason: string }>,
+ * }}
+ */
+export function consumeClaims(projectDir, runId, ctx = {}, deps = {}) {
+    const ledger = projectClaims(projectDir, runId);
+    const consumed = [];
+    const skipped = [];
+    for (const summary of ledger.claims) {
+        if (summary.status !== 'active')
+            continue; // expired claims never consume
+        const envelope = readClaimEnvelope(projectDir, runId, summary.claim_id);
+        if (!envelope) {
+            skipped.push({ claim_id: summary.claim_id, reason: 'unreadable_claim' });
+            continue;
+        }
+        const verdict = evaluateClaimForConsumption(envelope, ctx, deps);
+        if (!verdict.consume) {
+            skipped.push({ claim_id: summary.claim_id, reason: verdict.reason });
+            continue;
+        }
+        consumed.push({
+            claim_id: summary.claim_id,
+            profile: summary.profile ?? (typeof envelope.profile === 'string' ? envelope.profile : null),
+            targets: deriveTargets(envelope),
+        });
+    }
+    return { consumed, skipped };
+}
+//# sourceMappingURL=claim.mjs.map

package/dist/cli/produce/claim.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim.mjs","sourceRoot":"","sources":["../../../src/cli/produce/claim.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EACN,SAAS,EACT,UAAU,EACV,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,GACT,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAA;AAC/E,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE7D,gDAAgD;AAChD,SAAS,aAAa,CAAC,CAAC;IACvB,OAAO,CAAC,IAAI,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC;AAED,kDAAkD;AAClD,SAAS,gBAAgB,CAAC,CAAC;IAC1B,OAAO,aAAa,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;AACrD,CAAC;AAED,0EAA0E;AAC1E,SAAS,eAAe,CAAC,CAAC;IACzB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACzC,IAAI,aAAa,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACtD,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,KAAK;IAC5B,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACvC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IACvC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACnF,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAM;IACxB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACxC,MAAM,YAAY,GAAG,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IACjG,MAAM,aAAa,GAClB,MAAM,CAAC,uBAAuB,IAAI,IAAI,IAAI,MAAM,CAAC,uBAAuB,KAAK,KAAK,CAAA;IACnF,OAAO,YAAY,IAAI,aAAa,CAAA;AACrC,CAAC;AAED,6EAA6E;AAC7E,SAAS,kBAAkB,CAAC,EAAE;IAC7B,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IAC3C,IAAI,aAAa,CAAC,EAAE,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACxD,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,sBAAsB,CAAC,GAAG;IAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAA;IACzF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACtE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAA;IACpD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAA;IAC/E,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAA;IAC1E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAA;IAC1D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAC/C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAA;IAC1D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC7B,MAAM,EAAE;QACP,cAAc,EAAE;YACf,YAAY;YACZ,eAAe;YACf,OAAO;YACP,QAAQ;YACR,mBAAmB;YACnB,qBAAqB;SACrB;QACD,QAAQ,EAAE,sBAAsB;KAChC;CACD,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAQ,EAAE,EAAE,QAAQ,GAAG,cAAc,EAAE,GAAG,EAAE;IACjF,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAA;IACnD,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;IACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;IAChC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,UAAU;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAA;IACjG,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,OAAO,EAAE,IAAI;IACxC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,IAAI,OAAO,IAAI,OAAO,CAAC,CAAA;IACxD,OAAO,GAAG,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;AAC3D,CAAC;AAED,oFAAoF;AACpF,SAAS,uBAAuB,CAAC,OAAO;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC;SACzB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC;SACvC,MAAM,CAAC,KAAK,CAAC,CAAA;AAChB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO;IACtD,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,GAAG,OAAO,OAAO,CAAC,CAAA;AAC3E,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO;IACnD,MAAM,CAAC,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAClD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/B,IAAI,CAAC;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;IAC5C,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAA;IACZ,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,SAAS,EAAE,MAAM;IAC7C,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAClD,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAA;IACtD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA,CAAC,oCAAoC;IACzE,IAAI,CAAC;QACJ,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;QAClC,SAAS,CAAC,EAAE,CAAC,CAAA;IACd,CAAC;YAAS,CAAC;QACV,SAAS,CAAC,EAAE,CAAC,CAAA;IACd,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAC1B,UAAU,EACV,KAAK,EACL,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EACnC,EAAE,QAAQ,GAAG,cAAc,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE;IAEpD,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAA;IACnD,MAAM,eAAe,GACpB,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO;QACrC,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;YAChC,CAAC,CAAC,GAAG,CAAC,OAAO;YACb,CAAC,CAAC,IAAI,CAAA;IACT,wEAAwE;IACxE,MAAM,qBAAqB,GAAG,eAAe,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,GAAG,CAAA;IAE1F,MAAM,OAAO,GAAG,qBAAqB,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAA;IAC1E,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAA;IAE7D,MAAM,eAAe,GACpB,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO;QACrC,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,GAAG,CAAC,EAAE;YACrC,CAAC,CAAC,GAAG,CAAC,EAAE;YACR,CAAC,CAAC,WAAW,CACX,eAAe,IAAI,OAAO,EAC1B,OAAO,GAAG,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,CACvF,CAAA;IAEL,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,CAAA;IAC9D,IAAI,QAAQ;QACX,OAAO;YACN,EAAE,EAAE,IAAI;YACR,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,eAAe;YACzB,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,eAAe;YAC5C,YAAY,EAAE,QAAQ,CAAC,YAAY;SACnC,CAAA;IAEF,MAAM,WAAW,GAAG,uBAAuB,CAAC,qBAAqB,CAAC,CAAA;IAClE,MAAM,MAAM,GAAG;QACd,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,eAAe;QACxB,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE;QAC5B,YAAY,EAAE,WAAW;QACzB,yEAAyE;QACzE,QAAQ,EAAE,qBAAqB;KAC/B,CAAA;IAED,IAAI,CAAC;QACJ,mBAAmB,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAAA;IAC9E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,0EAA0E;QAC1E,qEAAqE;QACrE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,CAAA;YAC5D,IAAI,MAAM;gBACT,OAAO;oBACN,EAAE,EAAE,IAAI;oBACR,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE,eAAe;oBACzB,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,eAAe;oBAC1C,YAAY,EAAE,MAAM,CAAC,YAAY;iBACjC,CAAA;QACH,CAAC;QACD,MAAM,CAAC,CAAA;IACR,CAAC;IAED,kEAAkE;IAClE,kBAAkB,CAAC,UAAU,EAAE,wBAAwB,EAAE;QACxD,MAAM,EAAE,KAAK;QACb,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,eAAe;QACzB,YAAY,EAAE,WAAW;KACzB,CAAC,CAAA;IAEF,OAAO;QACN,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,eAAe;QACxB,YAAY,EAAE,WAAW;KACzB,CAAA;AACF,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,sBAAsB,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAA;AAEzF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,aAAa,CAAC,UAAU,EAAE,KAAK;IAC9C,MAAM,MAAM,GAAG,4BAA4B,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CACrE,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAC/B,CAAA;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAA;IACtB,MAAM,KAAK,GAAG,EAAE,CAAA;IAChB,IAAI,SAAS,GAAG,IAAI,CAAA;IAEpB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAA;QACtB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAA;QAC9D,IAAI,CAAC,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;YACvC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE;oBACb,QAAQ,EAAE,GAAG;oBACb,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;oBACzD,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;oBACxE,MAAM,EAAE,QAAQ;iBAChB,CAAC,CAAA;gBACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC;QACF,CAAC;aAAM,IAAI,CAAC,CAAC,EAAE,KAAK,uBAAuB,EAAE,CAAC;YAC7C,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,SAAS,CAAA;QAC3D,CAAC;QACD,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAA;IAC7C,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,OAAO;QACN,MAAM,EAAE,KAAK;QACb,MAAM;QACN,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;QAChE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QAClE,UAAU,EAAE,SAAS;KACrB,CAAA;AACF,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,KAAK;IAC9B,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5F,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAA;QACxC,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACtD,IAAI,CAAC;gBACJ,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAC/D,CAAC;YAAC,MAAM,CAAC;gBACR,OAAO,KAAK,CAAA;YACb,CAAC;QACF,CAAC;QACD,OAAO,IAAI,CAAA;IACZ,CAAC;IACD,wEAAwE;IACxE,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,yFAAyF;AACzF,SAAS,QAAQ,CAAC,IAAI,EAAE,GAAG;IAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACtC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACxB,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QAC3D,OAAO,MAAM,KAAK,QAAQ,CAAA;IAC3B,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,aAAa,EAAE,GAAG;IAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAC5E,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IACvC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AACxD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAK,EAAE,GAAG,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE;IACrE,MAAM,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAA;IACxE,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAA;IAC1F,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;IAC7C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IAE1D,mBAAmB;IACnB,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAChE,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAA;QACvD,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,CAAC;YAC/D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAA;QAC7C,CAAC;IACF,CAAC;IACD,yEAAyE;IACzE,IAAI,MAAM,CAAC,uBAAuB,IAAI,IAAI,IAAI,MAAM,CAAC,uBAAuB,KAAK,KAAK,EAAE,CAAC;QACxF,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC;YAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAA;QACtD,CAAC;IACF,CAAC;IACD,oDAAoD;IACpD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAA;IAC5D,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AACzB,CAAC;AAED,4FAA4F;AAC5F,SAAS,iBAAiB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO;IACpD,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACpD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IACxB,OAAO,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,aAAa,CAAC,QAAQ;IAC9B,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7E,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACzC,MAAM,OAAO,GAAG,EAAE,CAAA;IAClB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAA;QAClE,CAAC;aAAM,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAA;YACxF,MAAM,WAAW,GAChB,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW;gBACvD,CAAC,CAAC,IAAI,CAAC,WAAW;gBAClB,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC9B,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,EAAE,CAAA;YACP,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;YACpC,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG;gBAAE,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;YACnE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACrB,CAAC;IACF,CAAC;IACD,OAAO,OAAO,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,aAAa,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE;IACnE,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,EAAE,CAAA;IACnB,MAAM,OAAO,GAAG,EAAE,CAAA;IAClB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;YAAE,SAAQ,CAAC,+BAA+B;QACzE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAA;YACxE,SAAQ;QACT,CAAC;QACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;QAChE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;YACpE,SAAQ;QACT,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YAC5F,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC;SAChC,CAAC,CAAA;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAA;AAC7B,CAAC"}

package/dist/cli/produce/done-gate.d.mts

@@ -0,0 +1,87 @@
+/**
+ * Evaluate the RECORDED gate seals for a milestone (no verify-proof file read —
+ * that live half is added by `adjudicateDone`). Pure read.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {string} milestoneId
+ * @returns {{
+ *   implementer_family: string | null,
+ *   oracle_pass_cross_family: boolean,
+ *   probe_pass_cross_family: boolean,
+ *   frozen_cross_family: boolean,
+ *   blind_gate: boolean,
+ * }}
+ */
+export function evaluateRecordedGates(projectDir: string, runId: string, milestoneId: string): {
+    implementer_family: string | null;
+    oracle_pass_cross_family: boolean;
+    probe_pass_cross_family: boolean;
+    frozen_cross_family: boolean;
+    blind_gate: boolean;
+};
+/**
+ * Adjudicate a milestone `done` (ID-M2-04). `done` accepted iff:
+ *   visible_gate = verify-proof verdict === 'approved' AND recorded
+ *     produce.oracle.judged.verdict === 'pass' with oracle_family !== implementer;
+ *   blind_gate = recorded produce.probe.run.result === 'pass' with
+ *     probe_family !== implementer AND a produce.probe.frozen exists with
+ *     author_family !== implementer.
+ * visible && blind → append produce.oracle.verdict{done} +
+ *   produce.roadmap.milestone_status_changed{done} + refresh the cache → ok.
+ * visible && !blind → append produce.oracle.probe_gap → err (stays open).
+ * !visible → err not-adjudicable. Absent implementer → err fail-closed.
+ *
+ * @param {{ projectDir: string, runId: string, milestoneId: string, verdictPath: string }} args
+ * @returns {{ ok: true, milestone_id: string, roadmap: object }
+ *   | { ok: false, reason: string, visible_gate: boolean, blind_gate: boolean, detail?: object }}
+ */
+export function adjudicateDone({ projectDir, runId, milestoneId, verdictPath }: {
+    projectDir: string;
+    runId: string;
+    milestoneId: string;
+    verdictPath: string;
+}): {
+    ok: true;
+    milestone_id: string;
+    roadmap: object;
+} | {
+    ok: false;
+    reason: string;
+    visible_gate: boolean;
+    blind_gate: boolean;
+    detail?: object;
+};
+/**
+ * The reward-hacking canary (ID-M2-06 / AC10): green-on-visible MINUS
+ * green-on-blind over the run's milestones, from RECORDED seals. Each
+ * `produce.oracle.probe_gap` is one visible-pass + blind-fail near-miss. The
+ * metric surfaces the divergence — it does not average it away.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   green_on_visible: number,
+ *   green_on_blind: number,
+ *   gap: number,
+ *   probe_gap_events: number,
+ *   per_milestone: Array<{ milestone_id: string, title: string, status: string, visible: boolean, blind: boolean, probe_gaps: number }>,
+ * }}
+ */
+export function computeCanary(projectDir: string, runId: string): {
+    run_id: string;
+    green_on_visible: number;
+    green_on_blind: number;
+    gap: number;
+    probe_gap_events: number;
+    per_milestone: Array<{
+        milestone_id: string;
+        title: string;
+        status: string;
+        visible: boolean;
+        blind: boolean;
+        probe_gaps: number;
+    }>;
+};
+//# sourceMappingURL=done-gate.d.mts.map

package/dist/cli/produce/done-gate.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"done-gate.d.mts","sourceRoot":"","sources":["../../../src/cli/produce/done-gate.mjs"],"names":[],"mappings":"AA0CA;;;;;;;;;;;;;;GAcG;AACH,kDAXW,MAAM,SACN,MAAM,eACN,MAAM,GACJ;IACR,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,wBAAwB,EAAE,OAAO,CAAC;IAClC,uBAAuB,EAAE,OAAO,CAAC;IACjC,mBAAmB,EAAE,OAAO,CAAC;IAC7B,UAAU,EAAE,OAAO,CAAC;CACrB,CA+CH;AAED;;;;;;;;;;;;;;;GAeG;AACH,gFAJW;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAyDhG;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,0CAXW,MAAM,SACN,MAAM,GACJ;IACR,MAAM,EAAE,MAAM,CAAC;IACf,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,gBAAgB,EAAE,MAAM,CAAC;IACzB,aAAa,EAAE,KAAK,CAAC;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrI,CA6CH"}