loopforge 1.12.0 → 2.0.0

package/dist/policy-metrics.js

@@ -0,0 +1,146 @@
+/** In-process policy effectiveness metrics with no runtime dependency. */
+function empty(loopId) {
+    return {
+        loopId,
+        roundAttempts: 0,
+        committedRounds: 0,
+        rejectedAttempts: 0,
+        terminatedRounds: 0,
+        stoppedRounds: 0,
+        replayedTransactions: 0,
+        successfulRounds: 0,
+        contradictedRounds: 0,
+        verificationFlags: {},
+        enforcementReasons: {},
+        evidenceOutcomesByProvider: {},
+        evidenceCaptures: 0,
+        evidenceAvailable: 0,
+        evidenceUnavailable: 0,
+        evidenceFailures: 0,
+        evidenceTimeouts: 0,
+        evidenceLatencyMs: 0,
+        levels: {},
+        strategyEffectiveness: {},
+    };
+}
+function increment(target, key) {
+    target[key] = (target[key] ?? 0) + 1;
+}
+export class PolicyMetricsCollector {
+    loops = new Map();
+    aggregate = empty();
+    targets(loopId) {
+        if (!loopId)
+            return [this.aggregate];
+        let metric = this.loops.get(loopId);
+        if (!metric) {
+            metric = empty(loopId);
+            this.loops.set(loopId, metric);
+        }
+        return [this.aggregate, metric];
+    }
+    recordRound(loopId, result, replayed = false) {
+        for (const metric of this.targets(loopId)) {
+            if (replayed) {
+                metric.replayedTransactions++;
+                continue;
+            }
+            metric.roundAttempts++;
+            if (result.action === "reject")
+                metric.rejectedAttempts++;
+            else
+                metric.committedRounds++;
+            if (result.action === "terminate")
+                metric.terminatedRounds++;
+            if (result.action === "stop")
+                metric.stoppedRounds++;
+            if (result.roundSuccess)
+                metric.successfulRounds++;
+            if (result.gateContradicted)
+                metric.contradictedRounds++;
+            for (const flag of result.verificationFlags) {
+                increment(metric.verificationFlags, flag.check);
+            }
+            if (result.enforcementReason) {
+                increment(metric.enforcementReasons, result.enforcementReason);
+            }
+        }
+    }
+    recordEvidence(provider, outcome, latencyMs, loopId) {
+        for (const metric of this.targets(loopId)) {
+            metric.evidenceCaptures++;
+            metric.evidenceLatencyMs += Math.max(0, latencyMs);
+            if (outcome === "available")
+                metric.evidenceAvailable++;
+            if (outcome === "unavailable")
+                metric.evidenceUnavailable++;
+            if (outcome === "failure")
+                metric.evidenceFailures++;
+            if (outcome === "timeout")
+                metric.evidenceTimeouts++;
+            increment(metric.evidenceOutcomesByProvider, `${provider}:${outcome}`);
+        }
+    }
+    recordStrategy(loopId, level) {
+        for (const metric of this.targets(loopId)) {
+            if (level)
+                increment(metric.levels, level);
+        }
+    }
+    recordStrategyOutcome(loopId, level, result, replayed = false) {
+        if (replayed)
+            return;
+        const key = level ?? "unknown";
+        for (const metric of this.targets(loopId)) {
+            const current = metric.strategyEffectiveness[key] ?? {
+                attempts: 0,
+                successes: 0,
+                rejections: 0,
+            };
+            current.attempts++;
+            if (result.roundSuccess && result.action !== "reject")
+                current.successes++;
+            if (result.action === "reject")
+                current.rejections++;
+            metric.strategyEffectiveness[key] = current;
+        }
+    }
+    snapshot(loopId) {
+        const source = loopId ? this.loops.get(loopId) ?? empty(loopId) : this.aggregate;
+        const attempts = source.roundAttempts;
+        const evidence = source.evidenceCaptures;
+        const strategyEffectiveness = {};
+        for (const [key, value] of Object.entries(source.strategyEffectiveness)) {
+            strategyEffectiveness[key] = {
+                ...value,
+                successRate: value.attempts === 0 ? 0 : value.successes / value.attempts,
+            };
+        }
+        return {
+            ...source,
+            verificationFlags: { ...source.verificationFlags },
+            enforcementReasons: { ...source.enforcementReasons },
+            evidenceOutcomesByProvider: { ...source.evidenceOutcomesByProvider },
+            levels: { ...source.levels },
+            strategyEffectiveness,
+            acceptanceRate: attempts === 0 ? 0 : source.committedRounds / attempts,
+            evidenceAvailabilityRate: evidence === 0 ? 0 : source.evidenceAvailable / evidence,
+        };
+    }
+    reset(loopId) {
+        if (loopId) {
+            this.loops.delete(loopId);
+            return;
+        }
+        this.loops.clear();
+        this.aggregate = empty();
+    }
+}
+export const policyMetrics = new PolicyMetricsCollector();
+export function getPolicyMetrics(loopId) {
+    return policyMetrics.snapshot(loopId);
+}
+export function resetPolicyMetrics(loopId) {
+    policyMetrics.reset(loopId);
+}
+//# sourceMappingURL=policy-metrics.js.map

package/dist/policy-metrics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-metrics.js","sourceRoot":"","sources":["../src/policy-metrics.ts"],"names":[],"mappings":"AAAA,0EAA0E;AA6C1E,SAAS,KAAK,CAAC,MAAe;IAC5B,OAAO;QACL,MAAM;QACN,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,CAAC;QAClB,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,oBAAoB,EAAE,CAAC;QACvB,gBAAgB,EAAE,CAAC;QACnB,kBAAkB,EAAE,CAAC;QACrB,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,EAAE;QACtB,0BAA0B,EAAE,EAAE;QAC9B,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;QACpB,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;QACpB,MAAM,EAAE,EAAE;QACV,qBAAqB,EAAE,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAA8B,EAAE,GAAW;IAC5D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,OAAO,sBAAsB;IAChB,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,SAAS,GAAG,KAAK,EAAE,CAAC;IAEpB,OAAO,CAAC,MAAe;QAC7B,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IAED,WAAW,CAAC,MAAc,EAAE,MAA0B,EAAE,QAAQ,GAAG,KAAK;QACtE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,oBAAoB,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;;gBACrD,MAAM,CAAC,eAAe,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC7D,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;gBAAE,MAAM,CAAC,aAAa,EAAE,CAAC;YACrD,IAAI,MAAM,CAAC,YAAY;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACnD,IAAI,MAAM,CAAC,gBAAgB;gBAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACzD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAC5C,SAAS,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAC7B,SAAS,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,cAAc,CACZ,QAAgB,EAChB,OAA4D,EAC5D,SAAiB,EACjB,MAAe;QAEf,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC1B,MAAM,CAAC,iBAAiB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,WAAW;gBAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACxD,IAAI,OAAO,KAAK,aAAa;gBAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC;YAC5D,IAAI,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACrD,IAAI,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACrD,SAAS,CAAC,MAAM,CAAC,0BAA0B,EAAE,GAAG,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,cAAc,CAAC,MAAc,EAAE,KAAc;QAC3C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,IAAI,KAAK;gBAAE,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,qBAAqB,CACnB,MAAc,EACd,KAAyB,EACzB,MAA0B,EAC1B,QAAQ,GAAG,KAAK;QAEhB,IAAI,QAAQ;YAAE,OAAO;QACrB,MAAM,GAAG,GAAG,KAAK,IAAI,SAAS,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI;gBACnD,QAAQ,EAAE,CAAC;gBACX,SAAS,EAAE,CAAC;gBACZ,UAAU,EAAE,CAAC;aACd,CAAC;YACF,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnB,IAAI,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,CAAC,SAAS,EAAE,CAAC;YAC3E,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,CAAC,UAAU,EAAE,CAAC;YACrD,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,MAAe;QACtB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QACjF,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;QACzC,MAAM,qBAAqB,GAAmD,EAAE,CAAC;QACjF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC;YACxE,qBAAqB,CAAC,GAAG,CAAC,GAAG;gBAC3B,GAAG,KAAK;gBACR,WAAW,EAAE,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,QAAQ;aACzE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT,iBAAiB,EAAE,EAAE,GAAG,MAAM,CAAC,iBAAiB,EAAE;YAClD,kBAAkB,EAAE,EAAE,GAAG,MAAM,CAAC,kBAAkB,EAAE;YACpD,0BAA0B,EAAE,EAAE,GAAG,MAAM,CAAC,0BAA0B,EAAE;YACpE,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE;YAC5B,qBAAqB;YACrB,cAAc,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,GAAG,QAAQ;YACtE,wBAAwB,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,GAAG,QAAQ;SACnF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,MAAe;QACnB,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,KAAK,EAAE,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,sBAAsB,EAAE,CAAC;AAE1D,MAAM,UAAU,gBAAgB,CAAC,MAAe;IAC9C,OAAO,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAe;IAChD,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC"}

package/dist/policy.d.ts

@@ -1,19 +1,11 @@
-/** Policy — externalised loop behaviour configuration.
- *
- * All tunable parameters live here instead of as module-level constants.
- */
+/** Externalized LoopForge runtime policy. */
 export interface ConstraintsPolicy {
     retire_window: number;
-    max_active: number;
 }
 export interface SummaryPolicy {
     window: number;
     health_check_interval: number;
 }
-export interface TechniquePolicy {
-    /** Number of consecutive failures before escalating to Tier 2 techniques. */
-    tier2_escalation_failures: number;
-}
 export interface EnginePolicy {
     feedback_flush_interval: number;
     max_circuit_breaker: number;
@@ -24,101 +16,92 @@ export interface RuntimePolicy {
     heartbeat_interval_ms: number;
     stall_grace_ms: number;
     max_consecutive_errors: number;
+    pause_double_tap_ms: number;
+}
+/** Levels control state density only; reasoning strategy belongs to the Agent. */
+export interface PromptPolicy {
+    injection_mode: "adaptive" | "full" | "pointer";
+    full_refresh_interval: number;
+    l0_max_chars: number;
+    l1_max_chars: number;
+    l2_max_chars: number;
+    base_prompt_version: string;
 }
 export interface BackendPolicy {
-    vault_path: string;
-    global_vault_path: string;
+    /** Root for typed per-loop documents. */
+    root_dir: string;
 }
 export interface EvolutionPolicy {
-    /** P0: Max new constraints the agent can discover per round. */
     max_discovered_constraints_per_round: number;
-    /** P0: Hard upper bound on total active constraints. */
     max_active_constraints: number;
-    /** P1: Max versions of the loop objective to retain in history. */
     max_objective_versions: number;
-    /** P4: Minimum progress delta to not be considered stalled. */
     progress_stall_threshold: number;
-    /** P4: Consecutive rounds below stall threshold before warning. */
     progress_stall_rounds: number;
-    /** P4: Max allowed difference between objective and subjective progress. */
     progress_mismatch_threshold: number;
 }
-/** A tier in the round-based injection strategy.
- *  Each tier defines how many and which injection phases are allowed
- *  based on the loop's maxRounds. */
-export interface MemoryInjectionTier {
-    /** Upper bound of maxRounds for this tier (inclusive). */
-    max_rounds: number;
-    /** Which phases are allowed in this tier: [1], [1,3], or [1,2,3]. */
-    allowed_phases: number[];
+export interface CheckpointPolicy {
+    max_carried_constraints: number;
+    outcome_max_chars: number;
 }
-export interface MemoryInjectionPolicy {
-    /** Master toggle for memory injection. */
+/** Human-readable derived state view. JSON LoopStore documents remain truth. */
+export interface StateFilePolicy {
     enabled: boolean;
-    /** Minimum rounds between two consecutive injections. */
-    min_rounds_between_injections: number;
-    /** Phase trigger configuration. */
-    phase_thresholds: {
-        phase1: {
-            trigger: "round_1";
-        };
-        phase2: {
-            trigger: "progress";
-            threshold: number;
-        };
-        phase3: {
-            trigger: "progress";
-            threshold: number;
-        };
-    };
-    /** Round-based tiered injection strategy. Each tier defines which phases
-     *  are allowed based on maxRounds. The first matching tier wins.
-     *  Tiers should be ordered by max_rounds ascending. */
-    round_tiers: MemoryInjectionTier[];
-    /** Jaccard similarity threshold above which a new context is considered
-     *  duplicate and skipped. */
-    dedup_threshold: number;
-    /** Maximum characters of memory context to inject (truncated if longer). */
-    max_context_length: number;
-    /** Section header for the injected context block in the L2 prompt. */
-    section_title: string;
+    directory: string;
+    max_checkpoints: number;
+    max_summary_rounds: number;
 }
-/** Resolve which injection phases are allowed for a given maxRounds.
- *  Uses the tiered strategy: finds the first tier where maxRounds ≤ tier.max_rounds,
- *  and returns its allowed_phases. If maxRounds exceeds all tiers, returns the
- *  last tier's phases. */
-export declare function resolveAllowedPhases(maxRounds: number, tiers: MemoryInjectionTier[]): number[];
-export interface MemoryWritebackPolicy {
-    /** Master toggle for memory writeback on loop end. */
+export interface EvidencePolicy {
+    providers: string[];
+    timeout_ms: number;
+    commands: CommandEvidencePolicy[];
+}
+export interface CommandEvidencePolicy {
+    name: string;
     enabled: boolean;
-    /** Maximum number of feedback entries to write back. */
-    max_feedback_entries: number;
-    /** Maximum number of discoveries in the project entry. */
-    max_discoveries_in_project: number;
-    /** Only write back for these stop reasons. */
-    write_on_outcomes: string[];
+    executable: string;
+    args: string[];
+    cwd?: string;
+    phase: "after" | "both";
+    required: boolean;
+    timeout_ms: number;
+    max_output_chars: number;
+    success_exit_codes: number[];
 }
-export interface CheckpointPolicy {
-    /** Maximum number of constraints carried forward in a checkpoint. */
-    max_carried_constraints: number;
-    /** Maximum character length of the outcome field in a checkpoint. */
-    outcome_max_chars: number;
+export interface McpPolicy {
+    session_lease_ms: number;
+    session_lease_renew_interval_ms: number;
 }
 export interface LoopPolicy {
     version: string;
     constraints: ConstraintsPolicy;
     summary: SummaryPolicy;
-    technique: TechniquePolicy;
     engine: EnginePolicy;
     runtime: RuntimePolicy;
+    prompt: PromptPolicy;
     backend: BackendPolicy;
     evolution: EvolutionPolicy;
-    memory_injection: MemoryInjectionPolicy;
-    memory_writeback: MemoryWritebackPolicy;
     checkpoint: CheckpointPolicy;
+    state_file: StateFilePolicy;
+    evidence: EvidencePolicy;
+    mcp: McpPolicy;
 }
 export declare const DEFAULT_POLICY: LoopPolicy;
+/** Write a full default `loop_policy.json` to the target directory.
+ *
+ *  The written file contains every configurable key and its default value
+ *  so users can discover and tune the system without reading source code.
+ *  Skip creation when the file already exists unless `force` is true.
+ *
+ * @returns The resolved file path and whether it was freshly created.
+ */
+export declare function writeDefaultPolicy(targetDir: string, force?: boolean): {
+    path: string;
+    created: boolean;
+};
 export declare function loadPolicy(path?: string): LoopPolicy;
 export declare function getPolicy(path?: string): LoopPolicy;
 export declare function resetPolicy(): void;
+export declare function validateLoopId(loopId: string): void;
+export declare function resolveStateDirectory(workspaceRoot: string, configuredDirectory: string): string;
+export declare function writeStateFile(loopId: string, content: string | undefined): void;
 //# sourceMappingURL=policy.d.ts.map

package/dist/policy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,MAAM,WAAW,iBAAiB;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,yBAAyB,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,YAAY;IAC3B,uBAAuB,EAAE,MAAM,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IAEnB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,oCAAoC,EAAE,MAAM,CAAC;IAC7C,wDAAwD;IACxD,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mEAAmE;IACnE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,+DAA+D;IAC/D,wBAAwB,EAAE,MAAM,CAAC;IACjC,mEAAmE;IACnE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,2BAA2B,EAAE,MAAM,CAAC;CACrC;AAED;;qCAEqC;AACrC,MAAM,WAAW,mBAAmB;IAClC,0DAA0D;IAC1D,UAAU,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,0CAA0C;IAC1C,OAAO,EAAE,OAAO,CAAC;IACjB,yDAAyD;IACzD,6BAA6B,EAAE,MAAM,CAAC;IACtC,mCAAmC;IACnC,gBAAgB,EAAE;QAChB,MAAM,EAAE;YAAE,OAAO,EAAE,SAAS,CAAA;SAAE,CAAC;QAC/B,MAAM,EAAE;YAAE,OAAO,EAAE,UAAU,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QACnD,MAAM,EAAE;YAAE,OAAO,EAAE,UAAU,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KACpD,CAAC;IACF;;2DAEuD;IACvD,WAAW,EAAE,mBAAmB,EAAE,CAAC;IACnC;iCAC6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sEAAsE;IACtE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;0BAG0B;AAC1B,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,mBAAmB,EAAE,GAC3B,MAAM,EAAE,CAMV;AAED,MAAM,WAAW,qBAAqB;IACpC,sDAAsD;IACtD,OAAO,EAAE,OAAO,CAAC;IACjB,wDAAwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,0DAA0D;IAC1D,0BAA0B,EAAE,MAAM,CAAC;IACnC,8CAA8C;IAC9C,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,qEAAqE;IACrE,uBAAuB,EAAE,MAAM,CAAC;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,iBAAiB,CAAC;IAC/B,OAAO,EAAE,aAAa,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,gBAAgB,EAAE,qBAAqB,CAAC;IACxC,gBAAgB,EAAE,qBAAqB,CAAC;IACxC,UAAU,EAAE,gBAAgB,CAAC;CAC9B;AAMD,eAAO,MAAM,cAAc,EAAE,UA+D5B,CAAC;AAmCF,wBAAgB,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAmBpD;AAQD,wBAAgB,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAKnD;AAED,wBAAgB,WAAW,IAAI,IAAI,CAElC"}
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAe7C,MAAM,WAAW,iBAAiB;IAChC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC3B,uBAAuB,EAAE,MAAM,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,kFAAkF;AAClF,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAChD,qBAAqB,EAAE,MAAM,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,oCAAoC,EAAE,MAAM,CAAC;IAC7C,sBAAsB,EAAE,MAAM,CAAC;IAC/B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,wBAAwB,EAAE,MAAM,CAAC;IACjC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,2BAA2B,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,MAAM,CAAC;IAChC,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,qBAAqB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IACxB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,+BAA+B,EAAE,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,iBAAiB,CAAC;IAC/B,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,aAAa,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,UAAU,EAAE,eAAe,CAAC;IAC5B,QAAQ,EAAE,cAAc,CAAC;IACzB,GAAG,EAAE,SAAS,CAAC;CAChB;AAED,eAAO,MAAM,cAAc,EAAE,UA0C5B,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,KAAK,UAAQ,GACZ;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAOpC;AAwBD,wBAAgB,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAapD;AAID,wBAAgB,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAGnD;AAED,wBAAgB,WAAW,IAAI,IAAI,CAElC;AAID,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAanD;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,GAC1B,MAAM,CA2BR;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAsBhF"}

package/dist/policy.js

@@ -1,53 +1,29 @@
-/** Policy — externalised loop behaviour configuration.
- *
- * All tunable parameters live here instead of as module-level constants.
- */
-import { readFileSync } from "node:fs";
-import { resolve } from "node:path";
-/** Resolve which injection phases are allowed for a given maxRounds.
- *  Uses the tiered strategy: finds the first tier where maxRounds ≤ tier.max_rounds,
- *  and returns its allowed_phases. If maxRounds exceeds all tiers, returns the
- *  last tier's phases. */
-export function resolveAllowedPhases(maxRounds, tiers) {
-    if (tiers.length === 0)
-        return [1]; // safety fallback
-    for (const tier of tiers) {
-        if (maxRounds <= tier.max_rounds)
-            return tier.allowed_phases;
-    }
-    return tiers[tiers.length - 1].allowed_phases;
-}
-// ═══════════════════════════════════════════════════════════════════════════
-// Default policy
-// ═══════════════════════════════════════════════════════════════════════════
+/** Externalized LoopForge runtime policy. */
+import { randomUUID } from "node:crypto";
+import { existsSync, lstatSync, mkdirSync, readFileSync, realpathSync, renameSync, rmSync, writeFileSync, } from "node:fs";
+import { isAbsolute, relative, resolve, sep } from "node:path";
 export const DEFAULT_POLICY = {
-    version: "1",
-    constraints: {
-        retire_window: 3,
-        max_active: 12,
-    },
-    summary: {
-        window: 5,
-        health_check_interval: 1,
-    },
-    technique: {
-        tier2_escalation_failures: 3,
-    },
-    engine: {
-        feedback_flush_interval: 5,
-        max_circuit_breaker: 3,
-    },
+    version: "2",
+    constraints: { retire_window: 3 },
+    summary: { window: 5, health_check_interval: 1 },
+    engine: { feedback_flush_interval: 5, max_circuit_breaker: 3 },
     runtime: {
         max_rounds: 20,
         round_timeout_ms: 600_000,
         heartbeat_interval_ms: 30_000,
         stall_grace_ms: 300_000,
         max_consecutive_errors: 3,
+        pause_double_tap_ms: 3000,
     },
-    backend: {
-        vault_path: ".promptcraft/prompt_vault.json",
-        global_vault_path: "~/.promptcraft/global_vault.json",
+    prompt: {
+        injection_mode: "adaptive",
+        full_refresh_interval: 5,
+        l0_max_chars: 3000,
+        l1_max_chars: 7000,
+        l2_max_chars: 18000,
+        base_prompt_version: "2.0.0",
     },
+    backend: { root_dir: ".loopforge" },
     evolution: {
         max_discovered_constraints_per_round: 5,
         max_active_constraints: 15,
@@ -56,84 +32,137 @@ export const DEFAULT_POLICY = {
         progress_stall_rounds: 2,
         progress_mismatch_threshold: 0.3,
     },
-    memory_injection: {
+    checkpoint: { max_carried_constraints: 10, outcome_max_chars: 200 },
+    state_file: {
         enabled: true,
-        min_rounds_between_injections: 1,
-        phase_thresholds: {
-            phase1: { trigger: "round_1" },
-            phase2: { trigger: "progress", threshold: 0.40 },
-            phase3: { trigger: "progress", threshold: 0.70 },
-        },
-        round_tiers: [
-            { max_rounds: 10, allowed_phases: [1] },
-            { max_rounds: 20, allowed_phases: [1, 3] },
-            { max_rounds: 30, allowed_phases: [1, 2, 3] },
-        ],
-        dedup_threshold: 0.6,
-        max_context_length: 2000,
-        section_title: "### Background Context (Long-Term Memory)",
+        directory: ".loopforge/state",
+        max_checkpoints: 5,
+        max_summary_rounds: 5,
     },
-    memory_writeback: {
-        enabled: true,
-        max_feedback_entries: 5,
-        max_discoveries_in_project: 3,
-        write_on_outcomes: ["completed", "circuit_breaker", "max_rounds"],
-    },
-    checkpoint: {
-        max_carried_constraints: 10,
-        outcome_max_chars: 200,
+    evidence: { providers: ["git"], timeout_ms: 120_000, commands: [] },
+    mcp: {
+        session_lease_ms: 30_000,
+        session_lease_renew_interval_ms: 10_000,
     },
 };
-// ═══════════════════════════════════════════════════════════════════════════
-// Deep merge — custom values override defaults, unset fields retain defaults
-// ═══════════════════════════════════════════════════════════════════════════
+/** Write a full default `loop_policy.json` to the target directory.
+ *
+ *  The written file contains every configurable key and its default value
+ *  so users can discover and tune the system without reading source code.
+ *  Skip creation when the file already exists unless `force` is true.
+ *
+ * @returns The resolved file path and whether it was freshly created.
+ */
+export function writeDefaultPolicy(targetDir, force = false) {
+    const target = resolve(targetDir, "loop_policy.json");
+    if (existsSync(target) && !force) {
+        return { path: target, created: false };
+    }
+    writeFileSync(target, JSON.stringify(DEFAULT_POLICY, null, 2) + "\n", "utf8");
+    return { path: target, created: true };
+}
 function deepMerge(defaults, overrides) {
     const result = { ...defaults };
     for (const key of Object.keys(overrides)) {
-        if (key in result &&
-            typeof result[key] === "object" &&
-            !Array.isArray(result[key]) &&
-            typeof overrides[key] === "object" &&
-            !Array.isArray(overrides[key]) &&
-            overrides[key] !== null) {
-            result[key] = deepMerge(result[key], overrides[key]);
+        const current = result[key];
+        const incoming = overrides[key];
+        if (key in result && current !== null && incoming !== null &&
+            typeof current === "object" && !Array.isArray(current) &&
+            typeof incoming === "object" && !Array.isArray(incoming)) {
+            result[key] = deepMerge(current, incoming);
         }
-        else {
-            result[key] = overrides[key];
+        else if (key in result) {
+            // Unknown legacy keys are deliberately ignored at the 2.0 boundary.
+            result[key] = incoming;
         }
     }
     return result;
 }
-// ═══════════════════════════════════════════════════════════════════════════
-// Loader
-// ═══════════════════════════════════════════════════════════════════════════
 export function loadPolicy(path) {
     const candidates = [path, "loop_policy.json"].filter(Boolean);
     for (const candidate of candidates) {
         try {
-            const resolved = resolve(candidate);
-            const raw = JSON.parse(readFileSync(resolved, "utf-8"));
+            const raw = JSON.parse(readFileSync(resolve(candidate), "utf8"));
             if (raw && typeof raw === "object" && !Array.isArray(raw)) {
                 return deepMerge(DEFAULT_POLICY, raw);
             }
         }
         catch {
-            // File not found or invalid — try next candidate
+            // Try the next candidate.
         }
     }
-    return { ...DEFAULT_POLICY };
+    return structuredClone(DEFAULT_POLICY);
 }
-// ═══════════════════════════════════════════════════════════════════════════
-// Module-level singleton — loaded once per session
-// ═══════════════════════════════════════════════════════════════════════════
-let _policy = null;
+let policy = null;
 export function getPolicy(path) {
-    if (_policy === null) {
-        _policy = loadPolicy(path);
-    }
-    return _policy;
+    policy ??= loadPolicy(path);
+    return policy;
 }
 export function resetPolicy() {
-    _policy = null;
+    policy = null;
+}
+const LOOP_ID_RE = /^[a-zA-Z0-9][-a-zA-Z0-9_:.]{0,127}$/;
+export function validateLoopId(loopId) {
+    if (typeof loopId !== "string" || !loopId) {
+        throw new Error("Invalid loopId: must be a non-empty string");
+    }
+    if (loopId.includes(".."))
+        throw new Error('Invalid loopId: ".." is not allowed');
+    if (loopId.includes("/") || loopId.includes("\\")) {
+        throw new Error("Invalid loopId: path separators are not allowed");
+    }
+    if (!LOOP_ID_RE.test(loopId)) {
+        throw new Error("Invalid loopId: use at most 128 alphanumeric, hyphen, underscore, colon, or dot characters");
+    }
+}
+export function resolveStateDirectory(workspaceRoot, configuredDirectory) {
+    const lexicalRoot = resolve(workspaceRoot);
+    const lexicalTarget = resolve(lexicalRoot, configuredDirectory);
+    const lexicalRelative = relative(lexicalRoot, lexicalTarget);
+    if (lexicalRelative === ".." || lexicalRelative.startsWith(`..${sep}`) ||
+        isAbsolute(lexicalRelative)) {
+        throw new Error("State file directory must stay within the workspace");
+    }
+    const realRoot = realpathSync(lexicalRoot);
+    let ancestor = lexicalTarget;
+    while (!existsSync(ancestor)) {
+        const parent = resolve(ancestor, "..");
+        if (parent === ancestor)
+            break;
+        ancestor = parent;
+    }
+    const projected = resolve(realpathSync(ancestor), relative(ancestor, lexicalTarget));
+    const realRelative = relative(realRoot, projected);
+    if (realRelative === ".." || realRelative.startsWith(`..${sep}`) ||
+        isAbsolute(realRelative)) {
+        throw new Error("State file directory resolves outside the workspace");
+    }
+    return lexicalTarget;
+}
+export function writeStateFile(loopId, content) {
+    if (!content)
+        return;
+    validateLoopId(loopId);
+    const config = getPolicy().state_file;
+    if (!config.enabled)
+        return;
+    const directory = resolveStateDirectory(process.cwd(), config.directory);
+    mkdirSync(directory, { recursive: true });
+    const verifiedDirectory = resolveStateDirectory(process.cwd(), config.directory);
+    const target = resolve(verifiedDirectory, `${loopId}-state.md`);
+    if (existsSync(target) && lstatSync(target).isSymbolicLink()) {
+        throw new Error("State file target must not be a symbolic link");
+    }
+    const temporary = resolve(verifiedDirectory, `.${loopId}-state.${process.pid}.${randomUUID()}.tmp`);
+    try {
+        writeFileSync(temporary, content, "utf8");
+        renameSync(temporary, target);
+    }
+    finally {
+        try {
+            rmSync(temporary, { force: true });
+        }
+        catch { /* best effort */ }
+    }
 }
 //# sourceMappingURL=policy.js.map

package/dist/policy.js.map

@@ -1 +1 @@
-{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAyFpC;;;0BAG0B;AAC1B,MAAM,UAAU,oBAAoB,CAClC,SAAiB,EACjB,KAA4B;IAE5B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;AAChD,CAAC;AAkCD,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAe;IACxC,OAAO,EAAE,GAAG;IACZ,WAAW,EAAE;QACX,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,EAAE;KACf;IACD,OAAO,EAAE;QACP,MAAM,EAAE,CAAC;QACT,qBAAqB,EAAE,CAAC;KACzB;IACD,SAAS,EAAE;QACT,yBAAyB,EAAE,CAAC;KAC7B;IACD,MAAM,EAAE;QACN,uBAAuB,EAAE,CAAC;QAC1B,mBAAmB,EAAE,CAAC;KACvB;IACD,OAAO,EAAE;QACP,UAAU,EAAE,EAAE;QACd,gBAAgB,EAAE,OAAO;QACzB,qBAAqB,EAAE,MAAM;QAC7B,cAAc,EAAE,OAAO;QACvB,sBAAsB,EAAE,CAAC;KAC1B;IACD,OAAO,EAAE;QACP,UAAU,EAAE,gCAAgC;QAC5C,iBAAiB,EAAE,kCAAkC;KACtD;IACD,SAAS,EAAE;QACT,oCAAoC,EAAE,CAAC;QACvC,sBAAsB,EAAE,EAAE;QAC1B,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,IAAI;QAC9B,qBAAqB,EAAE,CAAC;QACxB,2BAA2B,EAAE,GAAG;KACjC;IACD,gBAAgB,EAAE;QAChB,OAAO,EAAE,IAAI;QACb,6BAA6B,EAAE,CAAC;QAChC,gBAAgB,EAAE;YAChB,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;YAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE;YAChD,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE;SACjD;QACD,WAAW,EAAE;YACX,EAAE,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE;YACvC,EAAE,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC1C,EAAE,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SAC9C;QACD,eAAe,EAAE,GAAG;QACpB,kBAAkB,EAAE,IAAI;QACxB,aAAa,EAAE,2CAA2C;KAC3D;IACD,gBAAgB,EAAE;QAChB,OAAO,EAAE,IAAI;QACb,oBAAoB,EAAE,CAAC;QACvB,0BAA0B,EAAE,CAAC;QAC7B,iBAAiB,EAAE,CAAC,WAAW,EAAE,iBAAiB,EAAE,YAAY,CAAC;KAClE;IACD,UAAU,EAAE;QACV,uBAAuB,EAAE,EAAE;QAC3B,iBAAiB,EAAE,GAAG;KACvB;CACF,CAAC;AAEF,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAE9E,SAAS,SAAS,CAChB,QAAW,EACX,SAAkC;IAElC,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAA6B,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IACE,GAAG,IAAI,MAAM;YACb,OAAQ,MAAkC,CAAC,GAAG,CAAC,KAAK,QAAQ;YAC5D,CAAC,KAAK,CAAC,OAAO,CAAE,MAAkC,CAAC,GAAG,CAAC,CAAC;YACxD,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,QAAQ;YAClC,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC9B,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,EACvB,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CACpB,MAAkC,CAAC,GAAG,CAA4B,EACnE,SAAS,CAAC,GAAG,CAA4B,CAC1C,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,MAAsB,CAAC;AAChC,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;IAE1E,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;YACpC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACxD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1D,OAAO,SAAS,CACd,cAAoD,EACpD,GAA8B,CACN,CAAC;YAC7B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,iDAAiD;QACnD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,mDAAmD;AACnD,8EAA8E;AAE9E,IAAI,OAAO,GAAsB,IAAI,CAAC;AAEtC,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,GAAG,IAAI,CAAC;AACjB,CAAC"}
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,UAAU,EACV,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,MAAM,EACN,aAAa,GACd,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAqG/D,MAAM,CAAC,MAAM,cAAc,GAAe;IACxC,OAAO,EAAE,GAAG;IACZ,WAAW,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;IACjC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE;IAChD,MAAM,EAAE,EAAE,uBAAuB,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE;IAC9D,OAAO,EAAE;QACP,UAAU,EAAE,EAAE;QACd,gBAAgB,EAAE,OAAO;QACzB,qBAAqB,EAAE,MAAM;QAC7B,cAAc,EAAE,OAAO;QACvB,sBAAsB,EAAE,CAAC;QACzB,mBAAmB,EAAE,IAAI;KAC1B;IACD,MAAM,EAAE;QACN,cAAc,EAAE,UAAU;QAC1B,qBAAqB,EAAE,CAAC;QACxB,YAAY,EAAE,IAAI;QAClB,YAAY,EAAE,IAAI;QAClB,YAAY,EAAE,KAAK;QACnB,mBAAmB,EAAE,OAAO;KAC7B;IACD,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;IACnC,SAAS,EAAE;QACT,oCAAoC,EAAE,CAAC;QACvC,sBAAsB,EAAE,EAAE;QAC1B,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,IAAI;QAC9B,qBAAqB,EAAE,CAAC;QACxB,2BAA2B,EAAE,GAAG;KACjC;IACD,UAAU,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE;IACnE,UAAU,EAAE;QACV,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,kBAAkB;QAC7B,eAAe,EAAE,CAAC;QAClB,kBAAkB,EAAE,CAAC;KACtB;IACD,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE;IACnE,GAAG,EAAE;QACH,gBAAgB,EAAE,MAAM;QACxB,+BAA+B,EAAE,MAAM;KACxC;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,KAAK,GAAG,KAAK;IAEb,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IACtD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,SAAS,CAAI,QAAW,EAAE,SAAkC;IACnE,MAAM,MAAM,GAAG,EAAE,GAAG,QAAQ,EAA6B,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAChC,IACE,GAAG,IAAI,MAAM,IAAI,OAAO,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;YACtD,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YACtD,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EACxD,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CACrB,OAAkC,EAClC,QAAmC,CACpC,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,oEAAoE;YACpE,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,MAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;IAC1E,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1D,OAAO,SAAS,CAAC,cAAc,EAAE,GAA8B,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,0BAA0B;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC,cAAc,CAAC,CAAC;AACzC,CAAC;AAED,IAAI,MAAM,GAAsB,IAAI,CAAC;AAErC,MAAM,UAAU,SAAS,CAAC,IAAa;IACrC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,MAAM,GAAG,IAAI,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,GAAG,qCAAqC,CAAC;AAEzD,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,4FAA4F,CAC7F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,aAAqB,EACrB,mBAA2B;IAE3B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC7D,IACE,eAAe,KAAK,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAClE,UAAU,CAAC,eAAe,CAAC,EAC3B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAG,aAAa,CAAC;IAC7B,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,QAAQ;YAAE,MAAM;QAC/B,QAAQ,GAAG,MAAM,CAAC;IACpB,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnD,IACE,YAAY,KAAK,IAAI,IAAI,YAAY,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAC5D,UAAU,CAAC,YAAY,CAAC,EACxB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAA2B;IACxE,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,cAAc,CAAC,MAAM,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,UAAU,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO;IAC5B,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACzE,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC;IAChE,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CACvB,iBAAiB,EACjB,IAAI,MAAM,UAAU,OAAO,CAAC,GAAG,IAAI,UAAU,EAAE,MAAM,CACtD,CAAC;IACF,IAAI,CAAC;QACH,aAAa,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YAAC,MAAM,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;IACzE,CAAC;AACH,CAAC"}