@lucern/graph-primitives 1.0.2 → 1.0.3
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.
|
@@ -3,7 +3,7 @@ import { EdgeStatusResult, WorkspaceEdgeScope, WorkspaceScopedEdge } from './epi
|
|
|
3
3
|
import { Id, QueryCtx } from './convex.js';
|
|
4
4
|
import './topicScope-By_zp4tt.js';
|
|
5
5
|
|
|
6
|
-
declare const epistemicLayerValidator: convex_values.VUnion<"
|
|
6
|
+
declare const epistemicLayerValidator: convex_values.VUnion<"L4" | "L3" | "L2" | "L1" | "ontological" | "organizational", [convex_values.VLiteral<"L4", "required">, convex_values.VLiteral<"L3", "required">, convex_values.VLiteral<"L2", "required">, convex_values.VLiteral<"L1", "required">, convex_values.VLiteral<"ontological", "required">, convex_values.VLiteral<"organizational", "required">], "required", never>;
|
|
7
7
|
declare const subjectiveOpinionValidator: convex_values.VObject<{
|
|
8
8
|
b: number;
|
|
9
9
|
d: number;
|
|
@@ -15,7 +15,7 @@ declare const subjectiveOpinionValidator: convex_values.VObject<{
|
|
|
15
15
|
u: convex_values.VFloat64<number, "required">;
|
|
16
16
|
a: convex_values.VFloat64<number, "required">;
|
|
17
17
|
}, "required", "b" | "d" | "u" | "a">;
|
|
18
|
-
declare const edgeTypeValidator: convex_values.VUnion<"
|
|
18
|
+
declare const edgeTypeValidator: convex_values.VUnion<"supports" | "informs" | "depends_on" | "derived_from" | "contains" | "tests" | "based_on_belief" | "based_on_question" | "blocked_by_contradiction" | "informed_by_theme" | "works_at" | "invested_in" | "competes_with" | "participates_in" | "founded_by" | "evaluates" | "performs" | "function_in" | "impacts" | "raised_from" | "mentioned_in" | "perspective_on" | "supersedes" | "responds_to" | "belongs_to" | "relates_to_thesis" | "plays_theme" | "contradicts" | "prerequisite_for" | "parallel_to" | "corroborates" | "extends" | "same_source_as" | "same_theme_as" | "qualifies" | "explores" | "scoped_by" | "same_as" | "assumes" | "would_predict" | "analogous_to" | "independent_of" | "counterfactual_of" | "cascade_to" | "mutually_exclusive" | "correlates_with" | "amplifies" | "precondition_for" | "in_tension_with" | "cascade_from" | "falsified_by" | "exclusive_with" | "collapses_if" | "strengthened_by" | "weakened_by" | "alternative_to" | "subsumes" | "validated_by" | "required_for" | "blocks", [convex_values.VLiteral<"based_on_belief", "required">, convex_values.VLiteral<"based_on_question", "required">, convex_values.VLiteral<"blocked_by_contradiction", "required">, convex_values.VLiteral<"informed_by_theme", "required">, convex_values.VLiteral<"derived_from", "required">, convex_values.VLiteral<"responds_to", "required">, convex_values.VLiteral<"informs", "required">, convex_values.VLiteral<"tests", "required">, convex_values.VLiteral<"explores", "required">, convex_values.VLiteral<"qualifies", "required">, convex_values.VLiteral<"relates_to_thesis", "required">, convex_values.VLiteral<"belongs_to", "required">, convex_values.VLiteral<"plays_theme", "required">, convex_values.VLiteral<"scoped_by", "required">, convex_values.VLiteral<"evaluates", "required">, convex_values.VLiteral<"perspective_on", "required">, convex_values.VLiteral<"works_at", "required">, convex_values.VLiteral<"mentioned_in", "required">, convex_values.VLiteral<"founded_by", "required">, convex_values.VLiteral<"participates_in", "required">, convex_values.VLiteral<"performs", "required">, convex_values.VLiteral<"function_in", "required">, convex_values.VLiteral<"impacts", "required">, convex_values.VLiteral<"invested_in", "required">, convex_values.VLiteral<"raised_from", "required">, convex_values.VLiteral<"supersedes", "required">, convex_values.VLiteral<"same_as", "required">, convex_values.VLiteral<"depends_on", "required">, convex_values.VLiteral<"supports", "required">, convex_values.VLiteral<"contains", "required">, convex_values.VLiteral<"counterfactual_of", "required">, convex_values.VLiteral<"cascade_to", "required">, convex_values.VLiteral<"cascade_from", "required">, convex_values.VLiteral<"mutually_exclusive", "required">, convex_values.VLiteral<"correlates_with", "required">, convex_values.VLiteral<"amplifies", "required">, convex_values.VLiteral<"precondition_for", "required">, convex_values.VLiteral<"in_tension_with", "required">, convex_values.VLiteral<"falsified_by", "required">, convex_values.VLiteral<"exclusive_with", "required">, convex_values.VLiteral<"contradicts", "required">, convex_values.VLiteral<"collapses_if", "required">, convex_values.VLiteral<"strengthened_by", "required">, convex_values.VLiteral<"weakened_by", "required">, convex_values.VLiteral<"alternative_to", "required">, convex_values.VLiteral<"subsumes", "required">, convex_values.VLiteral<"validated_by", "required">, convex_values.VLiteral<"required_for", "required">, convex_values.VLiteral<"blocks", "required">, convex_values.VLiteral<"prerequisite_for", "required">, convex_values.VLiteral<"parallel_to", "required">, convex_values.VLiteral<"corroborates", "required">, convex_values.VLiteral<"extends", "required">, convex_values.VLiteral<"same_source_as", "required">, convex_values.VLiteral<"same_theme_as", "required">, convex_values.VLiteral<"assumes", "required">, convex_values.VLiteral<"would_predict", "required">, convex_values.VLiteral<"analogous_to", "required">, convex_values.VLiteral<"independent_of", "required">, convex_values.VLiteral<"competes_with", "required">], "required", never>;
|
|
19
19
|
declare function buildEdgeStatusSuccessResult(): EdgeStatusResult;
|
|
20
20
|
declare function buildEdgeNotFoundResult(): EdgeStatusResult;
|
|
21
21
|
declare function buildEdgeMirrorSkippedResult(): EdgeStatusResult;
|
|
@@ -7,7 +7,7 @@ import * as convex_values from 'convex/values';
|
|
|
7
7
|
* L2: Claims, evidence, synthesis - compression boundary
|
|
8
8
|
* L1: Atomic facts, excerpts, sources - terminal leaves
|
|
9
9
|
*/
|
|
10
|
-
declare const epistemicLayerValidator: convex_values.VUnion<"
|
|
10
|
+
declare const epistemicLayerValidator: convex_values.VUnion<"L4" | "L3" | "L2" | "L1" | "ontological" | "organizational", [convex_values.VLiteral<"L4", "required">, convex_values.VLiteral<"L3", "required">, convex_values.VLiteral<"L2", "required">, convex_values.VLiteral<"L1", "required">, convex_values.VLiteral<"ontological", "required">, convex_values.VLiteral<"organizational", "required">], "required", never>;
|
|
11
11
|
declare const l4NodeTypeValidator: convex_values.VUnion<"decision", [convex_values.VLiteral<"decision", "required">], "required", never>;
|
|
12
12
|
declare const l3NodeTypeValidator: convex_values.VUnion<"belief" | "question" | "theme" | "deal", [convex_values.VLiteral<"belief", "required">, convex_values.VLiteral<"question", "required">, convex_values.VLiteral<"theme", "required">, convex_values.VLiteral<"deal", "required">], "required", never>;
|
|
13
13
|
declare const l2NodeTypeValidator: convex_values.VUnion<"evidence" | "synthesis" | "claim", [convex_values.VLiteral<"claim", "required">, convex_values.VLiteral<"evidence", "required">, convex_values.VLiteral<"synthesis", "required">], "required", never>;
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
{
|
|
2
|
+
"proofIrVersion": "proof-ir/v1",
|
|
3
|
+
"manifestVersions": {
|
|
4
|
+
"@lucern/confidence": "0.3.0-alpha.0",
|
|
5
|
+
"@lucern/contracts": "0.3.0-alpha.0",
|
|
6
|
+
"edge-policy-manifest": "1.0.0"
|
|
7
|
+
},
|
|
8
|
+
"invariantsCovered": [
|
|
9
|
+
"INV-1: beliefs append-only",
|
|
10
|
+
"INV-14: no silent state transitions",
|
|
11
|
+
"MANIFEST-1: kernel projections declare epistemicAudit"
|
|
12
|
+
],
|
|
13
|
+
"invariantResults": [
|
|
14
|
+
{
|
|
15
|
+
"invariant": "INV-1: beliefs append-only",
|
|
16
|
+
"status": "passed",
|
|
17
|
+
"severity": "block_publish",
|
|
18
|
+
"evidenceRefs": []
|
|
19
|
+
},
|
|
20
|
+
{
|
|
21
|
+
"invariant": "INV-14: no silent state transitions",
|
|
22
|
+
"status": "passed",
|
|
23
|
+
"severity": "block_publish",
|
|
24
|
+
"evidenceRefs": []
|
|
25
|
+
},
|
|
26
|
+
{
|
|
27
|
+
"invariant": "MANIFEST-1: kernel projections declare epistemicAudit",
|
|
28
|
+
"status": "passed",
|
|
29
|
+
"severity": "block_publish",
|
|
30
|
+
"evidenceRefs": []
|
|
31
|
+
}
|
|
32
|
+
],
|
|
33
|
+
"contractsCovered": [
|
|
34
|
+
"create_evidence",
|
|
35
|
+
"list_beliefs",
|
|
36
|
+
"list_tasks",
|
|
37
|
+
"modulate_confidence"
|
|
38
|
+
],
|
|
39
|
+
"emittersUsed": [
|
|
40
|
+
"typescript-types",
|
|
41
|
+
"convex-validators",
|
|
42
|
+
"proof-attestation"
|
|
43
|
+
],
|
|
44
|
+
"signedAt": 1779912126651
|
|
45
|
+
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@lucern/graph-primitives",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.3",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"main": "./dist/index.js",
|
|
6
6
|
"types": "./dist/index.d.ts",
|
|
@@ -32,9 +32,9 @@
|
|
|
32
32
|
"typecheck": "tsc --noEmit"
|
|
33
33
|
},
|
|
34
34
|
"dependencies": {
|
|
35
|
-
"@lucern/access-control": "1.0.
|
|
36
|
-
"@lucern/confidence": "1.0.
|
|
37
|
-
"@lucern/contracts": "1.0.
|
|
35
|
+
"@lucern/access-control": "1.0.3",
|
|
36
|
+
"@lucern/confidence": "1.0.3",
|
|
37
|
+
"@lucern/contracts": "1.0.3",
|
|
38
38
|
"convex": "^1.17.0"
|
|
39
39
|
},
|
|
40
40
|
"devDependencies": {
|