bonecode 1.0.0 → 1.2.0

package/bone/output/workspace/src/extensions.ts

@@ -1,44 +1,44 @@
-// Generated by BoneScript compiler.
-// Extension points: implement the functions below.
-// Code between sentinel comments is preserved on recompile.
-// DO NOT remove the sentinel comments.
-
-/**
- * Extension point: git_snapshot
- * STABLE: implementation required.
- */
-export function git_snapshot(workspace_id: uuid, session_id: uuid): string {
-  // <bonescript:ext:git_snapshot:begin>
-  throw new Error("Not implemented: git_snapshot");
-  // <bonescript:ext:git_snapshot:end>
-}
-
-/**
- * Extension point: git_revert
- * STABLE: implementation required.
- */
-export function git_revert(workspace_id: uuid, git_hash: string): json {
-  // <bonescript:ext:git_revert:begin>
-  throw new Error("Not implemented: git_revert");
-  // <bonescript:ext:git_revert:end>
-}
-
-/**
- * Extension point: git_diff
- * STABLE: implementation required.
- */
-export function git_diff(workspace_id: uuid, from_hash: string): string {
-  // <bonescript:ext:git_diff:begin>
-  throw new Error("Not implemented: git_diff");
-  // <bonescript:ext:git_diff:end>
-}
-
-/**
- * Extension point: analyze_project_structure
- * Optional.
- */
-export function analyze_project_structure(root_path: string): json {
-  // <bonescript:ext:analyze_project_structure:begin>
-  throw new Error("Not implemented: analyze_project_structure");
-  // <bonescript:ext:analyze_project_structure:end>
-}
+// Generated by BoneScript compiler.
+// Extension points: implement the functions below.
+// Code between sentinel comments is preserved on recompile.
+// DO NOT remove the sentinel comments.
+
+/**
+ * Extension point: git_snapshot
+ * STABLE: implementation required.
+ */
+export function git_snapshot(workspace_id: uuid, session_id: uuid): string {
+  // <bonescript:ext:git_snapshot:begin>
+  throw new Error("Not implemented: git_snapshot");
+  // <bonescript:ext:git_snapshot:end>
+}
+
+/**
+ * Extension point: git_revert
+ * STABLE: implementation required.
+ */
+export function git_revert(workspace_id: uuid, git_hash: string): json {
+  // <bonescript:ext:git_revert:begin>
+  throw new Error("Not implemented: git_revert");
+  // <bonescript:ext:git_revert:end>
+}
+
+/**
+ * Extension point: git_diff
+ * STABLE: implementation required.
+ */
+export function git_diff(workspace_id: uuid, from_hash: string): string {
+  // <bonescript:ext:git_diff:begin>
+  throw new Error("Not implemented: git_diff");
+  // <bonescript:ext:git_diff:end>
+}
+
+/**
+ * Extension point: analyze_project_structure
+ * Optional.
+ */
+export function analyze_project_structure(root_path: string): json {
+  // <bonescript:ext:analyze_project_structure:begin>
+  throw new Error("Not implemented: analyze_project_structure");
+  // <bonescript:ext:analyze_project_structure:end>
+}

package/bone/output/workspace/src/failure_rules.ts

@@ -1,153 +1,153 @@
-// Generated by BoneScript compiler. DO NOT EDIT.
-// Implements spec/10 §6 (Failure Rules)
-//
-// Each rule has: condition, detection, remediation, escalation.
-// Rules are derived from the program's constraints, state machines,
-// dependencies, events, and flows. All rule-based — no ML.
-
-import { logger } from "./logger";
-import { counter, gauge } from "./metrics";
-
-export interface FailureRule {
-  id: string;
-  condition: string;
-  detection: string;
-  remediation: () => Promise<void>;
-  rollback: boolean;
-}
-
-export const RULES: FailureRule[] = [
-  {
-    id: "invalid_transition_Workspace",
-    condition: "Attempted state transition not in declared machine",
-    detection: "Log with error_code=INVALID_TRANSITION",
-    remediation: async () => {
-      counter("constraint.violated", { entity: "Workspace", kind: "invalid_transition" });
-      logger.warn("invalid_transition_blocked", { entity_id: "Workspace", error_code: "INVALID_TRANSITION" });
-    },
-    rollback: false,
-  },
-  {
-    id: "invalid_transition_Codebase",
-    condition: "Attempted state transition not in declared machine",
-    detection: "Log with error_code=INVALID_TRANSITION",
-    remediation: async () => {
-      counter("constraint.violated", { entity: "Codebase", kind: "invalid_transition" });
-      logger.warn("invalid_transition_blocked", { entity_id: "Codebase", error_code: "INVALID_TRANSITION" });
-    },
-    rollback: false,
-  },
-  {
-    id: "invalid_transition_Snapshot",
-    condition: "Attempted state transition not in declared machine",
-    detection: "Log with error_code=INVALID_TRANSITION",
-    remediation: async () => {
-      counter("constraint.violated", { entity: "Snapshot", kind: "invalid_transition" });
-      logger.warn("invalid_transition_blocked", { entity_id: "Snapshot", error_code: "INVALID_TRANSITION" });
-    },
-    rollback: false,
-  },
-  {
-    id: "dependency_failure_WorkspaceService_to_WorkspaceStore",
-    condition: "Dependency unreachable or returning errors",
-    detection: "Error rate > 50% in 30s window",
-    remediation: async () => {
-      counter("circuit_breaker.opened", { service: "WorkspaceService", target: "WorkspaceStore" });
-      gauge("circuit_breaker.open", 1, { service: "WorkspaceService", target: "WorkspaceStore" });
-      logger.error("circuit_breaker_open", { service: "WorkspaceService" });
-    },
-    rollback: false,
-  },
-  {
-    id: "dependency_failure_CodebaseService_to_CodebaseStore",
-    condition: "Dependency unreachable or returning errors",
-    detection: "Error rate > 50% in 30s window",
-    remediation: async () => {
-      counter("circuit_breaker.opened", { service: "CodebaseService", target: "CodebaseStore" });
-      gauge("circuit_breaker.open", 1, { service: "CodebaseService", target: "CodebaseStore" });
-      logger.error("circuit_breaker_open", { service: "CodebaseService" });
-    },
-    rollback: false,
-  },
-  {
-    id: "dependency_failure_SnapshotService_to_SnapshotStore",
-    condition: "Dependency unreachable or returning errors",
-    detection: "Error rate > 50% in 30s window",
-    remediation: async () => {
-      counter("circuit_breaker.opened", { service: "SnapshotService", target: "SnapshotStore" });
-      gauge("circuit_breaker.open", 1, { service: "SnapshotService", target: "SnapshotStore" });
-      logger.error("circuit_breaker_open", { service: "SnapshotService" });
-    },
-    rollback: false,
-  },
-  {
-    id: "dependency_failure_APIGateway_to_WorkspaceService",
-    condition: "Dependency unreachable or returning errors",
-    detection: "Error rate > 50% in 30s window",
-    remediation: async () => {
-      counter("circuit_breaker.opened", { service: "APIGateway", target: "WorkspaceService" });
-      gauge("circuit_breaker.open", 1, { service: "APIGateway", target: "WorkspaceService" });
-      logger.error("circuit_breaker_open", { service: "APIGateway" });
-    },
-    rollback: false,
-  },
-  {
-    id: "dependency_failure_APIGateway_to_CodebaseService",
-    condition: "Dependency unreachable or returning errors",
-    detection: "Error rate > 50% in 30s window",
-    remediation: async () => {
-      counter("circuit_breaker.opened", { service: "APIGateway", target: "CodebaseService" });
-      gauge("circuit_breaker.open", 1, { service: "APIGateway", target: "CodebaseService" });
-      logger.error("circuit_breaker_open", { service: "APIGateway" });
-    },
-    rollback: false,
-  },
-  {
-    id: "dependency_failure_APIGateway_to_SnapshotService",
-    condition: "Dependency unreachable or returning errors",
-    detection: "Error rate > 50% in 30s window",
-    remediation: async () => {
-      counter("circuit_breaker.opened", { service: "APIGateway", target: "SnapshotService" });
-      gauge("circuit_breaker.open", 1, { service: "APIGateway", target: "SnapshotService" });
-      logger.error("circuit_breaker_open", { service: "APIGateway" });
-    },
-    rollback: false,
-  },
-  {
-    id: "event_delivery_failure_WorkspaceInitialized",
-    condition: "Event not acknowledged within TTL",
-    detection: "Event age > 2592000000 ms",
-    remediation: async () => {
-      counter("event.delivery_failed", { event: "WorkspaceInitialized" });
-      logger.error("event_delivery_failed", { event: "WorkspaceInitialized", error_code: "DELIVERY_TIMEOUT" });
-    },
-    rollback: false,
-  },
-  {
-    id: "event_delivery_failure_SnapshotCreated",
-    condition: "Event not acknowledged within TTL",
-    detection: "Event age > 7776000000 ms",
-    remediation: async () => {
-      counter("event.delivery_failed", { event: "SnapshotCreated" });
-      logger.error("event_delivery_failed", { event: "SnapshotCreated", error_code: "DELIVERY_TIMEOUT" });
-    },
-    rollback: true,
-  },
-];
-
-export function findRule(id: string): FailureRule | undefined {
-  return RULES.find(r => r.id === id);
-}
-
-export async function triggerRule(id: string): Promise<void> {
-  const rule = findRule(id);
-  if (!rule) {
-    logger.warn("unknown_rule_triggered", { event: "rule_lookup", error_code: "UNKNOWN_RULE", metadata: { id } });
-    return;
-  }
-  try {
-    await rule.remediation();
-  } catch (e: any) {
-    logger.error("remediation_failed", { event: id, error_code: "REMEDIATION_FAILED", metadata: { error: e.message } });
-  }
+// Generated by BoneScript compiler. DO NOT EDIT.
+// Implements spec/10 §6 (Failure Rules)
+//
+// Each rule has: condition, detection, remediation, escalation.
+// Rules are derived from the program's constraints, state machines,
+// dependencies, events, and flows. All rule-based — no ML.
+
+import { logger } from "./logger";
+import { counter, gauge } from "./metrics";
+
+export interface FailureRule {
+  id: string;
+  condition: string;
+  detection: string;
+  remediation: () => Promise<void>;
+  rollback: boolean;
+}
+
+export const RULES: FailureRule[] = [
+  {
+    id: "invalid_transition_Workspace",
+    condition: "Attempted state transition not in declared machine",
+    detection: "Log with error_code=INVALID_TRANSITION",
+    remediation: async () => {
+      counter("constraint.violated", { entity: "Workspace", kind: "invalid_transition" });
+      logger.warn("invalid_transition_blocked", { entity_id: "Workspace", error_code: "INVALID_TRANSITION" });
+    },
+    rollback: false,
+  },
+  {
+    id: "invalid_transition_Codebase",
+    condition: "Attempted state transition not in declared machine",
+    detection: "Log with error_code=INVALID_TRANSITION",
+    remediation: async () => {
+      counter("constraint.violated", { entity: "Codebase", kind: "invalid_transition" });
+      logger.warn("invalid_transition_blocked", { entity_id: "Codebase", error_code: "INVALID_TRANSITION" });
+    },
+    rollback: false,
+  },
+  {
+    id: "invalid_transition_Snapshot",
+    condition: "Attempted state transition not in declared machine",
+    detection: "Log with error_code=INVALID_TRANSITION",
+    remediation: async () => {
+      counter("constraint.violated", { entity: "Snapshot", kind: "invalid_transition" });
+      logger.warn("invalid_transition_blocked", { entity_id: "Snapshot", error_code: "INVALID_TRANSITION" });
+    },
+    rollback: false,
+  },
+  {
+    id: "dependency_failure_WorkspaceService_to_WorkspaceStore",
+    condition: "Dependency unreachable or returning errors",
+    detection: "Error rate > 50% in 30s window",
+    remediation: async () => {
+      counter("circuit_breaker.opened", { service: "WorkspaceService", target: "WorkspaceStore" });
+      gauge("circuit_breaker.open", 1, { service: "WorkspaceService", target: "WorkspaceStore" });
+      logger.error("circuit_breaker_open", { service: "WorkspaceService" });
+    },
+    rollback: false,
+  },
+  {
+    id: "dependency_failure_CodebaseService_to_CodebaseStore",
+    condition: "Dependency unreachable or returning errors",
+    detection: "Error rate > 50% in 30s window",
+    remediation: async () => {
+      counter("circuit_breaker.opened", { service: "CodebaseService", target: "CodebaseStore" });
+      gauge("circuit_breaker.open", 1, { service: "CodebaseService", target: "CodebaseStore" });
+      logger.error("circuit_breaker_open", { service: "CodebaseService" });
+    },
+    rollback: false,
+  },
+  {
+    id: "dependency_failure_SnapshotService_to_SnapshotStore",
+    condition: "Dependency unreachable or returning errors",
+    detection: "Error rate > 50% in 30s window",
+    remediation: async () => {
+      counter("circuit_breaker.opened", { service: "SnapshotService", target: "SnapshotStore" });
+      gauge("circuit_breaker.open", 1, { service: "SnapshotService", target: "SnapshotStore" });
+      logger.error("circuit_breaker_open", { service: "SnapshotService" });
+    },
+    rollback: false,
+  },
+  {
+    id: "dependency_failure_APIGateway_to_WorkspaceService",
+    condition: "Dependency unreachable or returning errors",
+    detection: "Error rate > 50% in 30s window",
+    remediation: async () => {
+      counter("circuit_breaker.opened", { service: "APIGateway", target: "WorkspaceService" });
+      gauge("circuit_breaker.open", 1, { service: "APIGateway", target: "WorkspaceService" });
+      logger.error("circuit_breaker_open", { service: "APIGateway" });
+    },
+    rollback: false,
+  },
+  {
+    id: "dependency_failure_APIGateway_to_CodebaseService",
+    condition: "Dependency unreachable or returning errors",
+    detection: "Error rate > 50% in 30s window",
+    remediation: async () => {
+      counter("circuit_breaker.opened", { service: "APIGateway", target: "CodebaseService" });
+      gauge("circuit_breaker.open", 1, { service: "APIGateway", target: "CodebaseService" });
+      logger.error("circuit_breaker_open", { service: "APIGateway" });
+    },
+    rollback: false,
+  },
+  {
+    id: "dependency_failure_APIGateway_to_SnapshotService",
+    condition: "Dependency unreachable or returning errors",
+    detection: "Error rate > 50% in 30s window",
+    remediation: async () => {
+      counter("circuit_breaker.opened", { service: "APIGateway", target: "SnapshotService" });
+      gauge("circuit_breaker.open", 1, { service: "APIGateway", target: "SnapshotService" });
+      logger.error("circuit_breaker_open", { service: "APIGateway" });
+    },
+    rollback: false,
+  },
+  {
+    id: "event_delivery_failure_WorkspaceInitialized",
+    condition: "Event not acknowledged within TTL",
+    detection: "Event age > 2592000000 ms",
+    remediation: async () => {
+      counter("event.delivery_failed", { event: "WorkspaceInitialized" });
+      logger.error("event_delivery_failed", { event: "WorkspaceInitialized", error_code: "DELIVERY_TIMEOUT" });
+    },
+    rollback: false,
+  },
+  {
+    id: "event_delivery_failure_SnapshotCreated",
+    condition: "Event not acknowledged within TTL",
+    detection: "Event age > 7776000000 ms",
+    remediation: async () => {
+      counter("event.delivery_failed", { event: "SnapshotCreated" });
+      logger.error("event_delivery_failed", { event: "SnapshotCreated", error_code: "DELIVERY_TIMEOUT" });
+    },
+    rollback: true,
+  },
+];
+
+export function findRule(id: string): FailureRule | undefined {
+  return RULES.find(r => r.id === id);
+}
+
+export async function triggerRule(id: string): Promise<void> {
+  const rule = findRule(id);
+  if (!rule) {
+    logger.warn("unknown_rule_triggered", { event: "rule_lookup", error_code: "UNKNOWN_RULE", metadata: { id } });
+    return;
+  }
+  try {
+    await rule.remediation();
+  } catch (e: any) {
+    logger.error("remediation_failed", { event: id, error_code: "REMEDIATION_FAILED", metadata: { error: e.message } });
+  }
 }

package/bone/output/workspace/src/health.ts

@@ -1,43 +1,43 @@
-// Generated by BoneScript compiler. DO NOT EDIT.
-// Implements spec/10 §5 (Health Checks)
-
-import { Router, Request, Response } from "express";
-import { pool } from "./db";
-import { dump as dumpMetrics } from "./metrics";
-
-export const healthRouter = Router();
-
-// Liveness — is the process running?
-healthRouter.get("/live", (_req: Request, res: Response) => {
-  res.json({ status: "ok", timestamp: new Date().toISOString() });
-});
-
-// Readiness — can the service accept requests?
-healthRouter.get("/ready", async (_req: Request, res: Response) => {
-  const checks: Record<string, { ok: boolean; message?: string }> = {};
-
-  // Postgres
-  try {
-    await pool.query("SELECT 1");
-    checks.postgres = { ok: true };
-  } catch (e: any) {
-    checks.postgres = { ok: false, message: e.message };
-  }
-
-  const allOk = Object.values(checks).every(c => c.ok);
-  res.status(allOk ? 200 : 503).json({
-    status: allOk ? "ok" : "degraded",
-    checks,
-    timestamp: new Date().toISOString(),
-  });
-});
-
-// Startup — has initialization completed?
-healthRouter.get("/startup", (_req: Request, res: Response) => {
-  res.json({ status: "ok", uptime: process.uptime() });
-});
-
-// Prometheus-style metrics
-healthRouter.get("/metrics", (_req: Request, res: Response) => {
-  res.type("text/plain").send(dumpMetrics());
-});
+// Generated by BoneScript compiler. DO NOT EDIT.
+// Implements spec/10 §5 (Health Checks)
+
+import { Router, Request, Response } from "express";
+import { pool } from "./db";
+import { dump as dumpMetrics } from "./metrics";
+
+export const healthRouter = Router();
+
+// Liveness — is the process running?
+healthRouter.get("/live", (_req: Request, res: Response) => {
+  res.json({ status: "ok", timestamp: new Date().toISOString() });
+});
+
+// Readiness — can the service accept requests?
+healthRouter.get("/ready", async (_req: Request, res: Response) => {
+  const checks: Record<string, { ok: boolean; message?: string }> = {};
+
+  // Postgres
+  try {
+    await pool.query("SELECT 1");
+    checks.postgres = { ok: true };
+  } catch (e: any) {
+    checks.postgres = { ok: false, message: e.message };
+  }
+
+  const allOk = Object.values(checks).every(c => c.ok);
+  res.status(allOk ? 200 : 503).json({
+    status: allOk ? "ok" : "degraded",
+    checks,
+    timestamp: new Date().toISOString(),
+  });
+});
+
+// Startup — has initialization completed?
+healthRouter.get("/startup", (_req: Request, res: Response) => {
+  res.json({ status: "ok", uptime: process.uptime() });
+});
+
+// Prometheus-style metrics
+healthRouter.get("/metrics", (_req: Request, res: Response) => {
+  res.type("text/plain").send(dumpMetrics());
+});