jingu-protocol 0.1.1 → 0.1.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.
Files changed (9) hide show
  1. package/dist/src/rpp/rpp.failures.d.ts.map +1 -1
  2. package/dist/src/rpp/rpp.failures.js +12 -0
  3. package/dist/src/rpp/rpp.failures.js.map +1 -1
  4. package/dist/src/rpp/rpp.types.d.ts +10 -4
  5. package/dist/src/rpp/rpp.types.d.ts.map +1 -1
  6. package/dist/src/rpp/rpp.validate.d.ts.map +1 -1
  7. package/dist/src/rpp/rpp.validate.js +61 -9
  8. package/dist/src/rpp/rpp.validate.js.map +1 -1
  9. package/package.json +1 -1
package/dist/src/rpp/rpp.failures.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"rpp.failures.d.ts","sourceRoot":"","sources":["../../../src/rpp/rpp.failures.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAA;IAC7B,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAgElF,CAAA;AAWD,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAE3D"}
1
+ {"version":3,"file":"rpp.failures.d.ts","sourceRoot":"","sources":["../../../src/rpp/rpp.failures.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAA;IAC7B,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,cAAc,EAAE,qBAAqB,CA0ElF,CAAA;AAaD,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAE3D"}
package/dist/src/rpp/rpp.failures.js CHANGED
@@ -62,6 +62,16 @@ export const RPP_FAILURE_DESCRIPTIONS = {
62
62
  description: "An action step proposes actions that exceed the scope authorized by the preceding decision stage.",
63
63
  example: "Decision stage authorizes 'update config file' but action stage also proposes 'delete the database'.",
64
64
  },
65
+ DANGLING_PROVENANCE_LINK: {
66
+ severity: "error",
67
+ description: "A DerivedRef.from_steps entry references a step id that does not exist in the RPP record, references a step that has no references, or references a step whose references are all 'derived' type (no grounding in evidence/rule/method — the chain terminates in another floating declaration).",
68
+ example: "response.references has { type: 'derived', from_steps: ['s3'] } but no step has id: 's3', or step 's3' has only { type: 'derived' } refs with no evidence/rule/method.",
69
+ },
70
+ EMPTY_PROVENANCE_LINK: {
71
+ severity: "error",
72
+ description: "A DerivedRef.from_steps is an empty array. A derived reference that points to no steps is equivalent to a self-claim with no grounding — the provenance chain does not exist.",
73
+ example: "response.references has { type: 'derived', from_steps: [] } — this declares derivation but names no source steps.",
74
+ },
65
75
  };
66
76
  const HARD_FAILURE_CODES = new Set([
67
77
  "MISSING_STAGE",
@@ -70,6 +80,8 @@ const HARD_FAILURE_CODES = new Set([
70
80
  "UNTRACEABLE_RESPONSE",
71
81
  "UNJUSTIFIED_DECISION",
72
82
  "INVALID_REFERENCE",
83
+ "DANGLING_PROVENANCE_LINK",
84
+ "EMPTY_PROVENANCE_LINK",
73
85
  ]);
74
86
  export function isHardFailure(code) {
75
87
  return HARD_FAILURE_CODES.has(code);
package/dist/src/rpp/rpp.failures.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"rpp.failures.js","sourceRoot":"","sources":["../../../src/rpp/rpp.failures.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAU1B,MAAM,CAAC,MAAM,wBAAwB,GAAkD;IACrF,sDAAsD;IACtD,aAAa,EAAE;QACb,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,4GAA4G;QACzH,OAAO,EAAE,8FAA8F;KACxG;IACD,aAAa,EAAE;QACb,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,+FAA+F;QAC5G,OAAO,EAAE,iFAAiF;KAC3F;IACD,aAAa,EAAE;QACb,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,2FAA2F;QACxG,OAAO,EAAE,6EAA6E;KACvF;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,2MAA2M;QACxN,OAAO,EAAE,iMAAiM;KAC3M;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,sGAAsG;QACnH,OAAO,EAAE,sGAAsG;KAChH;IACD,iBAAiB,EAAE;QACjB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,4FAA4F;QACzG,OAAO,EAAE,kHAAkH;KAC5H;IAED,iEAAiE;IACjE,iBAAiB,EAAE;QACjB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,0FAA0F;QACvG,OAAO,EAAE,yGAAyG;KACnH;IACD,iBAAiB,EAAE;QACjB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,6FAA6F;QAC1G,OAAO,EAAE,4HAA4H;KACtI;IACD,kBAAkB,EAAE;QAClB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,+JAA+J;QAC5K,OAAO,EAAE,mIAAmI;KAC7I;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,qGAAqG;QAClH,OAAO,EAAE,4GAA4G;KACtH;IACD,kBAAkB,EAAE;QAClB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,wGAAwG;QACrH,OAAO,EAAE,0FAA0F;KACpG;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,mGAAmG;QAChH,OAAO,EAAE,sGAAsG;KAChH;CACF,CAAA;AAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB;IACjD,eAAe;IACf,eAAe;IACf,eAAe;IACf,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;CACpB,CAAC,CAAA;AAEF,MAAM,UAAU,aAAa,CAAC,IAAoB;IAChD,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACrC,CAAC"}
1
+ {"version":3,"file":"rpp.failures.js","sourceRoot":"","sources":["../../../src/rpp/rpp.failures.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAU1B,MAAM,CAAC,MAAM,wBAAwB,GAAkD;IACrF,sDAAsD;IACtD,aAAa,EAAE;QACb,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,4GAA4G;QACzH,OAAO,EAAE,8FAA8F;KACxG;IACD,aAAa,EAAE;QACb,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,+FAA+F;QAC5G,OAAO,EAAE,iFAAiF;KAC3F;IACD,aAAa,EAAE;QACb,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,2FAA2F;QACxG,OAAO,EAAE,6EAA6E;KACvF;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,2MAA2M;QACxN,OAAO,EAAE,iMAAiM;KAC3M;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,sGAAsG;QACnH,OAAO,EAAE,sGAAsG;KAChH;IACD,iBAAiB,EAAE;QACjB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,4FAA4F;QACzG,OAAO,EAAE,kHAAkH;KAC5H;IAED,iEAAiE;IACjE,iBAAiB,EAAE;QACjB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,0FAA0F;QACvG,OAAO,EAAE,yGAAyG;KACnH;IACD,iBAAiB,EAAE;QACjB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,6FAA6F;QAC1G,OAAO,EAAE,4HAA4H;KACtI;IACD,kBAAkB,EAAE;QAClB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,+JAA+J;QAC5K,OAAO,EAAE,mIAAmI;KAC7I;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,qGAAqG;QAClH,OAAO,EAAE,4GAA4G;KACtH;IACD,kBAAkB,EAAE;QAClB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,wGAAwG;QACrH,OAAO,EAAE,0FAA0F;KACpG;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,mGAAmG;QAChH,OAAO,EAAE,sGAAsG;KAChH;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,iSAAiS;QAC9S,OAAO,EAAE,wKAAwK;KAClL;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,+KAA+K;QAC5L,OAAO,EAAE,mHAAmH;KAC7H;CACF,CAAA;AAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB;IACjD,eAAe;IACf,eAAe;IACf,eAAe;IACf,sBAAsB;IACtB,sBAAsB;IACtB,mBAAmB;IACnB,0BAA0B;IAC1B,uBAAuB;CACxB,CAAC,CAAA;AAEF,MAAM,UAAU,aAAa,CAAC,IAAoB;IAChD,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACrC,CAAC"}
package/dist/src/rpp/rpp.types.d.ts CHANGED
@@ -15,16 +15,22 @@ export type MethodRef = {
15
15
  supports: string;
16
16
  };
17
17
  /**
18
- * DerivedRef: structural claim that this content is derived from prior steps
19
- * in the same RPP record. Required in response.references to establish
20
- * machine-checkable traceability — replaces fragile keyword matching.
18
+ * DerivedRef: structural claim that this content is derived from specific
19
+ * prior steps in the same RPP record. `from_steps` must list the step ids
20
+ * of the steps this content is derived from — the gate validates that every
21
+ * listed id exists in record.steps and that those steps have references.
22
+ *
23
+ * This replaces fragile keyword matching with a machine-checkable provenance
24
+ * graph edge: response → step(s) → references → evidence/rule/method.
21
25
  */
22
26
  export type DerivedRef = {
23
27
  type: "derived";
28
+ from_steps: string[];
24
29
  supports: string;
25
30
  };
26
31
  export type Reference = EvidenceRef | RuleRef | MethodRef | DerivedRef;
27
32
  export type CognitiveStep = {
33
+ id?: string;
28
34
  stage: "interpretation" | "reasoning" | "decision" | "action";
29
35
  content: string[];
30
36
  references: Reference[];
@@ -42,7 +48,7 @@ export type RPPRecord = {
42
48
  steps: CognitiveStep[];
43
49
  response: ResponseStep;
44
50
  };
45
- export type RPPFailureCode = "MISSING_STAGE" | "EMPTY_CONTENT" | "NO_REFERENCES" | "UNSUPPORTED_CLAIM" | "INFERENCE_AS_FACT" | "UNTRACEABLE_RESPONSE" | "UNJUSTIFIED_DECISION" | "ACTION_SCOPE_VIOLATION" | "METHOD_NOT_ACTUALLY_USED" | "INVALID_REFERENCE" | "SUPPORTS_TOO_VAGUE" | "CIRCULAR_REFERENCE";
51
+ export type RPPFailureCode = "MISSING_STAGE" | "EMPTY_CONTENT" | "NO_REFERENCES" | "UNSUPPORTED_CLAIM" | "INFERENCE_AS_FACT" | "UNTRACEABLE_RESPONSE" | "UNJUSTIFIED_DECISION" | "ACTION_SCOPE_VIOLATION" | "METHOD_NOT_ACTUALLY_USED" | "INVALID_REFERENCE" | "SUPPORTS_TOO_VAGUE" | "CIRCULAR_REFERENCE" | "DANGLING_PROVENANCE_LINK" | "EMPTY_PROVENANCE_LINK";
46
52
  export type RPPFailure = {
47
53
  code: RPPFailureCode;
48
54
  stage?: CognitiveStep["stage"] | "response";
package/dist/src/rpp/rpp.types.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"rpp.types.d.ts","sourceRoot":"","sources":["../../../src/rpp/rpp.types.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,UAAU,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,QAAQ,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,CAAA;AAEtE,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,gBAAgB,GAAG,WAAW,GAAG,UAAU,GAAG,QAAQ,CAAA;IAC7D,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB,WAAW,CAAC,EAAE,SAAS,EAAE,CAAA;IACzB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,KAAK,EAAE,aAAa,EAAE,CAAA;IACtB,QAAQ,EAAE,YAAY,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,cAAc,GACtB,eAAe,GACf,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,mBAAmB,GACnB,sBAAsB,GACtB,sBAAsB,GACtB,wBAAwB,GACxB,0BAA0B,GAC1B,mBAAmB,GACnB,oBAAoB,GACpB,oBAAoB,CAAA;AAExB,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,UAAU,CAAA;IAC3C,MAAM,EAAE,MAAM,CAAA;CACf,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,cAAc,EAAE,OAAO,GAAG,kBAAkB,GAAG,SAAS,CAAA;IACxD,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB,QAAQ,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA"}
1
+ {"version":3,"file":"rpp.types.d.ts","sourceRoot":"","sources":["../../../src/rpp/rpp.types.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,UAAU,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,QAAQ,CAAA;IACd,SAAS,EAAE,MAAM,CAAA;IACjB,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,SAAS,CAAA;IACf,UAAU,EAAE,MAAM,EAAE,CAAA;IACpB,QAAQ,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,CAAA;AAEtE,MAAM,MAAM,aAAa,GAAG;IAC1B,EAAE,CAAC,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,gBAAgB,GAAG,WAAW,GAAG,UAAU,GAAG,QAAQ,CAAA;IAC7D,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB,WAAW,CAAC,EAAE,SAAS,EAAE,CAAA;IACzB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,KAAK,EAAE,aAAa,EAAE,CAAA;IACtB,QAAQ,EAAE,YAAY,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,cAAc,GACtB,eAAe,GACf,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,mBAAmB,GACnB,sBAAsB,GACtB,sBAAsB,GACtB,wBAAwB,GACxB,0BAA0B,GAC1B,mBAAmB,GACnB,oBAAoB,GACpB,oBAAoB,GACpB,0BAA0B,GAC1B,uBAAuB,CAAA;AAE3B,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,UAAU,CAAA;IAC3C,MAAM,EAAE,MAAM,CAAA;CACf,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,cAAc,EAAE,OAAO,GAAG,kBAAkB,GAAG,SAAS,CAAA;IACxD,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB,QAAQ,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA"}
package/dist/src/rpp/rpp.validate.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"rpp.validate.d.ts","sourceRoot":"","sources":["../../../src/rpp/rpp.validate.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAc,mBAAmB,EAA4B,MAAM,gBAAgB,CAAA;AAyDrG,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,mBAAmB,CAqIlE"}
1
+ {"version":3,"file":"rpp.validate.d.ts","sourceRoot":"","sources":["../../../src/rpp/rpp.validate.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAc,mBAAmB,EAA4B,MAAM,gBAAgB,CAAA;AAyDrG,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,mBAAmB,CA4LlE"}
package/dist/src/rpp/rpp.validate.js CHANGED
@@ -136,18 +136,13 @@ export function validateRPP(record) {
136
136
  }
137
137
  }
138
138
  // --- Check 8: UNTRACEABLE_RESPONSE ---
139
- // Structural check: response must contain at least one reference of type "derived".
140
- // A DerivedRef is an explicit structural claim that the response follows from
141
- // the cognitive chain above — it is the machine-checkable link between response
142
- // and reasoning. This replaces the prior keyword-match heuristic which:
143
- // (a) stripped all non-ASCII characters (breaking non-English content)
144
- // (b) used a magic length threshold (>= 3 chars) with no semantic meaning
145
- // (c) could be trivially gamed by repeating any word from a prior step
139
+ // Structural check: response must contain at least one DerivedRef.
140
+ // DerivedRef is the provenance graph edge: response → step(s) → references.
146
141
  if (record.response.references.length === 0) {
147
142
  allIssues.push({
148
143
  code: "UNTRACEABLE_RESPONSE",
149
144
  stage: "response",
150
- detail: `Response has no references. Add at least one { type: "derived", supports: "..." } reference to establish that the response follows from the cognitive chain.`,
145
+ detail: `Response has no references. Add at least one { type: "derived", from_steps: [...], supports: "..." } to establish the provenance chain.`,
151
146
  });
152
147
  }
153
148
  else {
@@ -156,10 +151,67 @@ export function validateRPP(record) {
156
151
  allIssues.push({
157
152
  code: "UNTRACEABLE_RESPONSE",
158
153
  stage: "response",
159
- detail: `Response references contain no "derived" type. Add at least one { type: "derived", supports: "..." } to structurally link the response to the prior reasoning steps.`,
154
+ detail: `Response references contain no "derived" type. Add { type: "derived", from_steps: [...], supports: "..." } to link the response to the prior reasoning steps.`,
160
155
  });
161
156
  }
162
157
  }
158
+ // --- Check 9: DANGLING_PROVENANCE_LINK ---
159
+ // When a DerivedRef lists from_steps, each listed step id must exist in the
160
+ // record and that step must have at least one reference (otherwise the chain
161
+ // terminates in a step with no evidence, which is not a valid provenance node).
162
+ //
163
+ // Backward compat: if all steps lack ids, from_steps cannot be validated and
164
+ // this check is skipped. Verification only fires when step ids are present.
165
+ const stepById = new Map();
166
+ for (const step of record.steps) {
167
+ if (step.id)
168
+ stepById.set(step.id, step);
169
+ }
170
+ for (const ref of record.response.references) {
171
+ if (ref.type !== "derived")
172
+ continue;
173
+ // --- Check 9a: EMPTY_PROVENANCE_LINK ---
174
+ // from_steps must name at least one step. An empty array is a self-claim:
175
+ // it declares derivation but points to nothing — equivalent to no chain at all.
176
+ if (ref.from_steps.length === 0) {
177
+ allIssues.push({
178
+ code: "EMPTY_PROVENANCE_LINK",
179
+ stage: "response",
180
+ detail: `DerivedRef.from_steps is empty. List at least one step id that this response derives from.`,
181
+ });
182
+ continue;
183
+ }
184
+ // --- Check 9b: DANGLING_PROVENANCE_LINK ---
185
+ // When step ids are present in the record, each from_steps entry must:
186
+ // (1) resolve to an existing step
187
+ // (2) that step must have at least one non-derived reference
188
+ // (evidence / rule / method) — otherwise the chain terminates in
189
+ // another floating declaration, not in actual grounding.
190
+ //
191
+ // Backward compat: if no steps have ids, skip resolution check.
192
+ if (stepById.size > 0) {
193
+ for (const stepId of ref.from_steps) {
194
+ const target = stepById.get(stepId);
195
+ if (!target) {
196
+ allIssues.push({
197
+ code: "DANGLING_PROVENANCE_LINK",
198
+ stage: "response",
199
+ detail: `DerivedRef.from_steps references step id "${stepId}" which does not exist in this RPP record.`,
200
+ });
201
+ }
202
+ else {
203
+ const hasGroundedRef = (target.references ?? []).some((r) => r.type === "evidence" || r.type === "rule" || r.type === "method");
204
+ if (!hasGroundedRef) {
205
+ allIssues.push({
206
+ code: "DANGLING_PROVENANCE_LINK",
207
+ stage: "response",
208
+ detail: `DerivedRef.from_steps references step "${stepId}" (stage: "${target.stage}") which has no evidence/rule/method references — the provenance chain terminates in an ungrounded step.`,
209
+ });
210
+ }
211
+ }
212
+ }
213
+ }
214
+ }
163
215
  // --- Compute overall_status ---
164
216
  const failures = allIssues.filter((issue) => isHardFailure(issue.code));
165
217
  const warnings = allIssues.filter((issue) => !isHardFailure(issue.code));
package/dist/src/rpp/rpp.validate.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"rpp.validate.js","sourceRoot":"","sources":["../../../src/rpp/rpp.validate.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAG1B,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAEjD,MAAM,eAAe,GAAkC;IACrD,gBAAgB;IAChB,WAAW;IACX,UAAU;IACV,QAAQ;CACT,CAAA;AAED,MAAM,sBAAsB,GAAG,cAAc,CAAA;AAE7C,MAAM,eAAe,GAAG;IACtB,eAAe;IACf,QAAQ;IACR,OAAO;IACP,SAAS;IACT,WAAW;CACZ,CAAA;AAED,SAAS,iBAAiB,CAAC,GAAc,EAAE,KAA0C;IACnF,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,iCAAiC,GAAG,CAAC,OAAO,gCAAgC;aACrF,CAAA;QACH,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,qCAAqC,GAAG,CAAC,SAAS,gCAAgC;aAC3F,CAAA;QACH,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9E,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,kDAAkD;aAC3D,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACjF,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,mDAAmD;aAC5D,CAAA;QACH,CAAC;IACH,CAAC;IACD,2FAA2F;IAC3F,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAiB;IAC3C,MAAM,SAAS,GAAiB,EAAE,CAAA;IAElC,iCAAiC;IACjC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,eAAe;gBACrB,KAAK,EAAE,QAAQ;gBACf,MAAM,EAAE,mBAAmB,QAAQ,mCAAmC;aACvE,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAExB,iCAAiC;QACjC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,eAAe;gBACrB,KAAK;gBACL,MAAM,EAAE,UAAU,KAAK,4BAA4B;aACpD,CAAC,CAAA;QACJ,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,eAAe;gBACrB,KAAK;gBACL,MAAM,EAAE,UAAU,KAAK,sBAAsB;aAC9C,CAAC,CAAA;QACJ,CAAC;QAED,gDAAgD;QAChD,uEAAuE;QACvE,kFAAkF;QAClF,oFAAoF;QACpF,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChD,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,oBAAoB;oBAC1B,KAAK;oBACL,MAAM,EAAE,uBAAuB,KAAK,4EAA4E;iBACjH,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAA;IACrE,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,eAAe,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAClD,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CACtD,CAAA;QACD,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,yEAAyE;aAClF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAA;IACvE,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,cAAc,GAAG,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;QACtF,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,KAAK,MAAM,WAAW,IAAI,aAAa,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACtD,MAAM,KAAK,GAAG,WAAW,CAAC,WAAW,EAAE,CAAA;gBACvC,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC7E,IAAI,gBAAgB,EAAE,CAAC;oBACrB,SAAS,CAAC,IAAI,CAAC;wBACb,IAAI,EAAE,mBAAmB;wBACzB,KAAK,EAAE,WAAW;wBAClB,MAAM,EAAE,qDAAqD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,uCAAuC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG;qBACrN,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,oFAAoF;IACpF,8EAA8E;IAC9E,gFAAgF;IAChF,wEAAwE;IACxE,yEAAyE;IACzE,4EAA4E;IAC5E,yEAAyE;IACzE,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,8JAA8J;SACvK,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;QACnF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,sKAAsK;aAC/K,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAExE,IAAI,cAAqD,CAAA;IACzD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,cAAc,GAAG,SAAS,CAAA;IAC5B,CAAC;SAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,cAAc,GAAG,kBAAkB,CAAA;IACrC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,OAAO,CAAA;IAC1B,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;AAC/C,CAAC"}
1
+ {"version":3,"file":"rpp.validate.js","sourceRoot":"","sources":["../../../src/rpp/rpp.validate.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAG1B,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAEjD,MAAM,eAAe,GAAkC;IACrD,gBAAgB;IAChB,WAAW;IACX,UAAU;IACV,QAAQ;CACT,CAAA;AAED,MAAM,sBAAsB,GAAG,cAAc,CAAA;AAE7C,MAAM,eAAe,GAAG;IACtB,eAAe;IACf,QAAQ;IACR,OAAO;IACP,SAAS;IACT,WAAW;CACZ,CAAA;AAED,SAAS,iBAAiB,CAAC,GAAc,EAAE,KAA0C;IACnF,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,iCAAiC,GAAG,CAAC,OAAO,gCAAgC;aACrF,CAAA;QACH,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,qCAAqC,GAAG,CAAC,SAAS,gCAAgC;aAC3F,CAAA;QACH,CAAC;IACH,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9E,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,kDAAkD;aAC3D,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACjF,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK;gBACL,MAAM,EAAE,mDAAmD;aAC5D,CAAA;QACH,CAAC;IACH,CAAC;IACD,2FAA2F;IAC3F,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAiB;IAC3C,MAAM,SAAS,GAAiB,EAAE,CAAA;IAElC,iCAAiC;IACjC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,eAAe;gBACrB,KAAK,EAAE,QAAQ;gBACf,MAAM,EAAE,mBAAmB,QAAQ,mCAAmC;aACvE,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAExB,iCAAiC;QACjC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,eAAe;gBACrB,KAAK;gBACL,MAAM,EAAE,UAAU,KAAK,4BAA4B;aACpD,CAAC,CAAA;QACJ,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,eAAe;gBACrB,KAAK;gBACL,MAAM,EAAE,UAAU,KAAK,sBAAsB;aAC9C,CAAC,CAAA;QACJ,CAAC;QAED,gDAAgD;QAChD,uEAAuE;QACvE,kFAAkF;QAClF,oFAAoF;QACpF,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChD,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,oBAAoB;oBAC1B,KAAK;oBACL,MAAM,EAAE,uBAAuB,KAAK,4EAA4E;iBACjH,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAA;IACrE,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,eAAe,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAClD,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CACtD,CAAA;QACD,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,yEAAyE;aAClF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAA;IACvE,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,cAAc,GAAG,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;QACtF,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,KAAK,MAAM,WAAW,IAAI,aAAa,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACtD,MAAM,KAAK,GAAG,WAAW,CAAC,WAAW,EAAE,CAAA;gBACvC,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC7E,IAAI,gBAAgB,EAAE,CAAC;oBACrB,SAAS,CAAC,IAAI,CAAC;wBACb,IAAI,EAAE,mBAAmB;wBACzB,KAAK,EAAE,WAAW;wBAClB,MAAM,EAAE,qDAAqD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,uCAAuC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG;qBACrN,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,mEAAmE;IACnE,4EAA4E;IAC5E,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,yIAAyI;SAClJ,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;QACnF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,+JAA+J;aACxK,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,4EAA4E;IAC5E,6EAA6E;IAC7E,gFAAgF;IAChF,EAAE;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAA;IACjD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAC1C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAEpC,0CAA0C;QAC1C,0EAA0E;QAC1E,gFAAgF;QAChF,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,uBAAuB;gBAC7B,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,4FAA4F;aACrG,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QAED,6CAA6C;QAC7C,uEAAuE;QACvE,oCAAoC;QACpC,+DAA+D;QAC/D,uEAAuE;QACvE,+DAA+D;QAC/D,EAAE;QACF,gEAAgE;QAChE,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACtB,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACnC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,SAAS,CAAC,IAAI,CAAC;wBACb,IAAI,EAAE,0BAA0B;wBAChC,KAAK,EAAE,UAAU;wBACjB,MAAM,EAAE,6CAA6C,MAAM,4CAA4C;qBACxG,CAAC,CAAA;gBACJ,CAAC;qBAAM,CAAC;oBACN,MAAM,cAAc,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzE,CAAA;oBACD,IAAI,CAAC,cAAc,EAAE,CAAC;wBACpB,SAAS,CAAC,IAAI,CAAC;4BACb,IAAI,EAAE,0BAA0B;4BAChC,KAAK,EAAE,UAAU;4BACjB,MAAM,EAAE,0CAA0C,MAAM,cAAc,MAAM,CAAC,KAAK,0GAA0G;yBAC7L,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAExE,IAAI,cAAqD,CAAA;IACzD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,cAAc,GAAG,SAAS,CAAA;IAC5B,CAAC;SAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,cAAc,GAAG,kBAAkB,CAAA;IACrC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,OAAO,CAAA;IAC1B,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;AAC/C,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "jingu-protocol",
3
- "version": "0.1.1",
3
+ "version": "0.1.3",
4
4
  "description": "Shared protocol types for the Jingu system — RPP (Reasoning Provenance Protocol) and related definitions",
5
5
  "type": "module",
6
6
  "main": "./dist/src/index.js",