jfl 0.8.0 → 0.9.0

package/dist/lib/setup/spec-generator.d.ts

@@ -1,7 +1,11 @@
 /**
  * @purpose Generate TLA+ specifications from project analysis
- * Scans codebase structure, journal entries, and service configs
- * to produce a formal model that TLC/Apalache can verify.
+ *
+ * Phase 1 (original): Agent orchestration model — scheduling, locks, hub
+ * Phase 2 (v2): Planning loop model — PH → DM → IM → Execute
+ *
+ * Scans codebase structure, journal entries, agent configs, and invariant
+ * monitor rules to produce a formal model that TLC/Apalache can verify.
  */
 export interface SystemModel {
     services: ServiceDef[];
@@ -9,6 +13,7 @@ export interface SystemModel {
     actions: ActionDef[];
     invariants: InvariantDef[];
     concurrencyPatterns: ConcurrencyPattern[];
+    planningLoop: PlanningLoopModel | null;
 }
 export interface ServiceDef {
     name: string;
@@ -41,23 +46,54 @@ export interface ConcurrencyPattern {
     actors: string[];
     resource: string;
 }
+/** v2: Planning loop formal model */
+export interface PlanningLoopModel {
+    tools: string[];
+    agents: string[];
+    invariantGates: InvariantGate[];
+    authorityLevels: AuthorityLevel[];
+}
+export interface InvariantGate {
+    name: string;
+    condition: string;
+    action: "VETO" | "THROTTLE" | "WARN";
+    tlaFormula: string;
+    source: string;
+}
+export interface AuthorityLevel {
+    agent: string;
+    level: number;
+    capability: string;
+}
 /**
  * Scan project structure and journals to extract a system model
  */
 export declare function extractSystemModel(projectRoot: string): SystemModel;
 /**
- * Generate a TLA+ specification from a system model
+ * Generate the orchestration TLA+ specification (v1 — agent scheduling)
  */
 export declare function generateTLASpec(model: SystemModel, specName: string): string;
 /**
- * Generate TLC config file
+ * Generate the Planning Loop TLA+ specification (v2)
+ * Models: PH propose → DM simulate → IM check → Execute
+ */
+export declare function generatePlanningLoopSpec(model: SystemModel): string;
+/**
+ * Generate TLC config for PlanningLoop spec
+ */
+export declare function generatePlanningLoopConfig(model: SystemModel): string;
+/**
+ * Generate TLC config file for the orchestration spec
  */
 export declare function generateTLCConfig(model: SystemModel, specName: string): string;
 /**
- * Write spec and config to disk, return paths
+ * Write spec and config to disk, return paths.
+ * Now writes BOTH v1 (orchestration) and v2 (planning loop) specs.
  */
 export declare function writeSpec(projectRoot: string, model: SystemModel, specName?: string): {
     specPath: string;
     cfgPath: string;
+    planningSpecPath?: string;
+    planningCfgPath?: string;
 };
 //# sourceMappingURL=spec-generator.d.ts.map

package/dist/lib/setup/spec-generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spec-generator.d.ts","sourceRoot":"","sources":["../../../src/lib/setup/spec-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB,cAAc,EAAE,aAAa,EAAE,CAAA;IAC/B,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,UAAU,EAAE,YAAY,EAAE,CAAA;IAC1B,mBAAmB,EAAE,kBAAkB,EAAE,CAAA;CAC1C;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,YAAY,EAAE,MAAM,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,CAAA;IACzC,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,eAAe,GAAG,gBAAgB,GAAG,YAAY,GAAG,mBAAmB,CAAA;IAC7E,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,WAAW,CAoInE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA8H5E;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA2B9E;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,WAAW,EAClB,QAAQ,GAAE,MAAqB,GAC9B;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAcvC"}
+{"version":3,"file":"spec-generator.d.ts","sourceRoot":"","sources":["../../../src/lib/setup/spec-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB,cAAc,EAAE,aAAa,EAAE,CAAA;IAC/B,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,UAAU,EAAE,YAAY,EAAE,CAAA;IAC1B,mBAAmB,EAAE,kBAAkB,EAAE,CAAA;IACzC,YAAY,EAAE,iBAAiB,GAAG,IAAI,CAAA;CACvC;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,YAAY,EAAE,MAAM,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,CAAA;IACzC,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,eAAe,GAAG,gBAAgB,GAAG,YAAY,GAAG,mBAAmB,CAAA;IAC7E,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,qCAAqC;AACrC,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,cAAc,EAAE,aAAa,EAAE,CAAA;IAC/B,eAAe,EAAE,cAAc,EAAE,CAAA;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAAA;IACpC,UAAU,EAAE,MAAM,CAAA;IAClB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;CACnB;AAuBD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,WAAW,CAqInE;AA4GD;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAgI5E;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAyRnE;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CA6BrE;AAMD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAiC9E;AAMD;;;GAGG;AACH,wBAAgB,SAAS,CACvB,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,WAAW,EAClB,QAAQ,GAAE,MAAqB,GAC9B;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,CAgC5F"}