@riddledc/riddle-proof 0.5.1 → 0.5.2

package/dist/proof-run-core.d.cts

@@ -0,0 +1,280 @@
+type WorkflowAction = "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "status" | "sync" | "run";
+type WorkflowStage = Exclude<WorkflowAction, "status" | "sync" | "run">;
+declare const WORKFLOW_STAGE_ORDER: WorkflowStage[];
+interface WorkflowParams {
+    action: WorkflowAction;
+    repo?: string;
+    branch?: string;
+    change_request?: string;
+    commit_message?: string;
+    prod_url?: string;
+    capture_script?: string;
+    success_criteria?: string;
+    assertions_json?: string;
+    verification_mode?: string;
+    reference?: "prod" | "before" | "both";
+    base_branch?: string;
+    before_ref?: string;
+    allow_static_preview_fallback?: boolean;
+    context?: string;
+    reviewer?: string;
+    mode?: "server" | "static";
+    build_command?: string;
+    build_output?: string;
+    server_image?: string;
+    server_command?: string;
+    server_port?: number;
+    server_path?: string;
+    use_auth?: boolean;
+    auth_localStorage_json?: string;
+    auth_cookies_json?: string;
+    auth_headers_json?: string;
+    color_scheme?: "dark" | "light";
+    wait_for_selector?: string;
+    discord_channel?: string;
+    discord_thread_id?: string;
+    discord_message_id?: string;
+    discord_source_url?: string;
+    recon_assessment_json?: string;
+    proof_plan?: string;
+    author_packet_json?: string;
+    implementation_notes?: string;
+    proof_assessment_json?: string;
+    state_path?: string;
+    auto_approve?: boolean;
+    continue_from_checkpoint?: boolean;
+    ship_after_verify?: boolean;
+    leave_draft?: boolean;
+    cleanup_merged_pr?: boolean;
+    fetch_base?: boolean;
+    update_base_checkout?: boolean;
+    advance_stage?: WorkflowStage;
+}
+interface PluginConfig {
+    riddleProofDir?: string;
+    statePath?: string;
+    defaultReviewer?: string;
+}
+declare const CHECKPOINT_CONTRACT_VERSION = "riddle-proof-run.checkpoint.v1";
+declare const BUNDLED_RIDDLE_PROOF_DIR: string;
+declare const RIDDLE_PROOF_DIR_CANDIDATES: string[];
+interface CheckpointInputContract {
+    name: string;
+    type: "json" | "string" | "boolean" | "external_action";
+    required?: boolean;
+    description: string;
+}
+interface ShipGateValidation {
+    ok: boolean;
+    reasons: string[];
+    required_baselines: string[];
+    evidence: {
+        reference: string;
+        prod_url: string | null;
+        before_cdn: string | null;
+        prod_cdn: string | null;
+        after_cdn: string | null;
+        verify_status: string | null;
+        proof_assessment_decision: string | null;
+        proof_assessment_source: string | null;
+    };
+}
+declare function resolveRiddleProofDir(config?: PluginConfig): string;
+declare function resolveConfig(config?: PluginConfig, params?: Partial<Pick<WorkflowParams, "action" | "state_path">>): {
+    riddleProofDir: string;
+    statePath: string;
+    argsPath: string;
+    defaultReviewer: string;
+};
+declare function ensureAction(action: string): WorkflowAction;
+declare function workflowFile(riddleProofDir: string, action: WorkflowStage): string;
+declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeof resolveConfig>): {
+    repo: string;
+    branch: string;
+    change_request: string;
+    commit_message: string;
+    prod_url: string;
+    capture_script: string;
+    success_criteria: string;
+    assertions_json: string;
+    verification_mode: string;
+    reference: "prod" | "before" | "both";
+    base_branch: string;
+    before_ref: string;
+    allow_static_preview_fallback: string;
+    context: string;
+    reviewer: string;
+    mode: string;
+    build_command: string;
+    build_output: string;
+    server_image: string;
+    server_command: string;
+    server_port: string;
+    server_path: string;
+    server_path_source: string;
+    use_auth: string;
+    auth_localStorage_json: string;
+    auth_cookies_json: string;
+    auth_headers_json: string;
+    color_scheme: string;
+    wait_for_selector: string;
+    discord_channel: string;
+    discord_thread_id: string;
+    discord_message_id: string;
+    discord_source_url: string;
+    leave_draft: string;
+};
+declare function readState(statePath: string): any;
+declare function writeState(statePath: string, state: Record<string, unknown>): void;
+declare function ensureStageLoopState(state?: any): any;
+declare function clearStageDecisionRequest(state?: any): any;
+declare function recordStageAttempt(state: any, stage: WorkflowStage, entry?: {
+    status?: string;
+    checkpoint?: string | null;
+    summary?: string | null;
+    requestedAdvanceStage?: WorkflowStage | null;
+    haltedForApproval?: boolean;
+    autoApproved?: boolean;
+    error?: string | null;
+    details?: Record<string, unknown>;
+}): {
+    attempt: number;
+    stage: WorkflowStage;
+    status: string;
+    checkpoint: string | null;
+    summary: string | null;
+    requested_advance_stage: WorkflowStage | null;
+    halted_for_approval: boolean;
+    auto_approved: boolean;
+    error: string | null;
+    details: Record<string, unknown>;
+    attempted_at: string;
+};
+declare function setStageDecisionRequest(state: any, request: {
+    stage: WorkflowStage;
+    checkpoint: string;
+    summary: string;
+    nextActions?: string[];
+    advanceOptions?: WorkflowStage[];
+    recommendedAdvanceStage?: WorkflowStage | null;
+    continueWithStage?: WorkflowStage | null;
+    blocking?: boolean;
+    details?: Record<string, unknown>;
+    checkpointContract?: Record<string, unknown>;
+}): any;
+declare function checkpointContinueStage(state: any): WorkflowStage | null;
+declare function invalidateVerifyEvidence(state?: any): {
+    invalidated: boolean;
+    hadAfterCdn?: undefined;
+    hadVerifyResults?: undefined;
+    hadMergeRecommendation?: undefined;
+    hadProofSummary?: undefined;
+    hadVerifyStatus?: undefined;
+    hadVerifySummary?: undefined;
+    hadVerifyDecisionRequest?: undefined;
+    hadEvidenceNotes?: undefined;
+    hadProofAssessment?: undefined;
+    hadProofAssessmentRequest?: undefined;
+} | {
+    invalidated: boolean;
+    hadAfterCdn: boolean;
+    hadVerifyResults: boolean;
+    hadMergeRecommendation: boolean;
+    hadProofSummary: boolean;
+    hadVerifyStatus: boolean;
+    hadVerifySummary: boolean;
+    hadVerifyDecisionRequest: boolean;
+    hadEvidenceNotes: boolean;
+    hadProofAssessment: boolean;
+    hadProofAssessmentRequest: boolean;
+};
+declare function requiredBaselineLabelsForState(state?: any): string[];
+declare function validateShipGate(state?: any): ShipGateValidation;
+declare function buildCheckpointContract(state: any, request: {
+    statePath?: string;
+    stage: WorkflowStage;
+    checkpoint: string;
+    summary: string;
+    nextActions?: string[];
+    advanceOptions?: WorkflowStage[];
+    recommendedAdvanceStage?: WorkflowStage | null;
+    continueWithStage?: WorkflowStage | null;
+    blocking?: boolean;
+}): Record<string, unknown>;
+declare function mergeStateFromParams(statePath: string, params: WorkflowParams): any;
+declare function summarizeState(state: any): {
+    stage: string;
+    summary: string;
+    state: null;
+} | {
+    stage: any;
+    summary: string;
+    state: {
+        workspace_ready: boolean;
+        repo: any;
+        branch: any;
+        mode: any;
+        reference: any;
+        before_ref: any;
+        allow_static_preview_fallback: boolean;
+        commit_message: any;
+        author_status: any;
+        author_summary: any;
+        author_request: any;
+        proof_plan_status: any;
+        proof_plan: any;
+        proof_plan_request: any;
+        proof_profile_applied: boolean;
+        proof_profile: any;
+        recon_status: any;
+        recon_assessment: any;
+        recon_assessment_request: any;
+        recon_assessment_source: any;
+        recon_decision_request: any;
+        recon_attempts_used: any;
+        recon_attempts_max: any;
+        recon_hypothesis: any;
+        implementation_status: any;
+        implementation_summary: any;
+        implementation_environment_issues: any;
+        verify_status: any;
+        verify_summary: any;
+        verify_decision_request: any;
+        proof_assessment: any;
+        proof_assessment_request: any;
+        proof_assessment_source: any;
+        merge_recommendation: any;
+        before_cdn: any;
+        after_cdn: any;
+        prod_cdn: any;
+        pr_url: any;
+        pr_branch: any;
+        pr_state: any;
+        ship_commit: any;
+        ship_remote_head: any;
+        merge_commit: any;
+        merged_at: any;
+        ship_push: any;
+        ship_report: any;
+        cleanup_report: any;
+        proof_comment_url: any;
+        proof_assessment_comment_url: any;
+        marked_ready: any;
+        left_draft: any;
+        ci_status: any;
+        reviewer: any;
+        active_checkpoint: any;
+        active_checkpoint_stage: any;
+        continue_with_stage: WorkflowStage | null;
+        stage_decision_request: any;
+        stage_attempt_counts: {
+            [k: string]: number;
+        };
+        explicit_stage_gate: boolean;
+        last_requested_advance_stage: any;
+        recon_results: any;
+        verify_results: any;
+    };
+};
+
+export { BUNDLED_RIDDLE_PROOF_DIR, CHECKPOINT_CONTRACT_VERSION, type CheckpointInputContract, type PluginConfig, RIDDLE_PROOF_DIR_CANDIDATES, type ShipGateValidation, WORKFLOW_STAGE_ORDER, type WorkflowAction, type WorkflowParams, type WorkflowStage, buildCheckpointContract, buildSetupArgs, checkpointContinueStage, clearStageDecisionRequest, ensureAction, ensureStageLoopState, invalidateVerifyEvidence, mergeStateFromParams, readState, recordStageAttempt, requiredBaselineLabelsForState, resolveConfig, resolveRiddleProofDir, setStageDecisionRequest, summarizeState, validateShipGate, workflowFile, writeState };

package/dist/proof-run-core.d.ts

@@ -0,0 +1,280 @@
+type WorkflowAction = "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "status" | "sync" | "run";
+type WorkflowStage = Exclude<WorkflowAction, "status" | "sync" | "run">;
+declare const WORKFLOW_STAGE_ORDER: WorkflowStage[];
+interface WorkflowParams {
+    action: WorkflowAction;
+    repo?: string;
+    branch?: string;
+    change_request?: string;
+    commit_message?: string;
+    prod_url?: string;
+    capture_script?: string;
+    success_criteria?: string;
+    assertions_json?: string;
+    verification_mode?: string;
+    reference?: "prod" | "before" | "both";
+    base_branch?: string;
+    before_ref?: string;
+    allow_static_preview_fallback?: boolean;
+    context?: string;
+    reviewer?: string;
+    mode?: "server" | "static";
+    build_command?: string;
+    build_output?: string;
+    server_image?: string;
+    server_command?: string;
+    server_port?: number;
+    server_path?: string;
+    use_auth?: boolean;
+    auth_localStorage_json?: string;
+    auth_cookies_json?: string;
+    auth_headers_json?: string;
+    color_scheme?: "dark" | "light";
+    wait_for_selector?: string;
+    discord_channel?: string;
+    discord_thread_id?: string;
+    discord_message_id?: string;
+    discord_source_url?: string;
+    recon_assessment_json?: string;
+    proof_plan?: string;
+    author_packet_json?: string;
+    implementation_notes?: string;
+    proof_assessment_json?: string;
+    state_path?: string;
+    auto_approve?: boolean;
+    continue_from_checkpoint?: boolean;
+    ship_after_verify?: boolean;
+    leave_draft?: boolean;
+    cleanup_merged_pr?: boolean;
+    fetch_base?: boolean;
+    update_base_checkout?: boolean;
+    advance_stage?: WorkflowStage;
+}
+interface PluginConfig {
+    riddleProofDir?: string;
+    statePath?: string;
+    defaultReviewer?: string;
+}
+declare const CHECKPOINT_CONTRACT_VERSION = "riddle-proof-run.checkpoint.v1";
+declare const BUNDLED_RIDDLE_PROOF_DIR: string;
+declare const RIDDLE_PROOF_DIR_CANDIDATES: string[];
+interface CheckpointInputContract {
+    name: string;
+    type: "json" | "string" | "boolean" | "external_action";
+    required?: boolean;
+    description: string;
+}
+interface ShipGateValidation {
+    ok: boolean;
+    reasons: string[];
+    required_baselines: string[];
+    evidence: {
+        reference: string;
+        prod_url: string | null;
+        before_cdn: string | null;
+        prod_cdn: string | null;
+        after_cdn: string | null;
+        verify_status: string | null;
+        proof_assessment_decision: string | null;
+        proof_assessment_source: string | null;
+    };
+}
+declare function resolveRiddleProofDir(config?: PluginConfig): string;
+declare function resolveConfig(config?: PluginConfig, params?: Partial<Pick<WorkflowParams, "action" | "state_path">>): {
+    riddleProofDir: string;
+    statePath: string;
+    argsPath: string;
+    defaultReviewer: string;
+};
+declare function ensureAction(action: string): WorkflowAction;
+declare function workflowFile(riddleProofDir: string, action: WorkflowStage): string;
+declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeof resolveConfig>): {
+    repo: string;
+    branch: string;
+    change_request: string;
+    commit_message: string;
+    prod_url: string;
+    capture_script: string;
+    success_criteria: string;
+    assertions_json: string;
+    verification_mode: string;
+    reference: "prod" | "before" | "both";
+    base_branch: string;
+    before_ref: string;
+    allow_static_preview_fallback: string;
+    context: string;
+    reviewer: string;
+    mode: string;
+    build_command: string;
+    build_output: string;
+    server_image: string;
+    server_command: string;
+    server_port: string;
+    server_path: string;
+    server_path_source: string;
+    use_auth: string;
+    auth_localStorage_json: string;
+    auth_cookies_json: string;
+    auth_headers_json: string;
+    color_scheme: string;
+    wait_for_selector: string;
+    discord_channel: string;
+    discord_thread_id: string;
+    discord_message_id: string;
+    discord_source_url: string;
+    leave_draft: string;
+};
+declare function readState(statePath: string): any;
+declare function writeState(statePath: string, state: Record<string, unknown>): void;
+declare function ensureStageLoopState(state?: any): any;
+declare function clearStageDecisionRequest(state?: any): any;
+declare function recordStageAttempt(state: any, stage: WorkflowStage, entry?: {
+    status?: string;
+    checkpoint?: string | null;
+    summary?: string | null;
+    requestedAdvanceStage?: WorkflowStage | null;
+    haltedForApproval?: boolean;
+    autoApproved?: boolean;
+    error?: string | null;
+    details?: Record<string, unknown>;
+}): {
+    attempt: number;
+    stage: WorkflowStage;
+    status: string;
+    checkpoint: string | null;
+    summary: string | null;
+    requested_advance_stage: WorkflowStage | null;
+    halted_for_approval: boolean;
+    auto_approved: boolean;
+    error: string | null;
+    details: Record<string, unknown>;
+    attempted_at: string;
+};
+declare function setStageDecisionRequest(state: any, request: {
+    stage: WorkflowStage;
+    checkpoint: string;
+    summary: string;
+    nextActions?: string[];
+    advanceOptions?: WorkflowStage[];
+    recommendedAdvanceStage?: WorkflowStage | null;
+    continueWithStage?: WorkflowStage | null;
+    blocking?: boolean;
+    details?: Record<string, unknown>;
+    checkpointContract?: Record<string, unknown>;
+}): any;
+declare function checkpointContinueStage(state: any): WorkflowStage | null;
+declare function invalidateVerifyEvidence(state?: any): {
+    invalidated: boolean;
+    hadAfterCdn?: undefined;
+    hadVerifyResults?: undefined;
+    hadMergeRecommendation?: undefined;
+    hadProofSummary?: undefined;
+    hadVerifyStatus?: undefined;
+    hadVerifySummary?: undefined;
+    hadVerifyDecisionRequest?: undefined;
+    hadEvidenceNotes?: undefined;
+    hadProofAssessment?: undefined;
+    hadProofAssessmentRequest?: undefined;
+} | {
+    invalidated: boolean;
+    hadAfterCdn: boolean;
+    hadVerifyResults: boolean;
+    hadMergeRecommendation: boolean;
+    hadProofSummary: boolean;
+    hadVerifyStatus: boolean;
+    hadVerifySummary: boolean;
+    hadVerifyDecisionRequest: boolean;
+    hadEvidenceNotes: boolean;
+    hadProofAssessment: boolean;
+    hadProofAssessmentRequest: boolean;
+};
+declare function requiredBaselineLabelsForState(state?: any): string[];
+declare function validateShipGate(state?: any): ShipGateValidation;
+declare function buildCheckpointContract(state: any, request: {
+    statePath?: string;
+    stage: WorkflowStage;
+    checkpoint: string;
+    summary: string;
+    nextActions?: string[];
+    advanceOptions?: WorkflowStage[];
+    recommendedAdvanceStage?: WorkflowStage | null;
+    continueWithStage?: WorkflowStage | null;
+    blocking?: boolean;
+}): Record<string, unknown>;
+declare function mergeStateFromParams(statePath: string, params: WorkflowParams): any;
+declare function summarizeState(state: any): {
+    stage: string;
+    summary: string;
+    state: null;
+} | {
+    stage: any;
+    summary: string;
+    state: {
+        workspace_ready: boolean;
+        repo: any;
+        branch: any;
+        mode: any;
+        reference: any;
+        before_ref: any;
+        allow_static_preview_fallback: boolean;
+        commit_message: any;
+        author_status: any;
+        author_summary: any;
+        author_request: any;
+        proof_plan_status: any;
+        proof_plan: any;
+        proof_plan_request: any;
+        proof_profile_applied: boolean;
+        proof_profile: any;
+        recon_status: any;
+        recon_assessment: any;
+        recon_assessment_request: any;
+        recon_assessment_source: any;
+        recon_decision_request: any;
+        recon_attempts_used: any;
+        recon_attempts_max: any;
+        recon_hypothesis: any;
+        implementation_status: any;
+        implementation_summary: any;
+        implementation_environment_issues: any;
+        verify_status: any;
+        verify_summary: any;
+        verify_decision_request: any;
+        proof_assessment: any;
+        proof_assessment_request: any;
+        proof_assessment_source: any;
+        merge_recommendation: any;
+        before_cdn: any;
+        after_cdn: any;
+        prod_cdn: any;
+        pr_url: any;
+        pr_branch: any;
+        pr_state: any;
+        ship_commit: any;
+        ship_remote_head: any;
+        merge_commit: any;
+        merged_at: any;
+        ship_push: any;
+        ship_report: any;
+        cleanup_report: any;
+        proof_comment_url: any;
+        proof_assessment_comment_url: any;
+        marked_ready: any;
+        left_draft: any;
+        ci_status: any;
+        reviewer: any;
+        active_checkpoint: any;
+        active_checkpoint_stage: any;
+        continue_with_stage: WorkflowStage | null;
+        stage_decision_request: any;
+        stage_attempt_counts: {
+            [k: string]: number;
+        };
+        explicit_stage_gate: boolean;
+        last_requested_advance_stage: any;
+        recon_results: any;
+        verify_results: any;
+    };
+};
+
+export { BUNDLED_RIDDLE_PROOF_DIR, CHECKPOINT_CONTRACT_VERSION, type CheckpointInputContract, type PluginConfig, RIDDLE_PROOF_DIR_CANDIDATES, type ShipGateValidation, WORKFLOW_STAGE_ORDER, type WorkflowAction, type WorkflowParams, type WorkflowStage, buildCheckpointContract, buildSetupArgs, checkpointContinueStage, clearStageDecisionRequest, ensureAction, ensureStageLoopState, invalidateVerifyEvidence, mergeStateFromParams, readState, recordStageAttempt, requiredBaselineLabelsForState, resolveConfig, resolveRiddleProofDir, setStageDecisionRequest, summarizeState, validateShipGate, workflowFile, writeState };

package/dist/proof-run-core.js

@@ -0,0 +1,48 @@
+import {
+  BUNDLED_RIDDLE_PROOF_DIR,
+  CHECKPOINT_CONTRACT_VERSION,
+  RIDDLE_PROOF_DIR_CANDIDATES,
+  WORKFLOW_STAGE_ORDER,
+  buildCheckpointContract,
+  buildSetupArgs,
+  checkpointContinueStage,
+  clearStageDecisionRequest,
+  ensureAction,
+  ensureStageLoopState,
+  invalidateVerifyEvidence,
+  mergeStateFromParams,
+  readState,
+  recordStageAttempt,
+  requiredBaselineLabelsForState,
+  resolveConfig,
+  resolveRiddleProofDir,
+  setStageDecisionRequest,
+  summarizeState,
+  validateShipGate,
+  workflowFile,
+  writeState
+} from "./chunk-3MHFLQKG.js";
+export {
+  BUNDLED_RIDDLE_PROOF_DIR,
+  CHECKPOINT_CONTRACT_VERSION,
+  RIDDLE_PROOF_DIR_CANDIDATES,
+  WORKFLOW_STAGE_ORDER,
+  buildCheckpointContract,
+  buildSetupArgs,
+  checkpointContinueStage,
+  clearStageDecisionRequest,
+  ensureAction,
+  ensureStageLoopState,
+  invalidateVerifyEvidence,
+  mergeStateFromParams,
+  readState,
+  recordStageAttempt,
+  requiredBaselineLabelsForState,
+  resolveConfig,
+  resolveRiddleProofDir,
+  setStageDecisionRequest,
+  summarizeState,
+  validateShipGate,
+  workflowFile,
+  writeState
+};