import { Type, type Static } from "typebox";
export declare const LinkSchema: Type.TObject<{
    url: Type.TString;
    note: Type.TOptional<Type.TString>;
}>;
export declare const LineageSchema: Type.TObject<{
    spec: Type.TString;
    reason: Type.TString;
}>;
export declare const OpenDecisionSchema: Type.TObject<{
    id: Type.TString;
    question: Type.TString;
    tripwire: Type.TString;
    decides: Type.TString;
}>;
/**
 * An advisory a spec author has considered and accepted, with the reason a reviewer
 * reads. Modelled on the criterion amendment record: an act with a named authority
 * and a timestamp, never a silent flag.
 *
 * It cannot reach an error. Dispositioning an error would be exactly the blanket
 * suppression this field exists instead of.
 */
export declare const AdvisoryDispositionSchema: Type.TObject<{
    /** The advisory finding code this accepts, for example touches-concentration. */
    code: Type.TString;
    /** The specific subject the advisory named, so one reason cannot cover a whole class. */
    target: Type.TString;
    reason: Type.TString;
    authority: Type.TString;
    at: Type.TString;
}>;
export declare const RefSchema: Type.TObject<{
    path: Type.TString;
    lines: Type.TOptional<Type.TString>;
    why: Type.TString;
}>;
/** The complete execution block in Workspec v2. No other keys are permitted. */
export declare const WorkerSchema: Type.TObject<{
    profile: Type.TOptional<Type.TString>;
    agent: Type.TOptional<Type.TString>;
    skills: Type.TOptional<Type.TArray<Type.TString>>;
    model: Type.TOptional<Type.TString>;
}>;
export declare const CommandExpectationSchema: Type.TObject<{
    exit: Type.TInteger;
    output_includes: Type.TString;
}>;
export declare const CommandEvidenceSchema: Type.TObject<{
    kind: Type.TLiteral<"command">;
    run: Type.TString;
    inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
    expect: Type.TObject<{
        exit: Type.TInteger;
        output_includes: Type.TString;
    }>;
    timeout_ms: Type.TOptional<Type.TInteger>;
}>;
export declare const AgentEvidenceSchema: Type.TObject<{
    kind: Type.TLiteral<"agent">;
    agent: Type.TString;
    inputs: Type.TArray<Type.TString>;
    rubric: Type.TString;
}>;
export declare const UserEvidenceSchema: Type.TObject<{
    kind: Type.TLiteral<"user">;
    prompt: Type.TString;
}>;
export declare const EvidenceSchema: Type.TUnion<[Type.TObject<{
    kind: Type.TLiteral<"command">;
    run: Type.TString;
    inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
    expect: Type.TObject<{
        exit: Type.TInteger;
        output_includes: Type.TString;
    }>;
    timeout_ms: Type.TOptional<Type.TInteger>;
}>, Type.TObject<{
    kind: Type.TLiteral<"agent">;
    agent: Type.TString;
    inputs: Type.TArray<Type.TString>;
    rubric: Type.TString;
}>, Type.TObject<{
    kind: Type.TLiteral<"user">;
    prompt: Type.TString;
}>]>;
export declare const CriterionAmendmentSchema: Type.TObject<{
    criterion_id: Type.TString;
    before: Type.TString;
    after: Type.TString;
    reason: Type.TString;
    authority: Type.TString;
    at: Type.TString;
}>;
export declare const AcceptanceCriterionSchema: Type.TObject<{
    id: Type.TString;
    statement: Type.TString;
    amendments: Type.TOptional<Type.TArray<Type.TObject<{
        criterion_id: Type.TString;
        before: Type.TString;
        after: Type.TString;
        reason: Type.TString;
        authority: Type.TString;
        at: Type.TString;
    }>>>;
    evidence: Type.TUnion<[Type.TObject<{
        kind: Type.TLiteral<"command">;
        run: Type.TString;
        inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
        expect: Type.TObject<{
            exit: Type.TInteger;
            output_includes: Type.TString;
        }>;
        timeout_ms: Type.TOptional<Type.TInteger>;
    }>, Type.TObject<{
        kind: Type.TLiteral<"agent">;
        agent: Type.TString;
        inputs: Type.TArray<Type.TString>;
        rubric: Type.TString;
    }>, Type.TObject<{
        kind: Type.TLiteral<"user">;
        prompt: Type.TString;
    }>]>;
}>;
/** The recursive runtime schema and its inferred recursive static type. */
export declare const WorkNodeSchema: Type.TCyclic<{
    WorkNode: Type.TUnion<[Type.TObject<{
        acceptance: Type.TArray<Type.TObject<{
            id: Type.TString;
            statement: Type.TString;
            amendments: Type.TOptional<Type.TArray<Type.TObject<{
                criterion_id: Type.TString;
                before: Type.TString;
                after: Type.TString;
                reason: Type.TString;
                authority: Type.TString;
                at: Type.TString;
            }>>>;
            evidence: Type.TUnion<[Type.TObject<{
                kind: Type.TLiteral<"command">;
                run: Type.TString;
                inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
                expect: Type.TObject<{
                    exit: Type.TInteger;
                    output_includes: Type.TString;
                }>;
                timeout_ms: Type.TOptional<Type.TInteger>;
            }>, Type.TObject<{
                kind: Type.TLiteral<"agent">;
                agent: Type.TString;
                inputs: Type.TArray<Type.TString>;
                rubric: Type.TString;
            }>, Type.TObject<{
                kind: Type.TLiteral<"user">;
                prompt: Type.TString;
            }>]>;
        }>>;
        checklist: Type.TOptional<Type.TNever>;
        work: Type.TOptional<Type.TNever>;
        id: Type.TString;
        task: Type.TString;
        description: Type.TOptional<Type.TString>;
        depends_on: Type.TOptional<Type.TArray<Type.TString>>;
        touches: Type.TOptional<Type.TArray<Type.TString>>;
        refs: Type.TOptional<Type.TArray<Type.TObject<{
            path: Type.TString;
            lines: Type.TOptional<Type.TString>;
            why: Type.TString;
        }>>>;
        worker: Type.TOptional<Type.TObject<{
            profile: Type.TOptional<Type.TString>;
            agent: Type.TOptional<Type.TString>;
            skills: Type.TOptional<Type.TArray<Type.TString>>;
            model: Type.TOptional<Type.TString>;
        }>>;
    }>, Type.TObject<{
        acceptance: Type.TArray<Type.TObject<{
            id: Type.TString;
            statement: Type.TString;
            amendments: Type.TOptional<Type.TArray<Type.TObject<{
                criterion_id: Type.TString;
                before: Type.TString;
                after: Type.TString;
                reason: Type.TString;
                authority: Type.TString;
                at: Type.TString;
            }>>>;
            evidence: Type.TUnion<[Type.TObject<{
                kind: Type.TLiteral<"command">;
                run: Type.TString;
                inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
                expect: Type.TObject<{
                    exit: Type.TInteger;
                    output_includes: Type.TString;
                }>;
                timeout_ms: Type.TOptional<Type.TInteger>;
            }>, Type.TObject<{
                kind: Type.TLiteral<"agent">;
                agent: Type.TString;
                inputs: Type.TArray<Type.TString>;
                rubric: Type.TString;
            }>, Type.TObject<{
                kind: Type.TLiteral<"user">;
                prompt: Type.TString;
            }>]>;
        }>>;
        checklist: Type.TArray<Type.TString>;
        work: Type.TOptional<Type.TNever>;
        id: Type.TString;
        task: Type.TString;
        description: Type.TOptional<Type.TString>;
        depends_on: Type.TOptional<Type.TArray<Type.TString>>;
        touches: Type.TOptional<Type.TArray<Type.TString>>;
        refs: Type.TOptional<Type.TArray<Type.TObject<{
            path: Type.TString;
            lines: Type.TOptional<Type.TString>;
            why: Type.TString;
        }>>>;
        worker: Type.TOptional<Type.TObject<{
            profile: Type.TOptional<Type.TString>;
            agent: Type.TOptional<Type.TString>;
            skills: Type.TOptional<Type.TArray<Type.TString>>;
            model: Type.TOptional<Type.TString>;
        }>>;
    }>, Type.TObject<{
        checklist: Type.TOptional<Type.TNever>;
        work: Type.TArray<Type.TRef<"WorkNode">>;
        id: Type.TString;
        task: Type.TString;
        description: Type.TOptional<Type.TString>;
        depends_on: Type.TOptional<Type.TArray<Type.TString>>;
        touches: Type.TOptional<Type.TArray<Type.TString>>;
        refs: Type.TOptional<Type.TArray<Type.TObject<{
            path: Type.TString;
            lines: Type.TOptional<Type.TString>;
            why: Type.TString;
        }>>>;
        worker: Type.TOptional<Type.TObject<{
            profile: Type.TOptional<Type.TString>;
            agent: Type.TOptional<Type.TString>;
            skills: Type.TOptional<Type.TArray<Type.TString>>;
            model: Type.TOptional<Type.TString>;
        }>>;
        acceptance: Type.TOptional<Type.TArray<Type.TObject<{
            id: Type.TString;
            statement: Type.TString;
            amendments: Type.TOptional<Type.TArray<Type.TObject<{
                criterion_id: Type.TString;
                before: Type.TString;
                after: Type.TString;
                reason: Type.TString;
                authority: Type.TString;
                at: Type.TString;
            }>>>;
            evidence: Type.TUnion<[Type.TObject<{
                kind: Type.TLiteral<"command">;
                run: Type.TString;
                inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
                expect: Type.TObject<{
                    exit: Type.TInteger;
                    output_includes: Type.TString;
                }>;
                timeout_ms: Type.TOptional<Type.TInteger>;
            }>, Type.TObject<{
                kind: Type.TLiteral<"agent">;
                agent: Type.TString;
                inputs: Type.TArray<Type.TString>;
                rubric: Type.TString;
            }>, Type.TObject<{
                kind: Type.TLiteral<"user">;
                prompt: Type.TString;
            }>]>;
        }>>>;
    }>]>;
}, "WorkNode">;
export type WorkNode = Static<typeof WorkNodeSchema>;
export declare const WorkspecSchema: Type.TObject<{
    title: Type.TString;
    description: Type.TString;
    intent: Type.TString;
    links: Type.TOptional<Type.TArray<Type.TObject<{
        url: Type.TString;
        note: Type.TOptional<Type.TString>;
    }>>>;
    corrects: Type.TOptional<Type.TArray<Type.TObject<{
        spec: Type.TString;
        reason: Type.TString;
    }>>>;
    supersedes: Type.TOptional<Type.TArray<Type.TObject<{
        spec: Type.TString;
        reason: Type.TString;
    }>>>;
    open_decisions: Type.TOptional<Type.TArray<Type.TObject<{
        id: Type.TString;
        question: Type.TString;
        tripwire: Type.TString;
        decides: Type.TString;
    }>>>;
    advisory_dispositions: Type.TOptional<Type.TArray<Type.TObject<{
        /** The advisory finding code this accepts, for example touches-concentration. */
        code: Type.TString;
        /** The specific subject the advisory named, so one reason cannot cover a whole class. */
        target: Type.TString;
        reason: Type.TString;
        authority: Type.TString;
        at: Type.TString;
    }>>>;
    work: Type.TArray<Type.TCyclic<{
        WorkNode: Type.TUnion<[Type.TObject<{
            acceptance: Type.TArray<Type.TObject<{
                id: Type.TString;
                statement: Type.TString;
                amendments: Type.TOptional<Type.TArray<Type.TObject<{
                    criterion_id: Type.TString;
                    before: Type.TString;
                    after: Type.TString;
                    reason: Type.TString;
                    authority: Type.TString;
                    at: Type.TString;
                }>>>;
                evidence: Type.TUnion<[Type.TObject<{
                    kind: Type.TLiteral<"command">;
                    run: Type.TString;
                    inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
                    expect: Type.TObject<{
                        exit: Type.TInteger;
                        output_includes: Type.TString;
                    }>;
                    timeout_ms: Type.TOptional<Type.TInteger>;
                }>, Type.TObject<{
                    kind: Type.TLiteral<"agent">;
                    agent: Type.TString;
                    inputs: Type.TArray<Type.TString>;
                    rubric: Type.TString;
                }>, Type.TObject<{
                    kind: Type.TLiteral<"user">;
                    prompt: Type.TString;
                }>]>;
            }>>;
            checklist: Type.TOptional<Type.TNever>;
            work: Type.TOptional<Type.TNever>;
            id: Type.TString;
            task: Type.TString;
            description: Type.TOptional<Type.TString>;
            depends_on: Type.TOptional<Type.TArray<Type.TString>>;
            touches: Type.TOptional<Type.TArray<Type.TString>>;
            refs: Type.TOptional<Type.TArray<Type.TObject<{
                path: Type.TString;
                lines: Type.TOptional<Type.TString>;
                why: Type.TString;
            }>>>;
            worker: Type.TOptional<Type.TObject<{
                profile: Type.TOptional<Type.TString>;
                agent: Type.TOptional<Type.TString>;
                skills: Type.TOptional<Type.TArray<Type.TString>>;
                model: Type.TOptional<Type.TString>;
            }>>;
        }>, Type.TObject<{
            acceptance: Type.TArray<Type.TObject<{
                id: Type.TString;
                statement: Type.TString;
                amendments: Type.TOptional<Type.TArray<Type.TObject<{
                    criterion_id: Type.TString;
                    before: Type.TString;
                    after: Type.TString;
                    reason: Type.TString;
                    authority: Type.TString;
                    at: Type.TString;
                }>>>;
                evidence: Type.TUnion<[Type.TObject<{
                    kind: Type.TLiteral<"command">;
                    run: Type.TString;
                    inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
                    expect: Type.TObject<{
                        exit: Type.TInteger;
                        output_includes: Type.TString;
                    }>;
                    timeout_ms: Type.TOptional<Type.TInteger>;
                }>, Type.TObject<{
                    kind: Type.TLiteral<"agent">;
                    agent: Type.TString;
                    inputs: Type.TArray<Type.TString>;
                    rubric: Type.TString;
                }>, Type.TObject<{
                    kind: Type.TLiteral<"user">;
                    prompt: Type.TString;
                }>]>;
            }>>;
            checklist: Type.TArray<Type.TString>;
            work: Type.TOptional<Type.TNever>;
            id: Type.TString;
            task: Type.TString;
            description: Type.TOptional<Type.TString>;
            depends_on: Type.TOptional<Type.TArray<Type.TString>>;
            touches: Type.TOptional<Type.TArray<Type.TString>>;
            refs: Type.TOptional<Type.TArray<Type.TObject<{
                path: Type.TString;
                lines: Type.TOptional<Type.TString>;
                why: Type.TString;
            }>>>;
            worker: Type.TOptional<Type.TObject<{
                profile: Type.TOptional<Type.TString>;
                agent: Type.TOptional<Type.TString>;
                skills: Type.TOptional<Type.TArray<Type.TString>>;
                model: Type.TOptional<Type.TString>;
            }>>;
        }>, Type.TObject<{
            checklist: Type.TOptional<Type.TNever>;
            work: Type.TArray<Type.TRef<"WorkNode">>;
            id: Type.TString;
            task: Type.TString;
            description: Type.TOptional<Type.TString>;
            depends_on: Type.TOptional<Type.TArray<Type.TString>>;
            touches: Type.TOptional<Type.TArray<Type.TString>>;
            refs: Type.TOptional<Type.TArray<Type.TObject<{
                path: Type.TString;
                lines: Type.TOptional<Type.TString>;
                why: Type.TString;
            }>>>;
            worker: Type.TOptional<Type.TObject<{
                profile: Type.TOptional<Type.TString>;
                agent: Type.TOptional<Type.TString>;
                skills: Type.TOptional<Type.TArray<Type.TString>>;
                model: Type.TOptional<Type.TString>;
            }>>;
            acceptance: Type.TOptional<Type.TArray<Type.TObject<{
                id: Type.TString;
                statement: Type.TString;
                amendments: Type.TOptional<Type.TArray<Type.TObject<{
                    criterion_id: Type.TString;
                    before: Type.TString;
                    after: Type.TString;
                    reason: Type.TString;
                    authority: Type.TString;
                    at: Type.TString;
                }>>>;
                evidence: Type.TUnion<[Type.TObject<{
                    kind: Type.TLiteral<"command">;
                    run: Type.TString;
                    inherit_env: Type.TOptional<Type.TArray<Type.TString>>;
                    expect: Type.TObject<{
                        exit: Type.TInteger;
                        output_includes: Type.TString;
                    }>;
                    timeout_ms: Type.TOptional<Type.TInteger>;
                }>, Type.TObject<{
                    kind: Type.TLiteral<"agent">;
                    agent: Type.TString;
                    inputs: Type.TArray<Type.TString>;
                    rubric: Type.TString;
                }>, Type.TObject<{
                    kind: Type.TLiteral<"user">;
                    prompt: Type.TString;
                }>]>;
            }>>>;
        }>]>;
    }, "WorkNode">>;
}>;
export type Link = Static<typeof LinkSchema>;
export type Lineage = Static<typeof LineageSchema>;
export type OpenDecision = Static<typeof OpenDecisionSchema>;
export type AdvisoryDisposition = Static<typeof AdvisoryDispositionSchema>;
export type Ref = Static<typeof RefSchema>;
export type Worker = Static<typeof WorkerSchema>;
export type CommandExpectation = Static<typeof CommandExpectationSchema>;
export type CommandEvidence = Static<typeof CommandEvidenceSchema>;
export type AgentEvidence = Static<typeof AgentEvidenceSchema>;
export type UserEvidence = Static<typeof UserEvidenceSchema>;
export type Evidence = Static<typeof EvidenceSchema>;
export type CriterionAmendment = Static<typeof CriterionAmendmentSchema>;
export type AcceptanceCriterion = Static<typeof AcceptanceCriterionSchema>;
export type Workspec = Static<typeof WorkspecSchema>;
/** Keys of a union, rather than only keys common to every member. */
export type KeysOfUnion<T> = T extends T ? keyof T : never;
export type WorkNodeField = KeysOfUnion<WorkNode>;
/** A compile-time contract for downstream total projectors (issue #4). */
export type WorkNodeProjector<Handler> = Record<WorkNodeField, Record<"worker" | "review" | "remediation", Handler>>;