@lucern/contracts 1.0.16 → 1.0.17
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +3 -0
- package/dist/api-enums.contract.d.ts +2 -2
- package/dist/api-enums.contract.js +2 -8
- package/dist/api-enums.contract.js.map +1 -1
- package/dist/context-pack.contract.d.ts +27 -7
- package/dist/context-pack.contract.js.map +1 -1
- package/dist/function-registry/beliefs.js +109 -115
- package/dist/function-registry/beliefs.js.map +1 -1
- package/dist/function-registry/coding.js +68 -91
- package/dist/function-registry/coding.js.map +1 -1
- package/dist/function-registry/context.js +68 -91
- package/dist/function-registry/context.js.map +1 -1
- package/dist/function-registry/contracts.js +68 -91
- package/dist/function-registry/contracts.js.map +1 -1
- package/dist/function-registry/coordination.js +68 -91
- package/dist/function-registry/coordination.js.map +1 -1
- package/dist/function-registry/edges.js +68 -91
- package/dist/function-registry/edges.js.map +1 -1
- package/dist/function-registry/evidence.js +182 -125
- package/dist/function-registry/evidence.js.map +1 -1
- package/dist/function-registry/graph.js +68 -91
- package/dist/function-registry/graph.js.map +1 -1
- package/dist/function-registry/helpers.js +68 -91
- package/dist/function-registry/helpers.js.map +1 -1
- package/dist/function-registry/identity.js +68 -91
- package/dist/function-registry/identity.js.map +1 -1
- package/dist/function-registry/index.js +68 -91
- package/dist/function-registry/index.js.map +1 -1
- package/dist/function-registry/judgments.js +68 -91
- package/dist/function-registry/judgments.js.map +1 -1
- package/dist/function-registry/legacy.js +68 -91
- package/dist/function-registry/legacy.js.map +1 -1
- package/dist/function-registry/lenses.js +68 -91
- package/dist/function-registry/lenses.js.map +1 -1
- package/dist/function-registry/manifest.d.ts +3 -3
- package/dist/function-registry/manifest.js +3 -3
- package/dist/function-registry/manifest.js.map +1 -1
- package/dist/function-registry/nodes.js +68 -91
- package/dist/function-registry/nodes.js.map +1 -1
- package/dist/function-registry/ontologies.js +68 -91
- package/dist/function-registry/ontologies.js.map +1 -1
- package/dist/function-registry/pipeline.js +68 -91
- package/dist/function-registry/pipeline.js.map +1 -1
- package/dist/function-registry/questions.js +68 -91
- package/dist/function-registry/questions.js.map +1 -1
- package/dist/function-registry/tasks.js +68 -91
- package/dist/function-registry/tasks.js.map +1 -1
- package/dist/function-registry/topics.js +68 -91
- package/dist/function-registry/topics.js.map +1 -1
- package/dist/function-registry/worktrees.js +68 -91
- package/dist/function-registry/worktrees.js.map +1 -1
- package/dist/generated/convexSchemas.js +2 -2
- package/dist/generated/convexSchemas.js.map +1 -1
- package/dist/index.d.ts +4 -4
- package/dist/index.js +162 -130
- package/dist/index.js.map +1 -1
- package/dist/manifests/invariant-manifest.d.ts +1 -1
- package/dist/manifests/invariants/index.d.ts +1 -1
- package/dist/manifests/invariants/index.js +1 -1
- package/dist/manifests/invariants/index.js.map +1 -1
- package/dist/manifests/invariants/inv-1-beliefs-append-only.d.ts +1 -1
- package/dist/manifests/invariants/inv-14-no-silent-transitions.d.ts +1 -1
- package/dist/manifests/invariants/manifest-1-projections-declare-audit.d.ts +1 -1
- package/dist/manifests/invariants/manifest-1-projections-declare-audit.js +1 -1
- package/dist/manifests/invariants/manifest-1-projections-declare-audit.js.map +1 -1
- package/dist/projections/{modulate-confidence.projection.d.ts → append-sl-scoring.projection.d.ts} +69 -69
- package/dist/projections/{modulate-confidence.projection.js → append-sl-scoring.projection.js} +14 -14
- package/dist/projections/append-sl-scoring.projection.js.map +1 -0
- package/dist/projections/check-convex-args-shape.js +88 -29
- package/dist/projections/check-convex-args-shape.js.map +1 -1
- package/dist/projections/create-evidence.projection.js +76 -17
- package/dist/projections/create-evidence.projection.js.map +1 -1
- package/dist/projections/index.d.ts +47 -47
- package/dist/projections/index.js +88 -29
- package/dist/projections/index.js.map +1 -1
- package/dist/proof-attestation.json +3 -3
- package/dist/schemas/index.js +6 -4
- package/dist/schemas/index.js.map +1 -1
- package/dist/schemas/manifest.d.ts +110 -60
- package/dist/schemas/manifest.js +6 -4
- package/dist/schemas/manifest.js.map +1 -1
- package/dist/schemas/tables/kernel/intelligence.d.ts +20 -10
- package/dist/schemas/tables/kernel/intelligence.js +4 -2
- package/dist/schemas/tables/kernel/intelligence.js.map +1 -1
- package/dist/schemas/tables/kernel/spine.d.ts +2 -2
- package/dist/schemas/tables/kernel/spine.js +2 -2
- package/dist/schemas/tables/kernel/spine.js.map +1 -1
- package/dist/schemas.values.js +6 -4
- package/dist/schemas.values.js.map +1 -1
- package/dist/sdk-methods.contract.d.ts +6 -16
- package/dist/sdk-tools.contract.js +65 -88
- package/dist/sdk-tools.contract.js.map +1 -1
- package/dist/sdk-tools.contract.registry.js +65 -88
- package/dist/sdk-tools.contract.registry.js.map +1 -1
- package/dist/sdk-tools.contract.values.js +65 -88
- package/dist/sdk-tools.contract.values.js.map +1 -1
- package/dist/tool-contracts.d.ts +1 -1
- package/dist/tool-contracts.graph.js +3 -3
- package/dist/tool-contracts.graph.js.map +1 -1
- package/dist/tool-contracts.intelligence-evidence.js +7 -7
- package/dist/tool-contracts.intelligence-evidence.js.map +1 -1
- package/dist/tool-contracts.js +66 -89
- package/dist/tool-contracts.js.map +1 -1
- package/dist/tool-contracts.lifecycle.d.ts +2 -2
- package/dist/tool-contracts.lifecycle.js +49 -68
- package/dist/tool-contracts.lifecycle.js.map +1 -1
- package/dist/tool-contracts.pipeline-coordination.js +1 -1
- package/dist/tool-contracts.pipeline-coordination.js.map +1 -1
- package/dist/tool-contracts.questions-listing.js +5 -9
- package/dist/tool-contracts.questions-listing.js.map +1 -1
- package/dist/{tool-contracts.values-BhxfrXS5.d.ts → tool-contracts.values-CCoI3qQY.d.ts} +3 -3
- package/dist/tool-contracts.values.d.ts +1 -1
- package/dist/tool-contracts.values.js +66 -89
- package/dist/tool-contracts.values.js.map +1 -1
- package/package.json +1 -1
- package/dist/projections/modulate-confidence.projection.js.map +0 -1
|
@@ -15,7 +15,7 @@ var REASONING_METHODS = [
|
|
|
15
15
|
// src/tool-contracts.graph.ts
|
|
16
16
|
var QUERY_LINEAGE = {
|
|
17
17
|
name: "query_lineage",
|
|
18
|
-
description: "Trace a belief's full ancestry \u2014 every fork, score, and
|
|
18
|
+
description: "Trace a belief's full ancestry \u2014 every fork, score, and SL scoring event. Like `git log --graph`. Returns the complete evolution chain showing how understanding developed over time. Lineage is permanent and can never be erased (Invariant #3).",
|
|
19
19
|
parameters: {
|
|
20
20
|
nodeId: { type: "string", description: "Starting node to trace from" },
|
|
21
21
|
depth: {
|
|
@@ -214,7 +214,7 @@ var FIND_CONTRADICTIONS = {
|
|
|
214
214
|
};
|
|
215
215
|
var BISECT_CONFIDENCE = {
|
|
216
216
|
name: "bisect_confidence",
|
|
217
|
-
description: "Find when a belief's confidence diverged from reality. Like `git bisect` \u2014 binary search through the credence history to find the inflection point. Given a belief that is now known to be wrong (or right), traces back through
|
|
217
|
+
description: "Find when a belief's confidence diverged from reality. Like `git bisect` \u2014 binary search through the credence history to find the inflection point. Given a belief that is now known to be wrong (or right), traces back through SL scoring events to identify which evidence or event caused the divergence.",
|
|
218
218
|
parameters: {
|
|
219
219
|
nodeId: { type: "string", description: "The belief to bisect" },
|
|
220
220
|
expectedDirection: {
|
|
@@ -233,7 +233,7 @@ var BISECT_CONFIDENCE = {
|
|
|
233
233
|
fields: {
|
|
234
234
|
beliefId: "string \u2014 canonical belief ID",
|
|
235
235
|
expectedDirection: "string \u2014 overconfident | underconfident",
|
|
236
|
-
inflectionEntry: "object \u2014 the
|
|
236
|
+
inflectionEntry: "object \u2014 the scoring event where divergence began",
|
|
237
237
|
triggerEvent: "string | null \u2014 what caused the divergence",
|
|
238
238
|
confidenceBefore: "number | null",
|
|
239
239
|
confidenceAfter: "number | null",
|
|
@@ -527,18 +527,18 @@ var SEARCH_EVIDENCE = {
|
|
|
527
527
|
};
|
|
528
528
|
var CREATE_EVIDENCE = {
|
|
529
529
|
name: "create_evidence",
|
|
530
|
-
description: "Commit evidence to the reasoning graph. Like `git commit` \u2014 creates a traceable evidence record with canonical public IDs.
|
|
530
|
+
description: "Commit evidence to the reasoning graph. Like `git commit` \u2014 creates a traceable evidence record with canonical public IDs. Evidence creation must link to at least one belief and must include a signed impact score. Positive scores support the belief; negative scores contradict it. SL confidence is derived from these weighted evidence relations.",
|
|
531
531
|
parameters: {
|
|
532
532
|
topicId: { type: "string", description: "Topic scope" },
|
|
533
533
|
text: { type: "string", description: "Canonical evidence text" },
|
|
534
534
|
source: { type: "string", description: "Source URL or source label" },
|
|
535
535
|
targetId: {
|
|
536
536
|
type: "string",
|
|
537
|
-
description: "
|
|
537
|
+
description: "Belief identifier to link immediately"
|
|
538
538
|
},
|
|
539
539
|
weight: {
|
|
540
540
|
type: "number",
|
|
541
|
-
description: "
|
|
541
|
+
description: "Required nonzero signed impact score: -1.0 (contradicts) to +1.0 (supports)."
|
|
542
542
|
},
|
|
543
543
|
evidenceRelation: {
|
|
544
544
|
type: "string",
|
|
@@ -547,7 +547,7 @@ var CREATE_EVIDENCE = {
|
|
|
547
547
|
},
|
|
548
548
|
confidence: {
|
|
549
549
|
type: "number",
|
|
550
|
-
description: "
|
|
550
|
+
description: "Deprecated hint. Runtime confidence is derived from the signed impact score."
|
|
551
551
|
},
|
|
552
552
|
beliefRelations: {
|
|
553
553
|
type: "array",
|
|
@@ -569,7 +569,7 @@ var CREATE_EVIDENCE = {
|
|
|
569
569
|
},
|
|
570
570
|
kind: { type: "string", description: "Optional evidence kind" }
|
|
571
571
|
},
|
|
572
|
-
required: ["text", "rationale"],
|
|
572
|
+
required: ["text", "rationale", "weight"],
|
|
573
573
|
response: {
|
|
574
574
|
description: "The created canonical evidence record",
|
|
575
575
|
fields: {
|
|
@@ -644,7 +644,7 @@ var LINK_EVIDENCE = {
|
|
|
644
644
|
},
|
|
645
645
|
rationale: { type: "string", description: "Why this link exists" }
|
|
646
646
|
},
|
|
647
|
-
required: ["evidenceId", "targetId"],
|
|
647
|
+
required: ["evidenceId", "targetId", "weight"],
|
|
648
648
|
response: {
|
|
649
649
|
description: "The created canonical evidence edge summary",
|
|
650
650
|
fields: {
|
|
@@ -680,7 +680,7 @@ var LINK_EVIDENCE_TO_BELIEF = {
|
|
|
680
680
|
},
|
|
681
681
|
rationale: { type: "string", description: "Why this evidence is relevant" }
|
|
682
682
|
},
|
|
683
|
-
required: ["evidenceId", "beliefId"],
|
|
683
|
+
required: ["evidenceId", "beliefId", "weight"],
|
|
684
684
|
response: {
|
|
685
685
|
description: "The created edge linking evidence to belief",
|
|
686
686
|
fields: {
|
|
@@ -698,15 +698,23 @@ var LINK_EVIDENCE_TO_BELIEF = {
|
|
|
698
698
|
// src/tool-contracts.lifecycle.ts
|
|
699
699
|
var CREATE_BELIEF = {
|
|
700
700
|
name: "create_belief",
|
|
701
|
-
description: "Commit a new belief (knowledge unit) to the reasoning graph. Like `git commit` \u2014 creates an atomic, traceable knowledge object with a prior. Creation stores the vacuous opinion `(0, 0, 1, a)`; attach supporting or contradicting evidence with create_evidence or link_evidence_to_belief to record evidential updates.",
|
|
701
|
+
description: "Commit a new belief (knowledge unit) to the reasoning graph. Like `git commit` \u2014 creates an atomic, traceable knowledge object with a prior. Creation requires a topic epistemic-node anchor and writes a `scoped_by` edge directly from belief node to topic node; orphan beliefs are invalid. Creation stores the vacuous opinion `(0, 0, 1, a)`; attach supporting or contradicting evidence with create_evidence or link_evidence_to_belief to record evidential updates.",
|
|
702
702
|
parameters: {
|
|
703
703
|
canonicalText: {
|
|
704
704
|
type: "string",
|
|
705
705
|
description: "The belief statement \u2014 what the agent holds to be true"
|
|
706
706
|
},
|
|
707
|
+
topicGlobalId: {
|
|
708
|
+
type: "string",
|
|
709
|
+
description: "Required globalId (UUID) of the topic node in epistemicNodes that anchors the belief"
|
|
710
|
+
},
|
|
711
|
+
topicNodeId: {
|
|
712
|
+
type: "string",
|
|
713
|
+
description: "Optional internal epistemicNodes _id for the topic anchor. Prefer topicGlobalId for public callers."
|
|
714
|
+
},
|
|
707
715
|
topicId: {
|
|
708
716
|
type: "string",
|
|
709
|
-
description: "
|
|
717
|
+
description: "Deprecated compatibility alias for topicGlobalId. Must identify a topic epistemicNode, not a legacy topics-table row."
|
|
710
718
|
},
|
|
711
719
|
baseRate: {
|
|
712
720
|
type: "number",
|
|
@@ -721,7 +729,7 @@ var CREATE_BELIEF = {
|
|
|
721
729
|
description: "Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'] } for coding intelligence)"
|
|
722
730
|
}
|
|
723
731
|
},
|
|
724
|
-
required: ["canonicalText"],
|
|
732
|
+
required: ["canonicalText", "topicGlobalId"],
|
|
725
733
|
response: {
|
|
726
734
|
description: "The created canonical belief record",
|
|
727
735
|
fields: {
|
|
@@ -730,7 +738,7 @@ var CREATE_BELIEF = {
|
|
|
730
738
|
beliefId: "string \u2014 canonical belief ID",
|
|
731
739
|
text: "string \u2014 canonical belief formulation",
|
|
732
740
|
topicId: "string",
|
|
733
|
-
|
|
741
|
+
beliefStatus: "string \u2014 assumption | hypothesis | active | superseded | resolved_true | resolved_false",
|
|
734
742
|
scoringState: "string \u2014 unscored | scored"
|
|
735
743
|
}
|
|
736
744
|
},
|
|
@@ -753,7 +761,7 @@ var GET_BELIEF = {
|
|
|
753
761
|
beliefId: "string \u2014 canonical belief ID",
|
|
754
762
|
text: "string \u2014 canonical belief formulation",
|
|
755
763
|
topicId: "string",
|
|
756
|
-
|
|
764
|
+
beliefStatus: "string \u2014 assumption | hypothesis | active | superseded | resolved_true | resolved_false",
|
|
757
765
|
scoringState: "string \u2014 unscored | scored"
|
|
758
766
|
}
|
|
759
767
|
},
|
|
@@ -782,34 +790,24 @@ var REFINE_BELIEF = {
|
|
|
782
790
|
ontologyPrimitive: "belief",
|
|
783
791
|
tier: "showcase"
|
|
784
792
|
};
|
|
785
|
-
var
|
|
786
|
-
name: "
|
|
787
|
-
description: "Internal
|
|
793
|
+
var APPEND_SL_SCORING = {
|
|
794
|
+
name: "append_sl_scoring",
|
|
795
|
+
description: "Internal evidence-backed Subjective Logic scoring append. This is not a public MCP tool: callers should attach supporting or contradicting evidence, and governed system paths append the derived SL tuple.",
|
|
788
796
|
parameters: {
|
|
789
|
-
nodeId: { type: "string", description: "The belief
|
|
790
|
-
belief: {
|
|
791
|
-
type: "number",
|
|
792
|
-
description: "Subjective-logic belief mass `b` in [0, 1]"
|
|
793
|
-
},
|
|
797
|
+
nodeId: { type: "string", description: "The belief receiving the SL score" },
|
|
798
|
+
belief: { type: "number", description: "Subjective Logic belief mass b" },
|
|
794
799
|
disbelief: {
|
|
795
800
|
type: "number",
|
|
796
|
-
description: "Subjective
|
|
801
|
+
description: "Subjective Logic disbelief mass d"
|
|
797
802
|
},
|
|
798
803
|
uncertainty: {
|
|
799
804
|
type: "number",
|
|
800
|
-
description: "Subjective
|
|
801
|
-
},
|
|
802
|
-
baseRate: {
|
|
803
|
-
type: "number",
|
|
804
|
-
description: "Subjective-logic base rate `a` in [0, 1]. Required for tuple payloads."
|
|
805
|
-
},
|
|
806
|
-
worktreeId: {
|
|
807
|
-
type: "string",
|
|
808
|
-
description: "Completed worktree that tested this belief when confidence policy requires merge-backed scoring."
|
|
805
|
+
description: "Subjective Logic uncertainty mass u"
|
|
809
806
|
},
|
|
807
|
+
baseRate: { type: "number", description: "Subjective Logic base rate a" },
|
|
810
808
|
trigger: {
|
|
811
809
|
type: "string",
|
|
812
|
-
description: "
|
|
810
|
+
description: "Evidence-bearing cause of the scoring event",
|
|
813
811
|
enum: [
|
|
814
812
|
"evidence_added",
|
|
815
813
|
"evidence_removed",
|
|
@@ -820,64 +818,39 @@ var MODULATE_CONFIDENCE = {
|
|
|
820
818
|
"worktree_completed",
|
|
821
819
|
"fusion",
|
|
822
820
|
"discount",
|
|
823
|
-
"deduction"
|
|
821
|
+
"deduction",
|
|
822
|
+
"backfill_synthetic"
|
|
824
823
|
]
|
|
825
824
|
},
|
|
826
|
-
|
|
827
|
-
type: "
|
|
828
|
-
description: "
|
|
829
|
-
},
|
|
830
|
-
triggeringQuestionId: {
|
|
831
|
-
type: "string",
|
|
832
|
-
description: "Answered question whose resolution supports this modulation"
|
|
833
|
-
},
|
|
834
|
-
triggeringAnswerId: {
|
|
835
|
-
type: "string",
|
|
836
|
-
description: "Answer node whose content supports this modulation"
|
|
837
|
-
},
|
|
838
|
-
triggeringContradictionId: {
|
|
839
|
-
type: "string",
|
|
840
|
-
description: "Contradiction record that caused a contradiction-triggered modulation"
|
|
841
|
-
},
|
|
842
|
-
triggeringWorktreeId: {
|
|
843
|
-
type: "string",
|
|
844
|
-
description: "Completed worktree whose outcome caused a worktree-triggered modulation"
|
|
825
|
+
provenance: {
|
|
826
|
+
type: "object",
|
|
827
|
+
description: "At least one of evidence, question, answer, contradiction, or worktree."
|
|
845
828
|
},
|
|
846
829
|
rationale: {
|
|
847
830
|
type: "string",
|
|
848
|
-
description: "
|
|
831
|
+
description: "Why this evidence-bearing event moved the SL tuple"
|
|
849
832
|
}
|
|
850
833
|
},
|
|
851
|
-
required: [
|
|
852
|
-
"nodeId",
|
|
853
|
-
"belief",
|
|
854
|
-
"disbelief",
|
|
855
|
-
"uncertainty",
|
|
856
|
-
"baseRate",
|
|
857
|
-
"trigger",
|
|
858
|
-
"rationale"
|
|
859
|
-
],
|
|
834
|
+
required: ["nodeId", "belief", "disbelief", "uncertainty", "baseRate", "trigger", "rationale"],
|
|
860
835
|
response: {
|
|
861
|
-
description: "
|
|
836
|
+
description: "Internal SL scoring append receipt",
|
|
862
837
|
fields: {
|
|
863
|
-
|
|
864
|
-
nodeId: "string \u2014 canonical belief ID",
|
|
865
|
-
newConfidence: "number",
|
|
838
|
+
nodeId: "string",
|
|
866
839
|
previousConfidence: "number",
|
|
867
|
-
|
|
868
|
-
|
|
869
|
-
propagationSummary: "object \u2014 bounded inline cascade summary with totalCandidateTargets, inlineTargets, and remainingTargetCount"
|
|
840
|
+
newConfidence: "number",
|
|
841
|
+
beliefConfidenceId: "string"
|
|
870
842
|
}
|
|
871
843
|
},
|
|
872
844
|
ownerModule: "graph-primitives",
|
|
873
845
|
ontologyPrimitive: "belief",
|
|
874
|
-
tier: "
|
|
846
|
+
tier: "workhorse",
|
|
847
|
+
internal: true
|
|
875
848
|
};
|
|
876
849
|
var FORK_BELIEF = {
|
|
877
850
|
name: "fork_belief",
|
|
878
|
-
description: "Branch off
|
|
851
|
+
description: "Branch off an evidence-bearing belief to create a new formulation. Like `git fork` \u2014 the parent remains immutable with full history, and every fork must cite evidence already attached to the parent through SL scoring. `forkMode=supersede` marks the parent superseded and requires contradicting evidence; `forkMode=branch` preserves the parent and creates a derived child.",
|
|
879
852
|
parameters: {
|
|
880
|
-
nodeId: { type: "string", description: "The
|
|
853
|
+
nodeId: { type: "string", description: "The belief to fork from" },
|
|
881
854
|
newFormulation: {
|
|
882
855
|
type: "string",
|
|
883
856
|
description: "The evolved belief statement"
|
|
@@ -889,12 +862,20 @@ var FORK_BELIEF = {
|
|
|
889
862
|
"refinement",
|
|
890
863
|
"contradiction_response",
|
|
891
864
|
"scope_change",
|
|
892
|
-
"confidence_collapse"
|
|
893
|
-
"manual"
|
|
865
|
+
"confidence_collapse"
|
|
894
866
|
]
|
|
867
|
+
},
|
|
868
|
+
forkMode: {
|
|
869
|
+
type: "string",
|
|
870
|
+
description: "supersede replaces the parent; branch creates a child while preserving the parent.",
|
|
871
|
+
enum: ["supersede", "branch"]
|
|
872
|
+
},
|
|
873
|
+
triggeringEvidenceId: {
|
|
874
|
+
type: "string",
|
|
875
|
+
description: "Evidence already attached to the parent belief that caused the fork."
|
|
895
876
|
}
|
|
896
877
|
},
|
|
897
|
-
required: ["nodeId", "newFormulation", "forkReason"],
|
|
878
|
+
required: ["nodeId", "newFormulation", "forkReason", "triggeringEvidenceId"],
|
|
898
879
|
response: {
|
|
899
880
|
description: "The forked canonical belief record",
|
|
900
881
|
fields: {
|
|
@@ -2159,7 +2140,7 @@ var TRIGGER_BELIEF_REVIEW = {
|
|
|
2159
2140
|
};
|
|
2160
2141
|
var EVALUATE_CONTRACT = {
|
|
2161
2142
|
name: "evaluate_contract",
|
|
2162
|
-
description: "Run a contract evaluation and record the append-only result. Like `git test` for a belief binding \u2014 executes the evaluator, logs the result, and applies any allowed
|
|
2143
|
+
description: "Run a contract evaluation and record the append-only result. Like `git test` for a belief binding \u2014 executes the evaluator, logs the result, and applies any allowed SL scoring action.",
|
|
2163
2144
|
parameters: {
|
|
2164
2145
|
contractId: { type: "string", description: "Which contract to evaluate" },
|
|
2165
2146
|
trigger: {
|
|
@@ -4050,6 +4031,11 @@ var COMPILE_CONTEXT = {
|
|
|
4050
4031
|
response: {
|
|
4051
4032
|
description: "Compiled context pack for the requested topic",
|
|
4052
4033
|
fields: {
|
|
4034
|
+
contextNarrative: "array \u2014 first field; ordered synthesis blocks with kind/text, starting with executive_summary and canonical narrative blocks before raw objects",
|
|
4035
|
+
narrativeCoverage: "object \u2014 recordsSynthesized, recordsNamed, recordsOmitted, topicsSynthesized, topicsEnriched, topicContentOmitted, enrichmentMode, and blocksEmitted for the narrative",
|
|
4036
|
+
synthesisLints: "array \u2014 inline quality warnings for degenerate synthesis blocks or weak narrative coverage",
|
|
4037
|
+
retrievalReceipt: "object \u2014 candidateCounts, coverageWarning, narrativeCoverage, synthesisLints, and suggestedNextActions",
|
|
4038
|
+
supportingObjects: "object \u2014 raw graph records grouped behind the synthesis: invariants, activeBeliefs, openQuestions, recentEvidence, worktrees, lanes, entities, and contradictions",
|
|
4053
4039
|
schemaVersion: "string",
|
|
4054
4040
|
topicId: "string",
|
|
4055
4041
|
topicName: "string",
|
|
@@ -4057,15 +4043,6 @@ var COMPILE_CONTEXT = {
|
|
|
4057
4043
|
generatedAt: "number \u2014 deterministic graph-backed reference timestamp for this compilation",
|
|
4058
4044
|
ranking: "string \u2014 baseline_v1 | weighted_v1",
|
|
4059
4045
|
summary: "object \u2014 counts and scoped health signals",
|
|
4060
|
-
invariants: "array \u2014 high-confidence invariant beliefs",
|
|
4061
|
-
activeBeliefs: "array \u2014 current high-signal beliefs",
|
|
4062
|
-
openQuestions: "array \u2014 unresolved questions ranked for this query",
|
|
4063
|
-
recentEvidence: "array \u2014 recent evidence ranked for this query",
|
|
4064
|
-
contradictions: "array \u2014 unresolved contradiction records",
|
|
4065
|
-
relatedEntities: "array | undefined \u2014 ranked ontological entities in scope",
|
|
4066
|
-
contextNarrative: "array \u2014 ordered synthesis blocks with kind/text, starting with executive_summary and canonical narrative blocks before raw objects",
|
|
4067
|
-
retrievalReceipt: "object \u2014 candidateCounts, coverageWarning, narrativeCoverage, synthesisLints, and suggestedNextActions",
|
|
4068
|
-
narrativeCoverage: "object \u2014 recordsSynthesized, recordsNamed, recordsOmitted, topicsSynthesized, topicsEnriched, topicContentOmitted, enrichmentMode, and blocksEmitted for the narrative",
|
|
4069
4046
|
injectionPolicy: "object \u2014 token-budgeted section selections",
|
|
4070
4047
|
diagnostics: "object \u2014 scoring and utilization telemetry"
|
|
4071
4048
|
}
|
|
@@ -4624,7 +4601,7 @@ var MCP_TOOL_CONTRACTS = {
|
|
|
4624
4601
|
create_belief: CREATE_BELIEF,
|
|
4625
4602
|
get_belief: GET_BELIEF,
|
|
4626
4603
|
refine_belief: REFINE_BELIEF,
|
|
4627
|
-
|
|
4604
|
+
append_sl_scoring: APPEND_SL_SCORING,
|
|
4628
4605
|
fork_belief: FORK_BELIEF,
|
|
4629
4606
|
archive_belief: ARCHIVE_BELIEF,
|
|
4630
4607
|
create_epistemic_contract: CREATE_EPISTEMIC_CONTRACT,
|
|
@@ -4796,6 +4773,6 @@ function validateGitSemantics(tool) {
|
|
|
4796
4773
|
return { valid: true };
|
|
4797
4774
|
}
|
|
4798
4775
|
|
|
4799
|
-
export { ACTIVATE_WORKTREE, ADD_EVIDENCE, ADD_WORKTREE, ANALYZE_TOPIC_DENSITY, ANSWER_QUESTION, APPLY_AUTO_BRANCHING, APPLY_LENS_TO_TOPIC, APPLY_ONTOLOGY, ARCHIVE_BELIEF, ARCHIVE_EPISTEMIC_NODE, ARCHIVE_ONTOLOGY, ARCHIVE_QUESTION, BATCH_CREATE_EDGES, BATCH_CREATE_EPISTEMIC_NODES, BEGIN_BUILD_SESSION, BISECT_CONFIDENCE, BROADCAST_MESSAGE, CHECK_PERMISSION, CLAIM_FILES, COMPILE_CONTEXT, COMPLETE_TASK, CREATE_ANSWER, CREATE_BELIEF, CREATE_EDGE, CREATE_EPISTEMIC_CONTRACT, CREATE_EPISTEMIC_NODE, CREATE_EVIDENCE, CREATE_LENS, CREATE_ONTOLOGY, CREATE_ONTOLOGY_VERSION, CREATE_QUESTION, CREATE_TASK, CREATE_TOPIC, DEPRECATE_ONTOLOGY_VERSION, DETECT_CONFIRMATION_BIAS, DISCOVER, DISCOVER_ENTITY_CONNECTIONS, END_SESSION, EVALUATE_CONTRACT, FILTER_BY_PERMISSION, FIND_CONTRADICTIONS, FIND_MISSING_QUESTIONS, FLAG_CONTRADICTION, FORK_BELIEF, GENERATE_SESSION_HANDOFF, GET_AGENT_INBOX, GET_ANSWER, GET_AUDIT_TRAIL, GET_BELIEF, GET_CHANGE_HISTORY, GET_CODE_CONTEXT, GET_CONFIDENCE_HISTORY, GET_CONTRACT_STATUS, GET_EPISTEMIC_NODE, GET_EVIDENCE, GET_FAILURE_LOG, GET_FALSIFICATION_QUESTIONS, GET_GRAPH_GAPS, GET_GRAPH_NEIGHBORHOOD, GET_GRAPH_STRUCTURE_ANALYSIS, GET_HIGH_PRIORITY_QUESTIONS, GET_LATTICE_COVERAGE, GET_OBSERVATION_CONTEXT, GET_ONTOLOGY, GET_QUESTION, GET_TOPIC, GET_TOPIC_COVERAGE, GET_TOPIC_GRAPH_SPINE, GET_TOPIC_TREE, GET_WORKTREE, GIT_SEMANTIC_REQUIRED_TOOLS, HEARTBEAT_SESSION, IDENTITY_WHOAMI, INGEST_OBSERVATION, LINK_EVIDENCE, LINK_EVIDENCE_TO_BELIEF, LINK_EVIDENCE_TO_QUESTION, LIST_ACTIVE_SESSIONS, LIST_ALL_WORKTREES, LIST_BELIEFS, LIST_CAMPAIGNS, LIST_EPISTEMIC_NODES, LIST_EVIDENCE, LIST_GRAPH_INTELLIGENCE_QUERIES, LIST_LENSES, LIST_ONTOLOGIES, LIST_QUESTIONS, LIST_TASKS, LIST_TOPICS, LIST_WORKTREES, LUCERN_ORIENT, MANAGE_WRITE_POLICY, MATCH_ENTITY_TYPE, MATERIALIZE_TOPIC_GRAPH, MCP_TOOL_CONTRACTS, MERGE,
|
|
4776
|
+
export { ACTIVATE_WORKTREE, ADD_EVIDENCE, ADD_WORKTREE, ANALYZE_TOPIC_DENSITY, ANSWER_QUESTION, APPEND_SL_SCORING, APPLY_AUTO_BRANCHING, APPLY_LENS_TO_TOPIC, APPLY_ONTOLOGY, ARCHIVE_BELIEF, ARCHIVE_EPISTEMIC_NODE, ARCHIVE_ONTOLOGY, ARCHIVE_QUESTION, BATCH_CREATE_EDGES, BATCH_CREATE_EPISTEMIC_NODES, BEGIN_BUILD_SESSION, BISECT_CONFIDENCE, BROADCAST_MESSAGE, CHECK_PERMISSION, CLAIM_FILES, COMPILE_CONTEXT, COMPLETE_TASK, CREATE_ANSWER, CREATE_BELIEF, CREATE_EDGE, CREATE_EPISTEMIC_CONTRACT, CREATE_EPISTEMIC_NODE, CREATE_EVIDENCE, CREATE_LENS, CREATE_ONTOLOGY, CREATE_ONTOLOGY_VERSION, CREATE_QUESTION, CREATE_TASK, CREATE_TOPIC, DEPRECATE_ONTOLOGY_VERSION, DETECT_CONFIRMATION_BIAS, DISCOVER, DISCOVER_ENTITY_CONNECTIONS, END_SESSION, EVALUATE_CONTRACT, FILTER_BY_PERMISSION, FIND_CONTRADICTIONS, FIND_MISSING_QUESTIONS, FLAG_CONTRADICTION, FORK_BELIEF, GENERATE_SESSION_HANDOFF, GET_AGENT_INBOX, GET_ANSWER, GET_AUDIT_TRAIL, GET_BELIEF, GET_CHANGE_HISTORY, GET_CODE_CONTEXT, GET_CONFIDENCE_HISTORY, GET_CONTRACT_STATUS, GET_EPISTEMIC_NODE, GET_EVIDENCE, GET_FAILURE_LOG, GET_FALSIFICATION_QUESTIONS, GET_GRAPH_GAPS, GET_GRAPH_NEIGHBORHOOD, GET_GRAPH_STRUCTURE_ANALYSIS, GET_HIGH_PRIORITY_QUESTIONS, GET_LATTICE_COVERAGE, GET_OBSERVATION_CONTEXT, GET_ONTOLOGY, GET_QUESTION, GET_TOPIC, GET_TOPIC_COVERAGE, GET_TOPIC_GRAPH_SPINE, GET_TOPIC_TREE, GET_WORKTREE, GIT_SEMANTIC_REQUIRED_TOOLS, HEARTBEAT_SESSION, IDENTITY_WHOAMI, INGEST_OBSERVATION, LINK_EVIDENCE, LINK_EVIDENCE_TO_BELIEF, LINK_EVIDENCE_TO_QUESTION, LIST_ACTIVE_SESSIONS, LIST_ALL_WORKTREES, LIST_BELIEFS, LIST_CAMPAIGNS, LIST_EPISTEMIC_NODES, LIST_EVIDENCE, LIST_GRAPH_INTELLIGENCE_QUERIES, LIST_LENSES, LIST_ONTOLOGIES, LIST_QUESTIONS, LIST_TASKS, LIST_TOPICS, LIST_WORKTREES, LUCERN_ORIENT, MANAGE_WRITE_POLICY, MATCH_ENTITY_TYPE, MATERIALIZE_TOPIC_GRAPH, MCP_TOOL_CONTRACTS, MERGE, OPEN_PULL_REQUEST, PIPELINE_SNAPSHOT, PUBLISH_ONTOLOGY_VERSION, PUSH, QUERY_LINEAGE, RECORD_ATTEMPT, RECORD_JUDGMENT, RECORD_SCOPE_LEARNING, REFINE_BELIEF, REFINE_QUESTION, REGISTER_SESSION, REMOVE_EDGE, REMOVE_EDGES_BETWEEN, REMOVE_LENS_FROM_TOPIC, RESOLVE_EFFECTIVE_ONTOLOGY, RESOLVE_INTERACTIVE_PRINCIPAL, RUN_GRAPH_INTELLIGENCE_QUERY, SEARCH_BELIEFS, SEARCH_EVIDENCE, SEED_BELIEF_LATTICE, SEND_AGENT_MESSAGE, SUPERSEDE_EPISTEMIC_NODE, TRACE_ENTITY_IMPACT, TRAVERSE_GRAPH, TRIGGER_BELIEF_REVIEW, UPDATE_EDGE, UPDATE_EPISTEMIC_NODE, UPDATE_ONTOLOGY, UPDATE_QUESTION_STATUS, UPDATE_TASK, UPDATE_TOPIC, UPDATE_WORKTREE_METADATA, UPDATE_WORKTREE_TARGETS, VERIFY_EPISTEMIC_NODE, validateGitSemantics };
|
|
4800
4777
|
//# sourceMappingURL=tool-contracts.values.js.map
|
|
4801
4778
|
//# sourceMappingURL=tool-contracts.values.js.map
|