rulvar

Appearance

rulvar API reference

rulvar API reference / @rulvar/plan / LedgerOp

Type Alias: LedgerOp ​

ts
type LedgerOp = 
  | {
  op: "brief_set";
  text: string;
}
  | {
  confidence: "low" | "medium" | "high";
  factId: string;
  op: "fact_add";
  provenance: EntryRef[];
  text: string;
}
  | {
  confidence: "low" | "medium" | "high";
  factId: string;
  op: "fact_supersede";
  provenance: EntryRef[];
  supersededBy: string;
  text: string;
}
  | {
  key: {
     approachSig: string;
     logicalTaskId: LogicalTaskId;
  };
  op: "lesson_add";
  text: string;
}
  | {
  evidenceRefs: EntryRef[];
  logicalTaskId: LogicalTaskId;
  note: string;
  op: "observation_add";
  outcomeClass?: string;
  polarity?: "strength" | "weakness";
  subject?: {
     effort?: Effort;
     model: string;
  };
  taskClass: string;
  tierObserved?: number;
  trigger?: KbProposalTrigger;
};

Defined in: packages/plan/src/ledger.ts:26

The CLOSED authored op vocabulary.

Union Members ​

Type Literal ​

ts
{
  op: "brief_set";
  text: string;
}

Type Literal ​

ts
{
  confidence: "low" | "medium" | "high";
  factId: string;
  op: "fact_add";
  provenance: EntryRef[];
  text: string;
}

Type Literal ​

ts
{
  confidence: "low" | "medium" | "high";
  factId: string;
  op: "fact_supersede";
  provenance: EntryRef[];
  supersededBy: string;
  text: string;
}

Type Literal ​

ts
{
  key: {
     approachSig: string;
     logicalTaskId: LogicalTaskId;
  };
  op: "lesson_add";
  text: string;
}

Type Literal ​

ts
{
  evidenceRefs: EntryRef[];
  logicalTaskId: LogicalTaskId;
  note: string;
  op: "observation_add";
  outcomeClass?: string;
  polarity?: "strength" | "weakness";
  subject?: {
     effort?: Effort;
     model: string;
  };
  taskClass: string;
  tierObserved?: number;
  trigger?: KbProposalTrigger;
}
NameTypeDescriptionDefined in
evidenceRefsEntryRef[]-packages/plan/src/ledger.ts:51
logicalTaskIdLogicalTaskId-packages/plan/src/ledger.ts:47
notestring-packages/plan/src/ledger.ts:50
op"observation_add"-packages/plan/src/ledger.ts:45
outcomeClass?string-packages/plan/src/ledger.ts:49
polarity?"strength" | "weakness"-packages/plan/src/ledger.ts:61
subject?{ effort?: Effort; model: string; }ENGINE-resolved kb_propose payload (phase 3): present exactly when the op was born from the kb_propose tool, whose handler resolves the tier-relative subject against the lineage's declared ladder. The model-facing ledger_append vocabulary never exposes these fields, so an orchestrator cannot forge a subject model name.packages/plan/src/ledger.ts:60
subject.effort?Effort-packages/plan/src/ledger.ts:60
subject.modelstring-packages/plan/src/ledger.ts:60
taskClassstring-packages/plan/src/ledger.ts:46
tierObserved?number-packages/plan/src/ledger.ts:48
trigger?KbProposalTrigger-packages/plan/src/ledger.ts:62