@opengeni/contracts 1.0.1 → 2.3.0-canary.0

package/dist/company-brain-governed-writes.d.ts

@@ -0,0 +1,475 @@
+import { z } from "zod";
+/** Exact accepted-attempt authority. It is validated again inside the write transaction. */
+export declare const CompanyBrainGovernedWriteAttempt: z.ZodObject<{
+    accountId: z.ZodString;
+    workspaceId: z.ZodString;
+    sessionId: z.ZodString;
+    turnId: z.ZodString;
+    attemptId: z.ZodString;
+    executionGeneration: z.ZodNumber;
+}, z.core.$strict>;
+export type CompanyBrainGovernedWriteAttempt = z.infer<typeof CompanyBrainGovernedWriteAttempt>;
+export declare const ProposeWorkspaceKnowledgeClaimRequest: z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"propose_knowledge">;
+    operationId: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type ProposeWorkspaceKnowledgeClaimRequest = z.infer<typeof ProposeWorkspaceKnowledgeClaimRequest>;
+export declare const CorrectWorkspaceKnowledgeClaimRequest: z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"correct_knowledge">;
+    operationId: z.ZodString;
+    replacesClaimId: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type CorrectWorkspaceKnowledgeClaimRequest = z.infer<typeof CorrectWorkspaceKnowledgeClaimRequest>;
+/**
+ * Promote one still-active task-tree note into a normalized, workspace-local
+ * Knowledge claim proposal. The note text is the exact fact value and source
+ * evidence; callers may describe the subject and predicate but cannot widen
+ * authority or supply replacement source bytes.
+ */
+export declare const PromoteTaskNoteKnowledgeRequest: z.ZodObject<{
+    kind: z.ZodLiteral<"promote_task_note_knowledge">;
+    operationId: z.ZodString;
+    noteId: z.ZodString;
+    expectedNoteVersion: z.ZodLiteral<1>;
+    entityType: z.ZodString;
+    normalizedKey: z.ZodString;
+    displayName: z.ZodString;
+    predicateKey: z.ZodString;
+    confidenceBps: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type PromoteTaskNoteKnowledgeRequest = z.infer<typeof PromoteTaskNoteKnowledgeRequest>;
+/**
+ * Promote the exact immutable Task-note bytes into an inactive mandatory-rule
+ * draft. The caller selects only the governed target and active-head baseline;
+ * it cannot replace the source content or activate the draft.
+ */
+export declare const PromoteTaskNoteInstructionPolicyRequest: z.ZodObject<{
+    kind: z.ZodLiteral<"promote_task_note_instruction_policy">;
+    operationId: z.ZodString;
+    noteId: z.ZodString;
+    expectedNoteVersion: z.ZodLiteral<1>;
+    entityType: z.ZodString;
+    normalizedKey: z.ZodString;
+    displayName: z.ZodString;
+    predicateKey: z.ZodString;
+    confidenceBps: z.ZodNumber;
+    target: z.ZodObject<{
+        kind: z.ZodEnum<{
+            charter: "charter";
+            policy: "policy";
+        }>;
+        scope: z.ZodEnum<{
+            global: "global";
+            role: "role";
+        }>;
+        roleKey: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+    expectedCurrentRevisionId: z.ZodNullable<z.ZodString>;
+    expectedActivationVersion: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type PromoteTaskNoteInstructionPolicyRequest = z.infer<typeof PromoteTaskNoteInstructionPolicyRequest>;
+/**
+ * Promote the exact immutable Task-note bytes into an inactive workspace
+ * preference proposal. Descriptor metadata is caller-supplied and bounded,
+ * while the full proposal content always comes from the admitted note.
+ */
+export declare const PromoteTaskNotePreferenceRequest: z.ZodObject<{
+    kind: z.ZodLiteral<"promote_task_note_preference">;
+    operationId: z.ZodString;
+    noteId: z.ZodString;
+    expectedNoteVersion: z.ZodLiteral<1>;
+    entityType: z.ZodString;
+    normalizedKey: z.ZodString;
+    displayName: z.ZodString;
+    predicateKey: z.ZodString;
+    confidenceBps: z.ZodNumber;
+    stableKey: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    precedenceRank: z.ZodDefault<z.ZodNumber>;
+    conflictStrategy: z.ZodDefault<z.ZodEnum<{
+        inform: "inform";
+        merge: "merge";
+        override: "override";
+        reject: "reject";
+    }>>;
+    conflictsWith: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    expiresAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type PromoteTaskNotePreferenceRequest = z.infer<typeof PromoteTaskNotePreferenceRequest>;
+export declare const ProposeWorkspaceInstructionPolicyRequest: z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"propose_instruction_policy">;
+    operationId: z.ZodString;
+    target: z.ZodObject<{
+        kind: z.ZodEnum<{
+            charter: "charter";
+            policy: "policy";
+        }>;
+        scope: z.ZodEnum<{
+            global: "global";
+            role: "role";
+        }>;
+        roleKey: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+    content: z.ZodString;
+    expectedCurrentRevisionId: z.ZodNullable<z.ZodString>;
+    expectedActivationVersion: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type ProposeWorkspaceInstructionPolicyRequest = z.infer<typeof ProposeWorkspaceInstructionPolicyRequest>;
+export declare const ProposeWorkspacePreferenceRequest: z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"propose_preference">;
+    operationId: z.ZodString;
+    stableKey: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    content: z.ZodString;
+    precedenceRank: z.ZodDefault<z.ZodNumber>;
+    conflictStrategy: z.ZodDefault<z.ZodEnum<{
+        inform: "inform";
+        merge: "merge";
+        override: "override";
+        reject: "reject";
+    }>>;
+    conflictsWith: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    expiresAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export type ProposeWorkspacePreferenceRequest = z.infer<typeof ProposeWorkspacePreferenceRequest>;
+/**
+ * Destination selection is explicit and structured. There is deliberately no
+ * generic "remember" operation, classifier, personal scope, or active authority.
+ */
+export declare const CompanyBrainGovernedWriteRequest: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"propose_knowledge">;
+    operationId: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"correct_knowledge">;
+    operationId: z.ZodString;
+    replacesClaimId: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"promote_task_note_knowledge">;
+    operationId: z.ZodString;
+    noteId: z.ZodString;
+    expectedNoteVersion: z.ZodLiteral<1>;
+    entityType: z.ZodString;
+    normalizedKey: z.ZodString;
+    displayName: z.ZodString;
+    predicateKey: z.ZodString;
+    confidenceBps: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"promote_task_note_instruction_policy">;
+    operationId: z.ZodString;
+    noteId: z.ZodString;
+    expectedNoteVersion: z.ZodLiteral<1>;
+    entityType: z.ZodString;
+    normalizedKey: z.ZodString;
+    displayName: z.ZodString;
+    predicateKey: z.ZodString;
+    confidenceBps: z.ZodNumber;
+    target: z.ZodObject<{
+        kind: z.ZodEnum<{
+            charter: "charter";
+            policy: "policy";
+        }>;
+        scope: z.ZodEnum<{
+            global: "global";
+            role: "role";
+        }>;
+        roleKey: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+    expectedCurrentRevisionId: z.ZodNullable<z.ZodString>;
+    expectedActivationVersion: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"promote_task_note_preference">;
+    operationId: z.ZodString;
+    noteId: z.ZodString;
+    expectedNoteVersion: z.ZodLiteral<1>;
+    entityType: z.ZodString;
+    normalizedKey: z.ZodString;
+    displayName: z.ZodString;
+    predicateKey: z.ZodString;
+    confidenceBps: z.ZodNumber;
+    stableKey: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    precedenceRank: z.ZodDefault<z.ZodNumber>;
+    conflictStrategy: z.ZodDefault<z.ZodEnum<{
+        inform: "inform";
+        merge: "merge";
+        override: "override";
+        reject: "reject";
+    }>>;
+    conflictsWith: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    expiresAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"propose_instruction_policy">;
+    operationId: z.ZodString;
+    target: z.ZodObject<{
+        kind: z.ZodEnum<{
+            charter: "charter";
+            policy: "policy";
+        }>;
+        scope: z.ZodEnum<{
+            global: "global";
+            role: "role";
+        }>;
+        roleKey: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+    content: z.ZodString;
+    expectedCurrentRevisionId: z.ZodNullable<z.ZodString>;
+    expectedActivationVersion: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    kind: z.ZodLiteral<"propose_preference">;
+    operationId: z.ZodString;
+    stableKey: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    content: z.ZodString;
+    precedenceRank: z.ZodDefault<z.ZodNumber>;
+    conflictStrategy: z.ZodDefault<z.ZodEnum<{
+        inform: "inform";
+        merge: "merge";
+        override: "override";
+        reject: "reject";
+    }>>;
+    conflictsWith: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    expiresAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    reason: z.ZodString;
+}, z.core.$strict>], "kind">;
+export type CompanyBrainGovernedWriteRequest = z.infer<typeof CompanyBrainGovernedWriteRequest>;
+export declare const CompanyBrainGovernedWriteDestination: z.ZodEnum<{
+    instruction_policy: "instruction_policy";
+    knowledge: "knowledge";
+    preference: "preference";
+}>;
+export type CompanyBrainGovernedWriteDestination = z.infer<typeof CompanyBrainGovernedWriteDestination>;
+export declare const CompanyBrainGovernedWriteReceipt: z.ZodObject<{
+    operationId: z.ZodString;
+    inputHash: z.ZodString;
+    workspaceId: z.ZodString;
+    destination: z.ZodEnum<{
+        instruction_policy: "instruction_policy";
+        knowledge: "knowledge";
+        preference: "preference";
+    }>;
+    outcome: z.ZodLiteral<"proposed">;
+    claimId: z.ZodString;
+    evidenceId: z.ZodString;
+    relationId: z.ZodNullable<z.ZodString>;
+    reviewId: z.ZodNullable<z.ZodString>;
+    knowledgeChangeProposalId: z.ZodNullable<z.ZodString>;
+    destinationProposalId: z.ZodNullable<z.ZodString>;
+    destinationRevisionId: z.ZodNullable<z.ZodString>;
+    taskNoteSource: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        noteId: z.ZodString;
+        rootSessionId: z.ZodString;
+        noteVersion: z.ZodLiteral<1>;
+        textHash: z.ZodString;
+    }, z.core.$strip>>>;
+    effectiveBoundary: z.ZodLiteral<"human_review_required">;
+    rollback: z.ZodObject<{
+        supported: z.ZodLiteral<false>;
+        mechanism: z.ZodLiteral<"not_applicable_proposal_only">;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type CompanyBrainGovernedWriteReceipt = z.infer<typeof CompanyBrainGovernedWriteReceipt>;
+/**
+ * Policy routing is deliberately separate from destination admission. The
+ * immutable accepted-attempt snapshot decides whether derived evidence may
+ * create a proposal; the destination still owns activation and rollback.
+ */
+export declare const CompanyBrainLearningPolicyDecision: z.ZodEnum<{
+    activated: "activated";
+    activation_requested: "activation_requested";
+    blocked: "blocked";
+    proposal_created: "proposal_created";
+}>;
+export type CompanyBrainLearningPolicyDecision = z.infer<typeof CompanyBrainLearningPolicyDecision>;
+/**
+ * Content-free summary of the governed-learning decision receipt recorded for
+ * a Ways-of-working proposal (instruction policy or preference). Knowledge
+ * destinations create no `knowledge_change_proposals` row and are therefore
+ * never evaluated; they report `null`.
+ */
+export declare const CompanyBrainLearningDecisionSummary: z.ZodObject<{
+    receiptId: z.ZodString;
+    outcome: z.ZodEnum<{
+        automatic: "automatic";
+        confidence: "confidence";
+        conflict: "conflict";
+        off: "off";
+        revoked: "revoked";
+        stale: "stale";
+        suggest: "suggest";
+    }>;
+    automaticEligible: z.ZodBoolean;
+    reasons: z.ZodArray<z.ZodEnum<{
+        confidence_below_floor: "confidence_below_floor";
+        evidence_conflict: "evidence_conflict";
+        evidence_revoked: "evidence_revoked";
+        policy_automatic: "policy_automatic";
+        policy_off: "policy_off";
+        policy_suggest: "policy_suggest";
+        proposal_stale: "proposal_stale";
+    }>>;
+}, z.core.$strip>;
+export type CompanyBrainLearningDecisionSummary = z.infer<typeof CompanyBrainLearningDecisionSummary>;
+/**
+ * Bounded, content-free reason why evaluation or activation did not complete.
+ * The proposal write itself remains durable regardless.
+ */
+export declare const CompanyBrainLearningStepFailure: z.ZodObject<{
+    stage: z.ZodEnum<{
+        activation: "activation";
+        evaluation: "evaluation";
+    }>;
+    code: z.ZodEnum<{
+        authority: "authority";
+        conflict: "conflict";
+        invalid_operation: "invalid_operation";
+        unavailable: "unavailable";
+    }>;
+}, z.core.$strip>;
+export type CompanyBrainLearningStepFailure = z.infer<typeof CompanyBrainLearningStepFailure>;
+export declare const CompanyBrainLearningPolicyRouteReceipt: z.ZodObject<{
+    operationId: z.ZodString;
+    workspaceId: z.ZodString;
+    effectivePolicy: z.ZodObject<{
+        mode: z.ZodEnum<{
+            automatic: "automatic";
+            off: "off";
+            suggest: "suggest";
+        }>;
+        snapshotId: z.ZodString;
+        revisionId: z.ZodString;
+        inherited: z.ZodBoolean;
+        source: z.ZodObject<{
+            kind: z.ZodPipe<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>, z.ZodString>;
+            id: z.ZodString;
+        }, z.core.$strip>;
+        policyRevision: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodNumber;
+            policyHash: z.ZodString;
+        }, z.core.$strip>>;
+        activationVersion: z.ZodNumber;
+        snapshotHash: z.ZodString;
+    }, z.core.$strip>;
+    decision: z.ZodEnum<{
+        activated: "activated";
+        activation_requested: "activation_requested";
+        blocked: "blocked";
+        proposal_created: "proposal_created";
+    }>;
+    write: z.ZodNullable<z.ZodObject<{
+        operationId: z.ZodString;
+        inputHash: z.ZodString;
+        workspaceId: z.ZodString;
+        destination: z.ZodEnum<{
+            instruction_policy: "instruction_policy";
+            knowledge: "knowledge";
+            preference: "preference";
+        }>;
+        outcome: z.ZodLiteral<"proposed">;
+        claimId: z.ZodString;
+        evidenceId: z.ZodString;
+        relationId: z.ZodNullable<z.ZodString>;
+        reviewId: z.ZodNullable<z.ZodString>;
+        knowledgeChangeProposalId: z.ZodNullable<z.ZodString>;
+        destinationProposalId: z.ZodNullable<z.ZodString>;
+        destinationRevisionId: z.ZodNullable<z.ZodString>;
+        taskNoteSource: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+            noteId: z.ZodString;
+            rootSessionId: z.ZodString;
+            noteVersion: z.ZodLiteral<1>;
+            textHash: z.ZodString;
+        }, z.core.$strip>>>;
+        effectiveBoundary: z.ZodLiteral<"human_review_required">;
+        rollback: z.ZodObject<{
+            supported: z.ZodLiteral<false>;
+            mechanism: z.ZodLiteral<"not_applicable_proposal_only">;
+        }, z.core.$strip>;
+    }, z.core.$strip>>;
+    learning: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        receiptId: z.ZodString;
+        outcome: z.ZodEnum<{
+            automatic: "automatic";
+            confidence: "confidence";
+            conflict: "conflict";
+            off: "off";
+            revoked: "revoked";
+            stale: "stale";
+            suggest: "suggest";
+        }>;
+        automaticEligible: z.ZodBoolean;
+        reasons: z.ZodArray<z.ZodEnum<{
+            confidence_below_floor: "confidence_below_floor";
+            evidence_conflict: "evidence_conflict";
+            evidence_revoked: "evidence_revoked";
+            policy_automatic: "policy_automatic";
+            policy_off: "policy_off";
+            policy_suggest: "policy_suggest";
+            proposal_stale: "proposal_stale";
+        }>>;
+    }, z.core.$strip>>>;
+    learningFailure: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        stage: z.ZodEnum<{
+            activation: "activation";
+            evaluation: "evaluation";
+        }>;
+        code: z.ZodEnum<{
+            authority: "authority";
+            conflict: "conflict";
+            invalid_operation: "invalid_operation";
+            unavailable: "unavailable";
+        }>;
+    }, z.core.$strip>>>;
+    activation: z.ZodObject<{
+        requested: z.ZodBoolean;
+        activated: z.ZodBoolean;
+        boundary: z.ZodEnum<{
+            activated: "activated";
+            destination_authority: "destination_authority";
+            human_activation_required: "human_activation_required";
+            human_review: "human_review";
+            not_eligible: "not_eligible";
+            policy_off: "policy_off";
+        }>;
+        receiptId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        destination: z.ZodDefault<z.ZodNullable<z.ZodEnum<{
+            instruction_policy: "instruction_policy";
+            preference: "preference";
+        }>>>;
+        destinationRevisionId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        effectiveAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type CompanyBrainLearningPolicyRouteReceipt = z.infer<typeof CompanyBrainLearningPolicyRouteReceipt>;