project-tiny-context-harness 0.2.84 → 0.6.0

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

@@ -1,440 +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 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[];
-        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[];

package/dist/lib/superpowers-task-state-schema.js

@@ -1,66 +0,0 @@
-export const SUPERPOWERS_TASK_STATE_SCHEMA_VERSION = "superpowers-task-state-v1";
-export const SUPERPOWERS_TASK_STATE_JSON_SCHEMA = {
-    $schema: "https://json-schema.org/draft/2020-12/schema",
-    $id: "https://project-tiny-context-harness.local/superpowers-task-state.schema.json",
-    title: "Superpowers Long-Task State",
-    type: "object",
-    required: [
-        "meta",
-        "sources",
-        "context",
-        "delivery",
-        "graph",
-        "attempts",
-        "current_attempt_id",
-        "required_command_specs",
-        "command_runs",
-        "negative_evidence_records",
-        "slices",
-        "evidence",
-        "gates",
-        "progress",
-        "blockers",
-        "final"
-    ],
-    properties: {
-        meta: {
-            type: "object",
-            required: ["task_id", "plan_slug", "created_at", "updated_at", "schema_version", "product_goal_complete", "acceptance_target_status"],
-            properties: {
-                schema_version: { const: SUPERPOWERS_TASK_STATE_SCHEMA_VERSION },
-                product_goal_complete: { type: "boolean" },
-                acceptance_target_status: { type: "string" }
-            }
-        },
-        sources: { type: "object" },
-        context: { type: "object" },
-        delivery: { type: "object" },
-        graph: { type: "object" },
-        attempts: { type: "array" },
-        current_attempt_id: { type: "string" },
-        required_command_specs: { type: "array" },
-        command_runs: { type: "array" },
-        negative_evidence_records: { type: "array" },
-        slices: { type: "array" },
-        evidence: { type: "array" },
-        gates: { type: "object" },
-        progress: { type: "object" },
-        blockers: { type: "array" },
-        final: { type: "object" }
-    }
-};
-export function isRecord(value) {
-    return Boolean(value && typeof value === "object" && !Array.isArray(value));
-}
-export function asStringArray(value) {
-    if (Array.isArray(value)) {
-        return value.flatMap(asStringArray);
-    }
-    if (value === undefined || value === null) {
-        return [];
-    }
-    return String(value)
-        .split(/[,;\n]/)
-        .map((item) => item.trim())
-        .filter(Boolean);
-}

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

@@ -1,3 +0,0 @@
-import { type SuperpowersTaskState } from "./superpowers-task-state-schema.js";
-export declare function validateShape(state: SuperpowersTaskState, errors: string[]): void;
-export declare function hasUsableShape(state: SuperpowersTaskState): boolean;

package/dist/lib/superpowers-task-state-shape.js

@@ -1,50 +0,0 @@
-import { isRecord } from "./superpowers-task-state-schema.js";
-export function validateShape(state, errors) {
-    if (state.meta?.schema_version !== "superpowers-task-state-v1") {
-        errors.push("task-state.json schema_version must be superpowers-task-state-v1");
-    }
-    for (const key of [
-        "meta",
-        "sources",
-        "context",
-        "delivery",
-        "graph",
-        "attempts",
-        "current_attempt_id",
-        "required_command_specs",
-        "command_runs",
-        "negative_evidence_records",
-        "slices",
-        "evidence",
-        "gates",
-        "progress",
-        "blockers",
-        "final"
-    ]) {
-        if (!(key in state)) {
-            errors.push(`task-state.json is missing section: ${key}`);
-        }
-    }
-}
-export function hasUsableShape(state) {
-    const candidate = state;
-    return (isRecord(candidate.meta) &&
-        isRecord(candidate.sources) &&
-        isRecord(candidate.context) &&
-        isRecord(candidate.delivery) &&
-        isRecord(candidate.graph) &&
-        isRecord(candidate.graph.plan_items) &&
-        isRecord(candidate.graph.acceptance_criteria) &&
-        isRecord(candidate.graph.proof_layers) &&
-        Array.isArray(candidate.attempts) &&
-        typeof candidate.current_attempt_id === "string" &&
-        Array.isArray(candidate.required_command_specs) &&
-        Array.isArray(candidate.command_runs) &&
-        Array.isArray(candidate.negative_evidence_records) &&
-        Array.isArray(candidate.slices) &&
-        Array.isArray(candidate.evidence) &&
-        isRecord(candidate.gates) &&
-        isRecord(candidate.progress) &&
-        Array.isArray(candidate.blockers) &&
-        isRecord(candidate.final));
-}

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

@@ -1,16 +0,0 @@
-import { type SuperpowersTaskState } from "./superpowers-task-state-schema.js";
-export interface InitializeSuperpowersTaskOptions {
-    taskId?: string;
-    planSlug?: string;
-    goalType?: string;
-}
-export declare function initializeSuperpowersTask(workdir: string, options?: InitializeSuperpowersTaskOptions): Promise<SuperpowersTaskState>;
-export declare function loadSuperpowersState(workdir: string): Promise<SuperpowersTaskState>;
-export declare function saveSuperpowersState(workdir: string, state: SuperpowersTaskState): Promise<void>;
-export declare function applySliceDelta(workdir: string, deltaFile: string): Promise<SuperpowersTaskState>;
-export declare function refreshSourceHashes(workdir: string, state: SuperpowersTaskState): Promise<void>;
-export declare function recomputeStatuses(state: SuperpowersTaskState): void;
-export declare function emptyProgressState(): SuperpowersTaskState["progress"];
-export declare function sourceRecords(workdir: string): Promise<SuperpowersTaskState["sources"]>;
-export declare function sha256(value: string): string;
-export declare function stableJson(value: unknown): string;