project-tiny-context-harness 0.2.85 → 0.6.0

package/dist/lib/superpowers-task-source-parser.js

@@ -1,218 +0,0 @@
-import { compileError, throwCompileErrors } from "./superpowers-task-compile-diagnostics.js";
-export function parseHeadingDefinitions(content, options) {
-    const lines = splitLines(content);
-    const errors = [];
-    rejectListStyleDefinitions(lines, options, errors);
-    const headings = findDefinitionHeadings(lines, options.kind);
-    const seen = new Map();
-    const definitions = [];
-    for (const heading of headings) {
-        const firstLine = seen.get(heading.id);
-        if (firstLine !== undefined) {
-            errors.push(compileError(`${heading.id} duplicate definition at ${options.sourceFile}:${firstLine} and ${options.sourceFile}:${heading.line}`, "blocking_unparseable_object", options.sourceFile, heading.line, heading.id, "duplicate object ids make PI/AC graph references ambiguous", "keep exactly one heading definition for this id"));
-            continue;
-        }
-        seen.set(heading.id, heading.line);
-        const sourceEndLine = sectionEndLine(lines, heading.index, heading.level);
-        const section = lines.slice(heading.index, sourceEndLine);
-        definitions.push({
-            id: heading.id,
-            title: heading.title,
-            fields: parseFields(section, options.sourceFile, heading.line, options.allowedFields, errors),
-            source_file: options.sourceFile,
-            source_start_line: heading.line,
-            source_end_line: sourceEndLine
-        });
-    }
-    if (definitions.length === 0) {
-        errors.push(compileError(`${options.sourceFile} must define ${options.kind} items with Markdown headings like "## ${options.kind}-001: ..."`, options.kind === "PI" ? "blocking_missing_plan" : "blocking_missing_checklist", options.sourceFile, 1, `${options.kind}_heading`, "the source cannot compile without at least one object heading", `add headings like ## ${options.kind}-001: ...`));
-    }
-    throwCompileErrors(errors);
-    return definitions;
-}
-export function parseDocumentFields(content, sourceFile, allowedFields) {
-    const errors = [];
-    const fields = parseFields(splitLines(content), sourceFile, 1, allowedFields, errors);
-    throwCompileErrors(errors);
-    return fields;
-}
-export function fieldText(fields, name) {
-    const field = fields[name];
-    if (!field) {
-        return "";
-    }
-    return Array.isArray(field.value) ? field.value.join("\n").trim() : field.value.trim();
-}
-export function fieldArray(fields, name) {
-    const field = fields[name];
-    if (!field) {
-        return [];
-    }
-    if (Array.isArray(field.value)) {
-        return field.value.flatMap(splitScalarArray).filter(Boolean);
-    }
-    return splitScalarArray(field.value);
-}
-export function fieldBoolean(fields, name) {
-    const value = fieldText(fields, name).toLowerCase();
-    if (value === "true") {
-        return true;
-    }
-    if (value === "false") {
-        return false;
-    }
-    return null;
-}
-export function fieldLine(fields, name) {
-    return fields[name]?.line;
-}
-function parseFields(lines, sourceFile, startLine, allowedFields, errors) {
-    const fields = {};
-    for (let index = 0; index < lines.length; index++) {
-        const line = lines[index];
-        const lineNumber = startLine + index;
-        const heading = /^(#{1,6})\s+(.+?)\s*$/.exec(line);
-        if (heading && allowedFields.has(heading[2].trim())) {
-            errors.push(compileError(`${sourceFile}:${lineNumber} field headings are not supported; use "${heading[2].trim()}: ..."`, "blocking_unparseable_object", sourceFile, lineNumber, heading[2].trim(), "field heading syntax is ambiguous in compiled source", "use key: value fields"));
-            continue;
-        }
-        if (/^\s*\|/.test(line) && containsKnownField(line, allowedFields)) {
-            errors.push(compileError(`${sourceFile}:${lineNumber} table fields are not supported; use key: value fields`, "blocking_unparseable_object", sourceFile, lineNumber, "table_field", "table fields cannot be parsed into canonical state safely", "use key: value fields"));
-            continue;
-        }
-        const match = /^([a-z][a-z0-9_]*)\s*:\s*(.*)$/.exec(line);
-        if (!match) {
-            continue;
-        }
-        const name = match[1];
-        if (!allowedFields.has(name)) {
-            errors.push(compileError(`${sourceFile}:${lineNumber} unknown field ${name}`, "blocking_unparseable_object", sourceFile, lineNumber, name, "unknown fields may hide required source semantics", "rename the field to a supported canonical key"));
-            continue;
-        }
-        if (fields[name]) {
-            errors.push(compileError(`${sourceFile}:${lineNumber} duplicate field ${name}`, "blocking_unparseable_object", sourceFile, lineNumber, name, "duplicate fields make canonical source values ambiguous", "keep one field value"));
-            continue;
-        }
-        const parsed = parseFieldValue(lines, index, match[2], sourceFile, lineNumber, errors);
-        fields[name] = { value: parsed.value, line: lineNumber };
-        index = parsed.endIndex;
-    }
-    return fields;
-}
-function parseFieldValue(lines, index, rest, sourceFile, lineNumber, errors) {
-    const trimmed = rest.trim();
-    if (trimmed === "|") {
-        const block = [];
-        let cursor = index + 1;
-        for (; cursor < lines.length; cursor++) {
-            const next = lines[cursor];
-            if (next.trim() && isTopLevelFieldOrHeading(next)) {
-                break;
-            }
-            block.push(next.replace(/^\s{0,2}/, ""));
-        }
-        if (block.length === 0) {
-            errors.push(compileError(`${sourceFile}:${lineNumber} block field must include indented text`, "blocking_unparseable_object", sourceFile, lineNumber, "block_field", "empty block field cannot prove source intent", "add indented text or remove the field"));
-        }
-        return { value: block.join("\n").trim(), endIndex: cursor - 1 };
-    }
-    if (trimmed) {
-        return { value: cleanValue(trimmed), endIndex: index };
-    }
-    const values = [];
-    let cursor = index + 1;
-    for (; cursor < lines.length; cursor++) {
-        const next = lines[cursor];
-        if (!next.trim()) {
-            continue;
-        }
-        if (isTopLevelFieldOrHeading(next)) {
-            break;
-        }
-        const listItem = /^\s*[-*+]\s+(.+?)\s*$/.exec(next);
-        if (!listItem) {
-            errors.push(compileError(`${sourceFile}:${cursor + 1} field lists must use indented "- item" entries or key: | blocks`, "blocking_unparseable_object", sourceFile, cursor + 1, "list_field", "list syntax cannot be parsed into canonical arrays", "use indented '- item' entries or key: | blocks"));
-            continue;
-        }
-        values.push(cleanValue(listItem[1]));
-    }
-    return { value: values, endIndex: cursor - 1 };
-}
-function isTopLevelFieldOrHeading(line) {
-    if (/^(#{1,6})\s+/.test(line)) {
-        return true;
-    }
-    return /^([a-z][a-z0-9_]*)\s*:/.test(line);
-}
-function rejectListStyleDefinitions(lines, options, errors) {
-    const idPattern = options.kind === "PI" ? "PI" : "AC";
-    const listPattern = new RegExp(`^\\s*[-*+]\\s+(${idPattern}-\\d{3,})\\b\\s*[:.-]?`, "i");
-    for (let index = 0; index < lines.length; index++) {
-        const match = listPattern.exec(lines[index]);
-        if (!match) {
-            continue;
-        }
-        const block = listItemBlock(lines, index);
-        if (!block.some((line) => containsKnownField(line, options.allowedFields))) {
-            continue;
-        }
-        const id = match[1].toUpperCase();
-        errors.push(compileError(`${id} list-style definition is not allowed at ${options.sourceFile}:${index + 1}; use "## ${id}: ..."`, "blocking_unparseable_object", options.sourceFile, index + 1, id, "list-style object definitions are not canonical PI/AC headings", `use "## ${id}: ..."`));
-    }
-}
-function listItemBlock(lines, start) {
-    const block = [lines[start]];
-    for (let index = start + 1; index < lines.length; index++) {
-        const line = lines[index];
-        if (line.trim() && !/^\s/.test(line)) {
-            break;
-        }
-        block.push(line);
-    }
-    return block;
-}
-function findDefinitionHeadings(lines, kind) {
-    const pattern = new RegExp(`^(#{1,6})\\s+(${kind}-\\d{3,})\\b(?:\\s*[:.-]\\s*|\\s+)?(.*?)\\s*$`, "i");
-    return lines.flatMap((line, index) => {
-        const match = pattern.exec(line);
-        if (!match) {
-            return [];
-        }
-        return [{
-                id: match[2].toUpperCase(),
-                level: match[1].length,
-                title: cleanValue(match[3]) || match[2].toUpperCase(),
-                index,
-                line: index + 1
-            }];
-    });
-}
-function sectionEndLine(lines, headingIndex, headingLevel) {
-    for (let index = headingIndex + 1; index < lines.length; index++) {
-        const match = /^(#{1,6})\s+/.exec(lines[index]);
-        if (match && match[1].length <= headingLevel) {
-            return index;
-        }
-    }
-    return lines.length;
-}
-function containsKnownField(line, allowedFields) {
-    for (const field of allowedFields) {
-        if (new RegExp(`\\b${field}\\b\\s*:`, "i").test(line) || new RegExp(`\\b${field}\\b`, "i").test(line)) {
-            return true;
-        }
-    }
-    return false;
-}
-function splitScalarArray(value) {
-    return value
-        .split(/[,;\n]/)
-        .map((item) => cleanValue(item))
-        .filter(Boolean);
-}
-function splitLines(content) {
-    return content.replace(/\r\n/g, "\n").replace(/\r/g, "\n").split("\n");
-}
-function cleanValue(value) {
-    return value.replace(/^[-#*\s]+/, "").trim();
-}

package/dist/lib/superpowers-task-state-schema.d.ts

@@ -1,460 +0,0 @@
-export declare const SUPERPOWERS_TASK_STATE_SCHEMA_VERSION = "superpowers-task-state-v1";
-export declare const SUPERPOWERS_TASK_STATE_JSON_SCHEMA: {
-    readonly $schema: "https://json-schema.org/draft/2020-12/schema";
-    readonly $id: "https://project-tiny-context-harness.local/superpowers-task-state.schema.json";
-    readonly title: "Superpowers Long-Task State";
-    readonly type: "object";
-    readonly required: readonly ["meta", "sources", "context", "delivery", "graph", "attempts", "current_attempt_id", "required_command_specs", "command_runs", "negative_evidence_records", "slices", "evidence", "gates", "progress", "blockers", "final"];
-    readonly properties: {
-        readonly meta: {
-            readonly type: "object";
-            readonly required: readonly ["task_id", "plan_slug", "created_at", "updated_at", "schema_version", "product_goal_complete", "acceptance_target_status"];
-            readonly properties: {
-                readonly schema_version: {
-                    readonly const: "superpowers-task-state-v1";
-                };
-                readonly product_goal_complete: {
-                    readonly type: "boolean";
-                };
-                readonly acceptance_target_status: {
-                    readonly type: "string";
-                };
-            };
-        };
-        readonly sources: {
-            readonly type: "object";
-        };
-        readonly context: {
-            readonly type: "object";
-        };
-        readonly delivery: {
-            readonly type: "object";
-        };
-        readonly graph: {
-            readonly type: "object";
-        };
-        readonly attempts: {
-            readonly type: "array";
-        };
-        readonly current_attempt_id: {
-            readonly type: "string";
-        };
-        readonly required_command_specs: {
-            readonly type: "array";
-        };
-        readonly command_runs: {
-            readonly type: "array";
-        };
-        readonly negative_evidence_records: {
-            readonly type: "array";
-        };
-        readonly slices: {
-            readonly type: "array";
-        };
-        readonly evidence: {
-            readonly type: "array";
-        };
-        readonly gates: {
-            readonly type: "object";
-        };
-        readonly progress: {
-            readonly type: "object";
-        };
-        readonly blockers: {
-            readonly type: "array";
-        };
-        readonly final: {
-            readonly type: "object";
-        };
-    };
-};
-export type SuperpowersProofLayerStatus = "missing" | "satisfied" | "invalidated" | "blocked";
-export type SuperpowersPlanItemStatus = "not_started" | "in_progress" | "complete" | "partial" | "blocked" | "invalidated" | "out_of_scope_NA";
-export type SuperpowersAcceptanceStatus = "not_run" | "complete" | "partial" | "blocked" | "invalidated" | "under_specified" | "out_of_scope_NA";
-export type SuperpowersAttemptMode = "product_task" | "harness_task";
-export type SuperpowersProductDeliveryScope = "system_capability_build" | "representative_sample_validation" | "full_population_operation" | "mixed_scope_requires_boundary";
-export type SuperpowersPlanDeliveryScope = "system_capability_build" | "representative_sample_validation" | "full_population_operation" | "out_of_scope_backlog";
-export type SuperpowersAcceptanceScope = "system_capability_build" | "representative_sample_validation" | "full_population_operation" | "full_population_not_required";
-export type SuperpowersScopeFitDecision = "fit_for_three_inputs" | "selected_from_split" | "blocked_for_decision" | "";
-export type CompletionOutputStatus = "accept" | "reject" | "blocked";
-export type FinalGateBlockerCategory = "none" | "product_evidence_failed" | "missing_current_evidence" | "stale_or_contradictory_evidence" | "generated_output_mismatch" | "self_recoverable_generated_output_mismatch" | "transient_state_bookkeeping" | "environment_blocked" | "contract_blocked" | "harness_drift_blocked";
-export interface FinalGateCandidateStateRecord {
-    final_gate_ran: boolean;
-    product_goal_complete: boolean;
-    acceptance_target_status: string;
-    completion_output_status: CompletionOutputStatus;
-    generated_output_mismatch: boolean;
-    source: string;
-}
-export interface FinalGateBlockerTriageRecord {
-    category: FinalGateBlockerCategory;
-    self_recoverable: boolean;
-    recovery_attempted: boolean;
-    recovery_action: string;
-    next_action: string;
-    details: string[];
-    blocker_count: number;
-}
-export interface SuperpowersTaskState {
-    meta: {
-        task_id: string;
-        plan_slug: string;
-        created_at: string;
-        updated_at: string;
-        schema_version: typeof SUPERPOWERS_TASK_STATE_SCHEMA_VERSION;
-        goal_type: string;
-        product_goal_complete: boolean;
-        acceptance_target_status: string;
-        audit_task_complete: boolean;
-        completion_output_status?: CompletionOutputStatus;
-    };
-    sources: Record<string, SuperpowersSourceRecord>;
-    context: {
-        product_context_delta: "none" | "required";
-        technical_context_delta: "none" | "required";
-        source_to_context_coverage: Record<string, unknown>[];
-        context_to_implementation_binding: Record<string, unknown>[];
-    };
-    delivery: SuperpowersDeliveryState;
-    graph: {
-        plan_items: Record<string, SuperpowersPlanItem>;
-        acceptance_criteria: Record<string, SuperpowersAcceptanceCriterion>;
-        proof_layers: Record<string, SuperpowersProofLayer>;
-        edges: SuperpowersGraphEdge[];
-    };
-    attempts: ExecutionAttempt[];
-    current_attempt_id: string;
-    required_command_specs: RequiredCommandSpec[];
-    command_runs: CommandRunRecord[];
-    negative_evidence_records: NegativeEvidenceRecord[];
-    slices: SuperpowersSliceRecord[];
-    evidence: SuperpowersEvidenceRecord[];
-    gates: Record<string, unknown>;
-    progress: SuperpowersProgressState;
-    blockers: unknown[];
-    final: {
-        product_goal_complete: boolean;
-        acceptance_target_status: string;
-        audit_task_complete: boolean;
-        completion_output_status?: CompletionOutputStatus;
-        final_answer_allowed?: boolean;
-        required_user_visible_status?: "accepted" | "rejected" | "blocked";
-        final_answer?: CompletionOutputStatus;
-        exit_code?: 0 | 1 | 2;
-        blocked_reasons?: string[];
-        rejection_reasons?: string[];
-        generated_output_mismatch?: boolean;
-        false_completion_phrase_findings?: unknown[];
-        blocker_triage?: FinalGateBlockerTriageRecord;
-        candidate_state?: FinalGateCandidateStateRecord;
-        completion_basis: string[];
-        next_required_actions?: string[];
-    };
-}
-export interface ExecutionAttempt {
-    task_attempt_id: string;
-    source_bundle_hash: string;
-    product_source_hash: string;
-    technical_plan_hash: string;
-    acceptance_checklist_hash: string;
-    git_head: string;
-    git_status_short: string;
-    tracked_diff_hash: string;
-    relevant_untracked_hash: string;
-    untracked_relevant_hash?: string;
-    worktree_fingerprint: string;
-    started_at: string;
-    ended_at: string | null;
-    finalized_at?: string | null;
-    required_command_specs_hash: string;
-    mode: SuperpowersAttemptMode;
-    changed_files?: string[];
-}
-export interface RequiredCommandSpec {
-    command_spec_id: string;
-    ac_id: string;
-    proof_layers: string[];
-    command: string;
-    assertion_artifacts: string[];
-    required_test_ids: string[];
-    machine_blocking: boolean;
-    assertion_result_required: boolean;
-    positive_assertions: string[];
-    negative_assertions: string[];
-    invalid_completion_signals: string[];
-    final_evidence_expected: string[];
-}
-export interface CommandRunRecord {
-    command_run_id: string;
-    task_attempt_id: string;
-    command_spec_id: string;
-    ac_id: string;
-    proof_layer: string;
-    command_line: string;
-    exit_code: number;
-    started_at: string;
-    completed_at?: string;
-    ended_at: string;
-    artifact_paths: string[];
-}
-export interface NegativeEvidenceRecord {
-    negative_evidence_id: string;
-    task_attempt_id: string;
-    target_ac_ids: string[];
-    target_proof_layers: string[];
-    artifact_path: string;
-    artifact_sha256?: string;
-    status: "passed" | "failed" | "blocked" | "stale";
-}
-export interface SuperpowersSourceRecord {
-    path: string;
-    sha256: string;
-    authority: string;
-}
-export interface SuperpowersDeliveryState {
-    product_architecture_scope: SuperpowersProductArchitectureScope;
-    scope_conflicts: string[];
-}
-export interface SuperpowersProductArchitectureScope {
-    delivery_scope: SuperpowersProductDeliveryScope | "";
-    full_population_required: boolean | null;
-    representative_samples_validate: string[];
-    representative_samples_do_not_validate: string[];
-    out_of_scope_backlog: string[];
-    scope_fit_decision: SuperpowersScopeFitDecision;
-    selected_scope_fit_slice: string;
-    owner_boundary: string;
-    primary_capability_path: string;
-    non_completing_outcomes: string[];
-    assertion_policy: string;
-    source_authority: string;
-    product_goal: string;
-    surface_ia_lock?: string;
-    decision_lock?: string;
-    context_delta?: string;
-    source_to_context_coverage?: string;
-    acceptance_semantics?: string;
-    impact?: string;
-}
-export interface SuperpowersProgressState {
-    system_capability_progress: Record<string, unknown>;
-    representative_sample_progress: Record<string, unknown>;
-    real_object_coverage: Record<string, unknown>;
-    full_population_operation_progress: Record<string, unknown>;
-    [key: string]: unknown;
-}
-export interface SuperpowersPlanItem {
-    requirement: string;
-    source_file: string;
-    source_start_line: number;
-    source_end_line: number;
-    delivery_scope: SuperpowersPlanDeliveryScope | "";
-    capability_target: string;
-    representative_samples: string[];
-    full_population_boundary: string;
-    non_required_population: string[];
-    owner_boundary: string;
-    primary_capability_path: string;
-    trigger_contract: string;
-    state_transition_contract: string;
-    observable_result_contract: string;
-    assertion_support: string;
-    required_assertion_commands: string[];
-    invalid_implementation_shortcuts: string[];
-    owner_surfaces: string[];
-    forbidden_surfaces: string[];
-    implementation_paths: string[];
-    required_tests: string[];
-    proof_layer_ids?: string[];
-    requirement_ref?: string;
-    decision_id?: string;
-    api_schema_changes?: string;
-    state_machine?: string;
-    data_flow?: string;
-    worker_runtime_behavior?: string;
-    ui_ia_changes?: string;
-    migration_plan?: string;
-    evidence_artifacts?: string[];
-    non_completing_shortcuts?: string[];
-    substitution_policy?: string[];
-    drift_severity?: string;
-    partial_conditions?: string[];
-    blockers?: string[];
-    explicit_no_test_scope?: boolean;
-    context_fact_refs?: string[];
-    status: SuperpowersPlanItemStatus;
-    related_acs: string[];
-    required_proof_layers: string[];
-}
-export interface SuperpowersAcceptanceCriterion {
-    scope: string;
-    source_file: string;
-    source_start_line: number;
-    source_end_line: number;
-    acceptance_scope: SuperpowersAcceptanceScope | "";
-    ac_validates: string[];
-    ac_does_not_validate: string[];
-    sample_boundary: string;
-    full_population_required: boolean | null;
-    related_plan_items: string[];
-    required_proof_layers: string[];
-    assertion_requirements?: AssertionRequirement[];
-    assertion_command?: string;
-    assertion_artifacts?: string[];
-    positive_assertions?: string[];
-    negative_assertions?: string[];
-    machine_blocking?: boolean | null;
-    invalid_completion_signals?: string[];
-    assertion_result_required?: boolean | null;
-    ac_type?: string;
-    proof_chain?: string[];
-    required_test_ids?: string[];
-    fail_conditions?: string[];
-    invalid_evidence?: string[];
-    substitution_policy?: string[];
-    missing_layer_downgrade?: string;
-    auditor_expectation?: string;
-    out_of_scope_na_approval_source?: string;
-    hard_blockers?: string[];
-    validates_explanation?: string;
-    does_not_validate_explanation?: string;
-    final_evidence_expected?: string[];
-    verification_method?: string[];
-    test_cases?: string[];
-    explicit_no_test_scope?: boolean;
-    status: SuperpowersAcceptanceStatus;
-}
-export interface AssertionRequirement {
-    proof_layer: string;
-    required: boolean;
-    machine_blocking: boolean;
-    assertion_result_required?: boolean;
-    assertion_command?: string;
-    assertion_artifacts?: string[];
-    invalid_completion_signals?: string[];
-    required_test_ids: string[];
-    positive_assertions: string[];
-    negative_assertions: string[];
-}
-export interface SuperpowersProofLayer {
-    required: boolean;
-    status: SuperpowersProofLayerStatus;
-    evidence_ids: string[];
-}
-export interface SuperpowersGraphEdge {
-    from: string;
-    to: string;
-    type: "supports" | string;
-}
-export interface SuperpowersSliceRecord {
-    slice_id: string;
-    slice_goal: string;
-    touched_plan_items: string[];
-    touched_acs: string[];
-    missing_layer_classes?: string[];
-    code_changes: string[];
-    evidence_records: string[];
-    closed_layers: string[];
-    remaining_layers: string[];
-    blockers: unknown[];
-    cleanup_assertions: string[];
-    progress_value: {
-        type: string;
-        closed_items: string[];
-        why_it_reduces_rework: string;
-    };
-}
-export interface SuperpowersEvidenceRecord {
-    schema_version?: "evidence-record-v1" | "evidence-record-v2" | string;
-    evidence_id: string;
-    task_attempt_id?: string;
-    generated_at?: string;
-    source_bundle_hash?: string;
-    product_source_hash?: string;
-    technical_plan_hash?: string;
-    acceptance_checklist_hash?: string;
-    git_head?: string;
-    git_status_short?: string;
-    tracked_diff_hash?: string;
-    relevant_untracked_hash?: string;
-    covers_dirty_worktree?: boolean;
-    worktree_fingerprint?: string;
-    command_spec_id?: string;
-    command_run_id?: string;
-    command_line?: string;
-    artifact_path?: string;
-    artifact_sha256?: string;
-    artifact_mtime?: string;
-    target_ac_ids?: string[];
-    target_pi_ids?: string[];
-    target_proof_layers?: string[];
-    slice_id: string;
-    type: string;
-    freshness: {
-        created_at: string;
-        valid_for: string;
-        stale_after: string | null;
-    };
-    command?: string;
-    command_exit_code?: number;
-    artifact_paths: string[];
-    proves: string[];
-    does_not_prove: string[];
-    redaction: {
-        checked: boolean;
-        contains_secret: boolean;
-    };
-    reviewability: {
-        external_reviewer_can_reproduce: boolean;
-        reproduction_steps: string;
-    };
-    assertion_result?: AssertionResult;
-    negative_evidence_scan?: NegativeEvidenceScan;
-    sibling_substitution_used?: boolean;
-    sibling_substitution_approval_source?: string;
-}
-export interface AssertionResult {
-    schema_version: "assertion-result-v1" | "assertion-result-v2";
-    status: "passed" | "failed" | "blocked" | "stale";
-    runner: string;
-    exit_code: number;
-    target_ac_ids: string[];
-    target_pi_ids?: string[];
-    target_proof_layers: string[];
-    owner_surface?: string;
-    route?: string;
-    action?: string;
-    positive_assertions: AssertionCheck[];
-    negative_assertions: AssertionCheck[];
-    invalid_completion_signals?: AssertionCheck[];
-    negative_evidence_scan?: NegativeEvidenceScan;
-    required_test_ids?: string[];
-    artifacts?: string[];
-}
-export interface AssertionCheck {
-    id: string;
-    status: "passed" | "failed" | "blocked" | "stale";
-    actual?: string;
-    expected?: string;
-    forbidden_text?: string;
-}
-export interface NegativeEvidenceScan {
-    schema_version: "negative-evidence-scan-v1";
-    status: "passed" | "failed" | "blocked" | "stale";
-    target_ac_ids: string[];
-    target_proof_layers?: string[];
-    invalid_completion_signals_checked?: string[];
-    owner_surface?: string;
-    route?: string;
-    forbidden_findings: NegativeFinding[];
-    required_findings: AssertionCheck[];
-    artifacts: string[];
-}
-export interface NegativeFinding {
-    id: string;
-    status: "found" | "not_found";
-    forbidden_text?: string;
-    actual?: string;
-}
-export declare function isRecord(value: unknown): value is Record<string, unknown>;
-export declare function asStringArray(value: unknown): string[];