@haaaiawd/second-nature 0.2.12 → 0.2.13

package/runtime/shared/setup-ack.js

@@ -0,0 +1,108 @@
+/**
+ * Setup Ack Truth Contract (T-ROS.R.8)
+ *
+ * Core logic: define the canonical SetupAck schema and a validator that rejects
+ * `placedIn: "unspecified"`, missing fields, unknown writers, and hand-written
+ * files that do not satisfy the schema.
+ *
+ * Design authority:
+ * - `.anws/v8/04_SYSTEM_DESIGN/runtime-ops-system.md §3.2`
+ *
+ * Dependencies: none (plain validation to keep plugin load lightweight)
+ * Boundary: Pure validation; no I/O.
+ * Test coverage: tests/unit/shared/setup-ack-validator.test.ts
+ */
+export const SETUP_ACK_SCHEMA_VERSION = 1;
+const VALID_PLACEMENTS = new Set([
+    "workspace_guide",
+    "host_skill_registry",
+    "agent_profile",
+    "manual_operator_instruction",
+]);
+const VALID_WRITERS = new Set([
+    "setup_ack_command",
+    "host_setup_bridge",
+]);
+export function validateSetupAck(raw) {
+    const errors = [];
+    if (raw.schemaVersion !== SETUP_ACK_SCHEMA_VERSION) {
+        errors.push({
+            ok: false,
+            field: "schemaVersion",
+            reason: `schemaVersion must be ${SETUP_ACK_SCHEMA_VERSION}`,
+            repairAction: "Re-run setup_ack with a current client that writes schemaVersion=1.",
+        });
+    }
+    const placedIn = typeof raw.placedIn === "string" ? raw.placedIn : undefined;
+    if (!placedIn || placedIn === "unspecified") {
+        errors.push({
+            ok: false,
+            field: "placedIn",
+            reason: "placedIn is missing or 'unspecified'",
+            repairAction: "Provide a concrete placement target such as 'workspace_guide' or 'host_skill_registry'.",
+        });
+    }
+    else if (!VALID_PLACEMENTS.has(placedIn)) {
+        errors.push({
+            ok: false,
+            field: "placedIn",
+            reason: `placedIn '${placedIn}' is not a recognized placement target`,
+            repairAction: `Use one of: ${Array.from(VALID_PLACEMENTS).join(", ")}.`,
+        });
+    }
+    const placementProofRef = typeof raw.placementProofRef === "string" ? raw.placementProofRef : undefined;
+    if (!placementProofRef || placementProofRef.trim().length === 0) {
+        errors.push({
+            ok: false,
+            field: "placementProofRef",
+            reason: "placementProofRef is missing or empty",
+            repairAction: "Provide a proof reference such as a host skill registry id, file path, or anchor URI.",
+        });
+    }
+    const writer = typeof raw.writer === "string" ? raw.writer : undefined;
+    if (!writer || !VALID_WRITERS.has(writer)) {
+        errors.push({
+            ok: false,
+            field: "writer",
+            reason: `writer '${writer ?? "missing"}' is not authorized`,
+            repairAction: `Writer must be one of: ${Array.from(VALID_WRITERS).join(", ")}.`,
+        });
+    }
+    const acknowledgedAt = typeof raw.acknowledgedAt === "string" ? raw.acknowledgedAt : undefined;
+    if (!acknowledgedAt || Number.isNaN(Date.parse(acknowledgedAt))) {
+        errors.push({
+            ok: false,
+            field: "acknowledgedAt",
+            reason: "acknowledgedAt is missing or not a valid ISO timestamp",
+            repairAction: "Re-run setup_ack so the client can write a fresh timestamp.",
+        });
+    }
+    if (errors.length > 0) {
+        return { ok: false, errors };
+    }
+    return {
+        ok: true,
+        ack: {
+            schemaVersion: SETUP_ACK_SCHEMA_VERSION,
+            acknowledgedAt: acknowledgedAt,
+            placedIn: placedIn,
+            placementProofRef: placementProofRef,
+            writer: writer,
+            hostName: typeof raw.hostName === "string" ? raw.hostName : undefined,
+            hostVersion: typeof raw.hostVersion === "string" ? raw.hostVersion : undefined,
+            acceptedBy: typeof raw.acceptedBy === "string" ? raw.acceptedBy : undefined,
+            note: typeof raw.note === "string" ? raw.note : undefined,
+        },
+    };
+}
+/**
+ * Check whether a raw marker object can be considered a complete ack.
+ * Hand-written files are treated as incomplete until verified.
+ */
+export function isSetupAckComplete(raw) {
+    const result = validateSetupAck(raw);
+    if (result.ok) {
+        return { complete: true, ack: result.ack };
+    }
+    return { complete: false, errors: result.errors };
+}

package/runtime/shared/source-ref-compat.js

@@ -15,6 +15,11 @@ export function sourceRefFamilyFromLegacyKind(kind) {
     }
 }
 export function legacyKindFromSourceRef(ref) {
+    // Check family first so canonical connector_result refs with platform://
+    // URIs are not incorrectly downgraded to "platform_item".
+    if (ref.family === "connector_result") {
+        return "connector_result";
+    }
     if (ref.uri.startsWith("platform://")) {
         return "platform_item";
     }
@@ -25,8 +30,6 @@ export function legacyKindFromSourceRef(ref) {
         return "user_anchor";
     }
     switch (ref.family) {
-        case "connector_result":
-            return "connector_result";
         case "judgment":
             return "decision_record";
         case "evidence":

package/runtime/shared/types/v8-contracts.d.ts

@@ -38,6 +38,12 @@ export interface SourceRef {
     resolveStatus?: SourceResolveStatus;
     resolveFailureReason?: string;
 }
+export interface ProvenanceBundle {
+    sourceRefs: SourceRef[];
+    proofRefs: SourceRef[];
+    traceRefs: SourceRef[];
+}
+export type ProvenanceTier = "source" | "proof" | "trace";
 export type HeartbeatCycleStatus = "started" | "completed" | "failed" | "degraded";
 export interface HeartbeatCycleTrace {
     cycleId: string;
@@ -59,11 +65,14 @@ export interface LoopStageEvent {
     status: LoopStageEventStatus;
     reason?: V8ReasonCode;
     sourceRefs: SourceRef[];
+    proofRefs?: SourceRef[];
+    traceRefs?: SourceRef[];
     redactionClass: RedactionClass;
     occurredAt: string;
     expectedDownstreamByCycle?: number;
     payloadJson?: string;
 }
+export type EvidenceLevel = "carrier_ack" | "contract_smoke" | "state_present" | "real_runtime" | "durable_verified";
 export type MemoryReviewClosureSubtype = "remember_for_review";
 export interface MemoryReviewCandidateClosure {
     closureSubtype: MemoryReviewClosureSubtype;
@@ -75,12 +84,14 @@ export interface MemoryReviewCandidateClosure {
     sourceRefs: [SourceRef, ...SourceRef[]];
 }
 export interface DegradedOperationResult {
-    status: "degraded" | "blocked";
+    status: "empty" | "partial" | "blocked" | "unavailable" | "unsafe";
     reason: V8ReasonCode;
     ownerStage: LoopStage;
     sourceRefs: SourceRef[];
+    proofRefs?: SourceRef[];
+    traceRefs?: SourceRef[];
     operatorNextAction: string;
     retryable: boolean;
 }
-export type V8ReasonCode = "quiet_completed" | "quiet_empty_input" | "quiet_state_unreadable" | "quiet_validation_failed" | "quiet_redaction_blocked" | "dream_scheduled" | "dream_scheduled_stalled" | "dream_scheduler_unavailable" | "dream_started" | "dream_completed" | "dream_failed" | "dream_blocked_redaction" | "dream_interval_active" | "dream_rules_only" | "dream_model_timeout" | "projection_candidate_created" | "projection_accepted" | "projection_rejected" | "projection_superseded" | "projection_topic_matched" | "proposal_created" | "proposal_no_action" | "proposal_missing_source_refs" | "proposal_risk_blocked" | "policy_allowed" | "policy_deferred_owner_confirmation" | "policy_downgraded_to_draft" | "policy_denied_missing_permission" | "policy_denied_high_risk" | "policy_denied_breaker_open" | "guidance_unavailable" | "closure_completed" | "closure_no_action" | "closure_denied" | "closure_deferred" | "closure_downgraded" | "closure_downgraded_without_draft" | "closure_failed" | "perception_rules_only" | "perception_contract_drift" | "evidence_batch_empty" | "evidence_batch_truncated" | "evidence_content_missing" | "judgment_low_confidence" | "judgment_missing_source_refs" | "source_refs_unresolved" | "state_unreadable" | "stage_event_missing" | "ingestion_no_data" | "ingestion_empty" | "ingestion_state_unreadable" | "ingestion_connector_failed" | "execution_completed" | "execution_failed" | "execution_timeout" | "execution_unavailable";
+export type V8ReasonCode = "quiet_completed" | "quiet_empty_input" | "quiet_state_unreadable" | "quiet_validation_failed" | "quiet_redaction_blocked" | "dream_scheduled" | "dream_scheduled_stalled" | "dream_scheduler_unavailable" | "dream_started" | "dream_completed" | "dream_failed" | "dream_blocked_redaction" | "dream_blocked_no_content" | "dream_blocked_private_redacted" | "dream_blocked_credential" | "dream_blocked_validation_failed" | "dream_interval_active" | "dream_rules_only" | "dream_model_timeout" | "projection_candidate_created" | "projection_accepted" | "projection_rejected" | "projection_superseded" | "projection_topic_matched" | "proposal_created" | "proposal_no_action" | "proposal_missing_source_refs" | "proposal_risk_blocked" | "policy_allowed" | "policy_deferred_owner_confirmation" | "policy_downgraded_to_draft" | "policy_denied_missing_permission" | "policy_denied_high_risk" | "policy_denied_breaker_open" | "guidance_unavailable" | "closure_completed" | "closure_no_action" | "closure_denied" | "closure_deferred" | "closure_downgraded" | "closure_downgraded_without_draft" | "closure_failed" | "closure_idempotency_conflict" | "closure_unavailable" | "perception_rules_only" | "perception_contract_drift" | "evidence_batch_empty" | "evidence_batch_truncated" | "evidence_content_missing" | "judgment_low_confidence" | "judgment_missing_source_refs" | "source_refs_unresolved" | "state_unreadable" | "stage_event_missing" | "ingestion_no_data" | "ingestion_empty" | "ingestion_state_unreadable" | "ingestion_connector_failed" | "execution_completed" | "execution_failed" | "execution_timeout" | "execution_unavailable";
 export declare const ACTION_KIND_REGISTRY: Readonly<Record<PlatformNeutralActionKind, ActionKindMetadata>>;

package/runtime/storage/db/index.js

@@ -232,10 +232,12 @@ const STATE_SCHEMA_SQL = `
     status TEXT NOT NULL,
     reason TEXT,
     next_state TEXT,
-    source_refs_json TEXT NOT NULL,
-    redaction_class TEXT NOT NULL DEFAULT 'none',
-    payload_json TEXT
-  );
+    source_refs_json TEXT NOT NULL,
+    proof_refs_json TEXT,
+    trace_refs_json TEXT,
+    redaction_class TEXT NOT NULL DEFAULT 'none',
+    payload_json TEXT
+  );
   CREATE TABLE IF NOT EXISTS quiet_daily_review (
     id TEXT PRIMARY KEY,
     created_at TEXT NOT NULL,
@@ -254,20 +256,20 @@ const STATE_SCHEMA_SQL = `
     quiet_review_id TEXT NOT NULL,
     status TEXT NOT NULL,
     reason TEXT,
-    source_refs_json TEXT NOT NULL,
-    redaction_class TEXT NOT NULL DEFAULT 'none',
-    payload_json TEXT
-  );
+    source_refs_json TEXT NOT NULL,
+    redaction_class TEXT NOT NULL DEFAULT 'none',
+    payload_json TEXT
+  );
   CREATE TABLE IF NOT EXISTS long_term_memory_projection (
     id TEXT PRIMARY KEY,
     created_at TEXT NOT NULL,
     candidate_id TEXT NOT NULL,
     topic_key TEXT NOT NULL,
     status TEXT NOT NULL DEFAULT 'candidate',
-    source_refs_json TEXT NOT NULL,
-    redaction_class TEXT NOT NULL DEFAULT 'none',
-    payload_json TEXT
-  );
+    source_refs_json TEXT NOT NULL,
+    redaction_class TEXT NOT NULL DEFAULT 'none',
+    payload_json TEXT
+  );
   CREATE TABLE IF NOT EXISTS heartbeat_cycle_trace (
     id TEXT PRIMARY KEY,
     cycle_sequence INTEGER NOT NULL,
@@ -276,11 +278,11 @@ const STATE_SCHEMA_SQL = `
     input_count INTEGER NOT NULL DEFAULT 0,
     output_count INTEGER NOT NULL DEFAULT 0,
     expected_downstream_by_cycle INTEGER,
-    status TEXT NOT NULL,
-    source_refs_json TEXT,
-    redaction_class TEXT NOT NULL DEFAULT 'none',
-    payload_json TEXT
-  );
+    status TEXT NOT NULL,
+    source_refs_json TEXT,
+    redaction_class TEXT NOT NULL DEFAULT 'none',
+    payload_json TEXT
+  );
   CREATE TABLE IF NOT EXISTS loop_stage_event (
     id TEXT PRIMARY KEY,
     cycle_id TEXT NOT NULL,
@@ -289,11 +291,13 @@ const STATE_SCHEMA_SQL = `
     status TEXT NOT NULL,
     reason TEXT,
     source_refs_json TEXT NOT NULL,
+    proof_refs_json TEXT,
+    trace_refs_json TEXT,
     redaction_class TEXT NOT NULL DEFAULT 'none',
-    occurred_at TEXT NOT NULL,
-    expected_downstream_by_cycle INTEGER,
-    payload_json TEXT
-  );
+    occurred_at TEXT NOT NULL,
+    expected_downstream_by_cycle INTEGER,
+    payload_json TEXT
+  );
   CREATE TABLE IF NOT EXISTS impulse_context_artifact (
     id TEXT PRIMARY KEY,
     created_at TEXT NOT NULL,
@@ -365,20 +369,19 @@ function applyStateSchemaMigrations(sqlite) {
     // v8-004-schema-closure. Fresh DBs already have these from bootstrap SQL.
     // Each statement is wrapped individually so duplicate-column errors are
     // harmless and do not block startup.
-    const migrations = [
+    const addColumnMigrations = [
         "ALTER TABLE policy_records ADD COLUMN outreach_daily_budget INTEGER NOT NULL DEFAULT 2",
         "ALTER TABLE action_closure_record ADD COLUMN platform_id TEXT",
         "ALTER TABLE action_closure_record ADD COLUMN capability_id TEXT",
         "ALTER TABLE quiet_daily_review ADD COLUMN closure_refs_json TEXT",
         "ALTER TABLE connector_cooldown_state ADD COLUMN terminal_count INTEGER NOT NULL DEFAULT 0",
+        "ALTER TABLE loop_stage_event ADD COLUMN proof_refs_json TEXT",
+        "ALTER TABLE loop_stage_event ADD COLUMN trace_refs_json TEXT",
+        "ALTER TABLE action_closure_record ADD COLUMN proof_refs_json TEXT",
+        "ALTER TABLE action_closure_record ADD COLUMN trace_refs_json TEXT",
         "CREATE INDEX IF NOT EXISTS connector_cooldown_state_platform_capability_idx ON connector_cooldown_state(platform_id, capability_id)",
-        "ALTER TABLE action_closure_record DROP COLUMN lifecycle_status",
-        "ALTER TABLE dream_consolidation_run DROP COLUMN lifecycle_status",
-        "ALTER TABLE long_term_memory_projection DROP COLUMN lifecycle_status",
-        "ALTER TABLE heartbeat_cycle_trace DROP COLUMN lifecycle_status",
-        "ALTER TABLE loop_stage_event DROP COLUMN lifecycle_status",
     ];
-    for (const sql of migrations) {
+    for (const sql of addColumnMigrations) {
         try {
             sqlite.exec(sql);
         }
@@ -386,6 +389,46 @@ function applyStateSchemaMigrations(sqlite) {
             /* duplicate column / already migrated */
         }
     }
+    // DROP COLUMN requires SQLite ≥ 3.35.0. Guard against older native
+    // bindings where the statement would silently fail (caught by try/catch)
+    // yet leave lifecycle_status in place while the Drizzle schema no longer
+    // declares it, masking an incomplete cleanup.
+    const vResult = sqlite.exec("SELECT sqlite_version() AS ver");
+    const ver = String(vResult[0]?.values[0]?.[0] ?? "0.0.0");
+    const [major, minor] = ver.split(".").map(Number);
+    const supportsDropColumn = major > 3 || (major === 3 && minor >= 35);
+    const dropColumnTables = [
+        "action_closure_record",
+        "dream_consolidation_run",
+        "long_term_memory_projection",
+        "heartbeat_cycle_trace",
+        "loop_stage_event",
+    ];
+    for (const table of dropColumnTables) {
+        try {
+            if (supportsDropColumn) {
+                sqlite.exec(`ALTER TABLE ${table} DROP COLUMN lifecycle_status`);
+            }
+            else {
+                // Rebuild the table without lifecycle_status for SQLite < 3.35.0.
+                const info = sqlite.exec(`PRAGMA table_info(${table})`);
+                if (!info[0])
+                    continue;
+                const nameIdx = info[0].columns.indexOf("name");
+                const allNames = info[0].values.map((row) => String(row[nameIdx]));
+                const kept = allNames.filter((n) => n !== "lifecycle_status");
+                if (kept.length === allNames.length)
+                    continue; // column already absent
+                const colList = kept.join(", ");
+                sqlite.exec(`CREATE TABLE ${table}_backup AS SELECT ${colList} FROM ${table}`);
+                sqlite.exec(`DROP TABLE ${table}`);
+                sqlite.exec(`ALTER TABLE ${table}_backup RENAME TO ${table}`);
+            }
+        }
+        catch {
+            /* column already removed or table missing */
+        }
+    }
 }
 export function createStateDatabase(filename = "state.db") {
     const dbPath = resolveDbPath(filename);

package/runtime/storage/db/migrations/v8-005-single-status-schema.js

@@ -10,7 +10,7 @@
 export const V8_005_SINGLE_STATUS_SCHEMA = {
     version: 9,
     label: "v8-single-status-schema",
-    sql: `
-    SELECT 1;
+    sql: `
+    SELECT 1;
   `,
 };

package/runtime/storage/db/migrations/v8-006-loop-stage-event-proof-trace-columns.d.ts

@@ -0,0 +1,9 @@
+/**
+ * v8-006 — Add proof/trace refs columns to loop_stage_event.
+ *
+ * The loop_stage_event table was created without proof_refs_json and
+ * trace_refs_json columns. This migration adds them as nullable TEXT columns
+ * so the v8 provenance tier write path can persist proofRefs and traceRefs.
+ */
+import type { Migration } from "../migration-runner.js";
+export declare const V8_006_LOOP_STAGE_EVENT_PROOF_TRACE_COLUMNS: Migration;

package/runtime/storage/db/migrations/v8-006-loop-stage-event-proof-trace-columns.js

@@ -0,0 +1,15 @@
+/**
+ * v8-006 — Add proof/trace refs columns to loop_stage_event.
+ *
+ * The loop_stage_event table was created without proof_refs_json and
+ * trace_refs_json columns. This migration adds them as nullable TEXT columns
+ * so the v8 provenance tier write path can persist proofRefs and traceRefs.
+ */
+export const V8_006_LOOP_STAGE_EVENT_PROOF_TRACE_COLUMNS = {
+    version: 6,
+    label: "v8_loop_stage_event_proof_trace_columns",
+    sql: `
+    ALTER TABLE loop_stage_event ADD COLUMN proof_refs_json TEXT;
+    ALTER TABLE loop_stage_event ADD COLUMN trace_refs_json TEXT;
+  `,
+};

package/runtime/storage/db/schema/v8-entities.d.ts

@@ -968,6 +968,44 @@ export declare const actionClosureRecord: import("drizzle-orm/sqlite-core").SQLi
         }, {}, {
             length: number | undefined;
         }>;
+        proofRefsJson: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+            name: "proof_refs_json";
+            tableName: "action_closure_record";
+            dataType: "string";
+            columnType: "SQLiteText";
+            data: string;
+            driverParam: string;
+            notNull: false;
+            hasDefault: false;
+            isPrimaryKey: false;
+            isAutoincrement: false;
+            hasRuntimeDefault: false;
+            enumValues: [string, ...string[]];
+            baseColumn: never;
+            identity: undefined;
+            generated: undefined;
+        }, {}, {
+            length: number | undefined;
+        }>;
+        traceRefsJson: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+            name: "trace_refs_json";
+            tableName: "action_closure_record";
+            dataType: "string";
+            columnType: "SQLiteText";
+            data: string;
+            driverParam: string;
+            notNull: false;
+            hasDefault: false;
+            isPrimaryKey: false;
+            isAutoincrement: false;
+            hasRuntimeDefault: false;
+            enumValues: [string, ...string[]];
+            baseColumn: never;
+            identity: undefined;
+            generated: undefined;
+        }, {}, {
+            length: number | undefined;
+        }>;
         redactionClass: import("drizzle-orm/sqlite-core").SQLiteColumn<{
             name: "redaction_class";
             tableName: "action_closure_record";
@@ -1873,6 +1911,44 @@ export declare const loopStageEvent: import("drizzle-orm/sqlite-core").SQLiteTab
         }, {}, {
             length: number | undefined;
         }>;
+        proofRefsJson: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+            name: "proof_refs_json";
+            tableName: "loop_stage_event";
+            dataType: "string";
+            columnType: "SQLiteText";
+            data: string;
+            driverParam: string;
+            notNull: false;
+            hasDefault: false;
+            isPrimaryKey: false;
+            isAutoincrement: false;
+            hasRuntimeDefault: false;
+            enumValues: [string, ...string[]];
+            baseColumn: never;
+            identity: undefined;
+            generated: undefined;
+        }, {}, {
+            length: number | undefined;
+        }>;
+        traceRefsJson: import("drizzle-orm/sqlite-core").SQLiteColumn<{
+            name: "trace_refs_json";
+            tableName: "loop_stage_event";
+            dataType: "string";
+            columnType: "SQLiteText";
+            data: string;
+            driverParam: string;
+            notNull: false;
+            hasDefault: false;
+            isPrimaryKey: false;
+            isAutoincrement: false;
+            hasRuntimeDefault: false;
+            enumValues: [string, ...string[]];
+            baseColumn: never;
+            identity: undefined;
+            generated: undefined;
+        }, {}, {
+            length: number | undefined;
+        }>;
         redactionClass: import("drizzle-orm/sqlite-core").SQLiteColumn<{
             name: "redaction_class";
             tableName: "loop_stage_event";

package/runtime/storage/db/schema/v8-entities.js

@@ -83,6 +83,8 @@ export const actionClosureRecord = sqliteTable("action_closure_record", {
     reason: text("reason"),
     nextState: text("next_state"),
     sourceRefsJson: text("source_refs_json").notNull(),
+    proofRefsJson: text("proof_refs_json"),
+    traceRefsJson: text("trace_refs_json"),
     redactionClass: text("redaction_class").notNull().default("none"),
     payloadJson: text("payload_json"),
 });
@@ -154,6 +156,8 @@ export const loopStageEvent = sqliteTable("loop_stage_event", {
     status: text("status").notNull(),
     reason: text("reason"),
     sourceRefsJson: text("source_refs_json").notNull(),
+    proofRefsJson: text("proof_refs_json"),
+    traceRefsJson: text("trace_refs_json"),
     redactionClass: text("redaction_class").notNull().default("none"),
     occurredAt: text("occurred_at").notNull(),
     expectedDownstreamByCycle: integer("expected_downstream_by_cycle"),

package/runtime/storage/services/write-validation-gate.js

@@ -115,7 +115,7 @@ const IDENTIFIER_FIELD_NAMES = new Set([
     "id",
     "runId",
     "run_id",
-    "SourceRefTuple",
+    "sourceRef",
     "source_ref",
     "sourceRefs",
     "source_refs_json",

package/runtime/storage/v8-state-stores.d.ts

@@ -82,8 +82,11 @@ export declare function readJudgmentVerdictById(db: StateDatabase, id: string):
     row?: JudgmentVerdictRecord;
     degraded?: DegradedOperationResult;
 }>;
-export declare function writeActionClosureRecord(db: StateDatabase, row: Omit<ActionClosureRecordInsert, "sourceRefsJson"> & {
+export declare function writeActionClosureRecord(db: StateDatabase, row: Omit<ActionClosureRecordInsert, "sourceRefsJson" | "proofRefsJson" | "traceRefsJson" | "payloadJson"> & {
     sourceRefs: SourceRef[];
+    proofRefs?: SourceRef[];
+    traceRefs?: SourceRef[];
+    payload?: Record<string, unknown>;
 }): Promise<{
     id: string;
 } | DegradedOperationResult>;
@@ -173,8 +176,10 @@ export declare function readHeartbeatCycleTraces(db: StateDatabase, limit?: numb
     rows: HeartbeatCycleTraceRecord[];
     degraded?: DegradedOperationResult;
 }>;
-export declare function writeLoopStageEvent(db: StateDatabase, row: Omit<NewLoopStageEventRecord, "sourceRefsJson"> & {
+export declare function writeLoopStageEvent(db: StateDatabase, row: Omit<NewLoopStageEventRecord, "sourceRefsJson" | "proofRefsJson" | "traceRefsJson"> & {
     sourceRefs: SourceRef[];
+    proofRefs?: SourceRef[];
+    traceRefs?: SourceRef[];
 }): Promise<{
     id: string;
 } | DegradedOperationResult>;