@agentplat/inference-control 0.3.0-beta.2 → 0.3.0-beta.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.
- package/README.md +360 -0
- package/dist/anytime-semantic-guarantees.d.ts +216 -0
- package/dist/anytime-semantic-guarantees.d.ts.map +1 -0
- package/dist/anytime-semantic-guarantees.js +817 -0
- package/dist/anytime-semantic-guarantees.js.map +1 -0
- package/dist/assessor-ensemble-contracts.d.ts +145 -0
- package/dist/assessor-ensemble-contracts.d.ts.map +1 -0
- package/dist/assessor-ensemble-contracts.js +29 -0
- package/dist/assessor-ensemble-contracts.js.map +1 -0
- package/dist/assessor-ensemble-runtime.d.ts +55 -0
- package/dist/assessor-ensemble-runtime.d.ts.map +1 -0
- package/dist/assessor-ensemble-runtime.js +308 -0
- package/dist/assessor-ensemble-runtime.js.map +1 -0
- package/dist/assessor-ensemble-validation.d.ts +12 -0
- package/dist/assessor-ensemble-validation.d.ts.map +1 -0
- package/dist/assessor-ensemble-validation.js +156 -0
- package/dist/assessor-ensemble-validation.js.map +1 -0
- package/dist/assessor-ensemble.d.ts +4 -0
- package/dist/assessor-ensemble.d.ts.map +1 -0
- package/dist/assessor-ensemble.js +4 -0
- package/dist/assessor-ensemble.js.map +1 -0
- package/dist/cognitive-adapters.d.ts +92 -0
- package/dist/cognitive-adapters.d.ts.map +1 -0
- package/dist/cognitive-adapters.js +263 -0
- package/dist/cognitive-adapters.js.map +1 -0
- package/dist/context-integrity-analyzers.d.ts +35 -0
- package/dist/context-integrity-analyzers.d.ts.map +1 -0
- package/dist/context-integrity-analyzers.js +387 -0
- package/dist/context-integrity-analyzers.js.map +1 -0
- package/dist/context-integrity-contracts.d.ts +304 -0
- package/dist/context-integrity-contracts.d.ts.map +1 -0
- package/dist/context-integrity-contracts.js +24 -0
- package/dist/context-integrity-contracts.js.map +1 -0
- package/dist/context-integrity-model.d.ts +25 -0
- package/dist/context-integrity-model.d.ts.map +1 -0
- package/dist/context-integrity-model.js +192 -0
- package/dist/context-integrity-model.js.map +1 -0
- package/dist/context-integrity-portable-agent.d.ts +79 -0
- package/dist/context-integrity-portable-agent.d.ts.map +1 -0
- package/dist/context-integrity-portable-agent.js +511 -0
- package/dist/context-integrity-portable-agent.js.map +1 -0
- package/dist/context-integrity-role-alignment.d.ts +28 -0
- package/dist/context-integrity-role-alignment.d.ts.map +1 -0
- package/dist/context-integrity-role-alignment.js +95 -0
- package/dist/context-integrity-role-alignment.js.map +1 -0
- package/dist/context-integrity-runtime.d.ts +95 -0
- package/dist/context-integrity-runtime.d.ts.map +1 -0
- package/dist/context-integrity-runtime.js +1512 -0
- package/dist/context-integrity-runtime.js.map +1 -0
- package/dist/context-integrity.d.ts +5 -0
- package/dist/context-integrity.d.ts.map +1 -0
- package/dist/context-integrity.js +5 -0
- package/dist/context-integrity.js.map +1 -0
- package/dist/governed-role-evolution.d.ts +172 -0
- package/dist/governed-role-evolution.d.ts.map +1 -0
- package/dist/governed-role-evolution.js +613 -0
- package/dist/governed-role-evolution.js.map +1 -0
- package/dist/heterogeneous-agent-composition.d.ts +96 -0
- package/dist/heterogeneous-agent-composition.d.ts.map +1 -0
- package/dist/heterogeneous-agent-composition.js +512 -0
- package/dist/heterogeneous-agent-composition.js.map +1 -0
- package/dist/index.d.ts +21 -13
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +21 -13
- package/dist/index.js.map +1 -1
- package/dist/intervention-adapters.d.ts +29 -0
- package/dist/intervention-adapters.d.ts.map +1 -0
- package/dist/intervention-adapters.js +107 -0
- package/dist/intervention-adapters.js.map +1 -0
- package/dist/intervention-contracts.d.ts +311 -0
- package/dist/intervention-contracts.d.ts.map +1 -0
- package/dist/intervention-contracts.js +28 -0
- package/dist/intervention-contracts.js.map +1 -0
- package/dist/intervention-runtime.d.ts +86 -0
- package/dist/intervention-runtime.d.ts.map +1 -0
- package/dist/intervention-runtime.js +958 -0
- package/dist/intervention-runtime.js.map +1 -0
- package/dist/intervention-validation.d.ts +27 -0
- package/dist/intervention-validation.d.ts.map +1 -0
- package/dist/intervention-validation.js +273 -0
- package/dist/intervention-validation.js.map +1 -0
- package/dist/intervention.d.ts +6 -0
- package/dist/intervention.d.ts.map +1 -0
- package/dist/intervention.js +6 -0
- package/dist/intervention.js.map +1 -0
- package/dist/model.d.ts +18 -0
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +60 -2
- package/dist/model.js.map +1 -1
- package/dist/operational-cognitive-control.d.ts +208 -0
- package/dist/operational-cognitive-control.d.ts.map +1 -0
- package/dist/operational-cognitive-control.js +590 -0
- package/dist/operational-cognitive-control.js.map +1 -0
- package/dist/portable-agent.d.ts +50 -0
- package/dist/portable-agent.d.ts.map +1 -0
- package/dist/portable-agent.js +243 -0
- package/dist/portable-agent.js.map +1 -0
- package/dist/reference-controllers.d.ts +121 -0
- package/dist/reference-controllers.d.ts.map +1 -0
- package/dist/reference-controllers.js +411 -0
- package/dist/reference-controllers.js.map +1 -0
- package/dist/role-alignment-portable-agent.d.ts +145 -0
- package/dist/role-alignment-portable-agent.d.ts.map +1 -0
- package/dist/role-alignment-portable-agent.js +484 -0
- package/dist/role-alignment-portable-agent.js.map +1 -0
- package/dist/role-alignment.d.ts +226 -0
- package/dist/role-alignment.d.ts.map +1 -0
- package/dist/role-alignment.js +1074 -0
- package/dist/role-alignment.js.map +1 -0
- package/dist/role-realignment-portable-agent.d.ts +163 -0
- package/dist/role-realignment-portable-agent.d.ts.map +1 -0
- package/dist/role-realignment-portable-agent.js +634 -0
- package/dist/role-realignment-portable-agent.js.map +1 -0
- package/dist/role-realignment.d.ts +368 -0
- package/dist/role-realignment.d.ts.map +1 -0
- package/dist/role-realignment.js +1609 -0
- package/dist/role-realignment.js.map +1 -0
- package/dist/semantic-alignment-assessors.d.ts +12 -0
- package/dist/semantic-alignment-assessors.d.ts.map +1 -0
- package/dist/semantic-alignment-assessors.js +55 -0
- package/dist/semantic-alignment-assessors.js.map +1 -0
- package/dist/semantic-alignment-contracts.d.ts +385 -0
- package/dist/semantic-alignment-contracts.d.ts.map +1 -0
- package/dist/semantic-alignment-contracts.js +16 -0
- package/dist/semantic-alignment-contracts.js.map +1 -0
- package/dist/semantic-alignment-memory.d.ts +53 -0
- package/dist/semantic-alignment-memory.d.ts.map +1 -0
- package/dist/semantic-alignment-memory.js +170 -0
- package/dist/semantic-alignment-memory.js.map +1 -0
- package/dist/semantic-alignment-runtime.d.ts +67 -0
- package/dist/semantic-alignment-runtime.d.ts.map +1 -0
- package/dist/semantic-alignment-runtime.js +778 -0
- package/dist/semantic-alignment-runtime.js.map +1 -0
- package/dist/semantic-alignment-validation.d.ts +31 -0
- package/dist/semantic-alignment-validation.d.ts.map +1 -0
- package/dist/semantic-alignment-validation.js +477 -0
- package/dist/semantic-alignment-validation.js.map +1 -0
- package/dist/semantic-alignment.d.ts +8 -0
- package/dist/semantic-alignment.d.ts.map +1 -0
- package/dist/semantic-alignment.js +8 -0
- package/dist/semantic-alignment.js.map +1 -0
- package/dist/semantic-horizon-budget.d.ts +118 -0
- package/dist/semantic-horizon-budget.d.ts.map +1 -0
- package/dist/semantic-horizon-budget.js +536 -0
- package/dist/semantic-horizon-budget.js.map +1 -0
- package/dist/semantic-metric-engine.d.ts +96 -0
- package/dist/semantic-metric-engine.d.ts.map +1 -0
- package/dist/semantic-metric-engine.js +396 -0
- package/dist/semantic-metric-engine.js.map +1 -0
- package/package.json +79 -7
|
@@ -0,0 +1,95 @@
|
|
|
1
|
+
import { digestContextIntegrityJsonV1, projectContextIntegrityRoleV1, validateContextIntegrityStateV1, } from "./context-integrity-runtime.js";
|
|
2
|
+
import { assertDigest, assertIdentifier, assertSafeInteger, deepFreeze, } from "./validation.js";
|
|
3
|
+
/**
|
|
4
|
+
* Projects content-free integrity state into an ordinary role-alignment
|
|
5
|
+
* signal. The caller must explicitly bind this factory as its assessor.
|
|
6
|
+
*/
|
|
7
|
+
export function createContextIntegrityRoleAlignmentSignalV1(input) {
|
|
8
|
+
const state = validateContextIntegrityStateV1(input.state, input.policy);
|
|
9
|
+
const projection = projectContextIntegrityRoleV1(state, input.policy);
|
|
10
|
+
const binding = normalizeBinding(input.binding);
|
|
11
|
+
if (binding.observedAtLogicalMs < state.logicalTimeHighWaterMs ||
|
|
12
|
+
binding.expiresAtLogicalMs <= binding.observedAtLogicalMs)
|
|
13
|
+
fail("context_integrity_role_signal_time_invalid");
|
|
14
|
+
const signalSeed = deepFreeze({
|
|
15
|
+
stateDigest: state.stateDigest,
|
|
16
|
+
projectionDigest: projection.projectionDigest,
|
|
17
|
+
assessmentRequestId: binding.assessmentRequestId,
|
|
18
|
+
targetDigest: binding.targetDigest,
|
|
19
|
+
});
|
|
20
|
+
const signalDigest = digestContextIntegrityJsonV1("projection", signalSeed);
|
|
21
|
+
return deepFreeze({
|
|
22
|
+
schemaVersion: 1,
|
|
23
|
+
signalId: `context-integrity-signal.${signalDigest.slice(7)}`,
|
|
24
|
+
assessmentRequestId: binding.assessmentRequestId,
|
|
25
|
+
assessorId: binding.assessorId,
|
|
26
|
+
assessorVersion: binding.assessorVersion,
|
|
27
|
+
assessorBindingDigest: binding.assessorBindingDigest,
|
|
28
|
+
tenantId: binding.tenantId,
|
|
29
|
+
sessionId: binding.sessionId,
|
|
30
|
+
agentId: binding.agentId,
|
|
31
|
+
stepId: binding.stepId,
|
|
32
|
+
checkpoint: binding.checkpoint,
|
|
33
|
+
roleAnchorDigest: binding.roleAnchorDigest,
|
|
34
|
+
roleRevision: binding.roleRevision,
|
|
35
|
+
targetDigest: binding.targetDigest,
|
|
36
|
+
coherenceBps: projection.coherenceBps,
|
|
37
|
+
uncertaintyBps: projection.uncertaintyBps,
|
|
38
|
+
contextInconsistencyBps: 10_000 - projection.coherenceBps,
|
|
39
|
+
hardViolation: projection.roleStatus === "denied" || state.status === "denied",
|
|
40
|
+
reasonCodes: deepFreeze([
|
|
41
|
+
`context_integrity_${state.status}`,
|
|
42
|
+
...(state.degraded ? ["context_integrity_degraded"] : []),
|
|
43
|
+
].sort(compare)),
|
|
44
|
+
evidenceReferenceIds: deepFreeze([projection.projectionDigest, state.stateDigest].sort(compare)),
|
|
45
|
+
observedAtLogicalMs: binding.observedAtLogicalMs,
|
|
46
|
+
expiresAtLogicalMs: binding.expiresAtLogicalMs,
|
|
47
|
+
});
|
|
48
|
+
}
|
|
49
|
+
function normalizeBinding(input) {
|
|
50
|
+
if (!input || typeof input !== "object")
|
|
51
|
+
fail("context_integrity_role_signal_binding_required");
|
|
52
|
+
if (input.checkpoint !== "pre_step" &&
|
|
53
|
+
input.checkpoint !== "post_output" &&
|
|
54
|
+
input.checkpoint !== "pre_action")
|
|
55
|
+
fail("context_integrity_role_signal_checkpoint_invalid");
|
|
56
|
+
return deepFreeze({
|
|
57
|
+
assessmentRequestId: identifier(input.assessmentRequestId, "assessmentRequestId"),
|
|
58
|
+
assessorId: identifier(input.assessorId, "assessorId"),
|
|
59
|
+
assessorVersion: positive(input.assessorVersion, "assessorVersion"),
|
|
60
|
+
assessorBindingDigest: digest(input.assessorBindingDigest, "assessorBindingDigest"),
|
|
61
|
+
tenantId: identifier(input.tenantId, "tenantId"),
|
|
62
|
+
sessionId: identifier(input.sessionId, "sessionId"),
|
|
63
|
+
agentId: identifier(input.agentId, "agentId"),
|
|
64
|
+
stepId: identifier(input.stepId, "stepId"),
|
|
65
|
+
checkpoint: input.checkpoint,
|
|
66
|
+
roleAnchorDigest: digest(input.roleAnchorDigest, "roleAnchorDigest"),
|
|
67
|
+
roleRevision: positive(input.roleRevision, "roleRevision"),
|
|
68
|
+
targetDigest: digest(input.targetDigest, "targetDigest"),
|
|
69
|
+
observedAtLogicalMs: nonNegative(input.observedAtLogicalMs, "observedAtLogicalMs"),
|
|
70
|
+
expiresAtLogicalMs: positive(input.expiresAtLogicalMs, "expiresAtLogicalMs"),
|
|
71
|
+
});
|
|
72
|
+
}
|
|
73
|
+
function identifier(input, label) {
|
|
74
|
+
assertIdentifier(input, label);
|
|
75
|
+
return input;
|
|
76
|
+
}
|
|
77
|
+
function digest(input, label) {
|
|
78
|
+
assertDigest(input, label);
|
|
79
|
+
return input;
|
|
80
|
+
}
|
|
81
|
+
function positive(input, label) {
|
|
82
|
+
assertSafeInteger(input, label, 1);
|
|
83
|
+
return input;
|
|
84
|
+
}
|
|
85
|
+
function nonNegative(input, label) {
|
|
86
|
+
assertSafeInteger(input, label, 0);
|
|
87
|
+
return input;
|
|
88
|
+
}
|
|
89
|
+
function compare(left, right) {
|
|
90
|
+
return left < right ? -1 : left > right ? 1 : 0;
|
|
91
|
+
}
|
|
92
|
+
function fail(message) {
|
|
93
|
+
throw new TypeError(message);
|
|
94
|
+
}
|
|
95
|
+
//# sourceMappingURL=context-integrity-role-alignment.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"context-integrity-role-alignment.js","sourceRoot":"","sources":["../src/context-integrity-role-alignment.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,4BAA4B,EAC5B,6BAA6B,EAC7B,+BAA+B,GAChC,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,GACX,MAAM,iBAAiB,CAAC;AAmBzB;;;GAGG;AACH,MAAM,UAAU,2CAA2C,CAAC,KAI3D;IACC,MAAM,KAAK,GAAG,+BAA+B,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,6BAA6B,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,IACE,OAAO,CAAC,mBAAmB,GAAG,KAAK,CAAC,sBAAsB;QAC1D,OAAO,CAAC,kBAAkB,IAAI,OAAO,CAAC,mBAAmB;QAEzD,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,UAAU,CAAC;QAC5B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;QAC7C,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,4BAA4B,CAC/C,YAAY,EACZ,UAAkC,CACnC,CAAC;IACF,OAAO,UAAU,CAAC;QAChB,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,4BAA4B,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAC7D,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;QACpD,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,uBAAuB,EAAE,MAAM,GAAG,UAAU,CAAC,YAAY;QACzD,aAAa,EACX,UAAU,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QACjE,WAAW,EAAE,UAAU,CACrB;YACE,qBAAqB,KAAK,CAAC,MAAM,EAAE;YACnC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC,IAAI,CAAC,OAAO,CAAC,CAChB;QACD,oBAAoB,EAAE,UAAU,CAC9B,CAAC,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAC/D;QACD,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA0C;IAE1C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QACrC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IACzD,IACE,KAAK,CAAC,UAAU,KAAK,UAAU;QAC/B,KAAK,CAAC,UAAU,KAAK,aAAa;QAClC,KAAK,CAAC,UAAU,KAAK,YAAY;QAEjC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC;QAChB,mBAAmB,EAAE,UAAU,CAC7B,KAAK,CAAC,mBAAmB,EACzB,qBAAqB,CACtB;QACD,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC;QACtD,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC;QACnE,qBAAqB,EAAE,MAAM,CAC3B,KAAK,CAAC,qBAAqB,EAC3B,uBAAuB,CACxB;QACD,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC;QAChD,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;QACnD,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC;QAC7C,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;QACpE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC;QAC1D,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC;QACxD,mBAAmB,EAAE,WAAW,CAC9B,KAAK,CAAC,mBAAmB,EACzB,qBAAqB,CACtB;QACD,kBAAkB,EAAE,QAAQ,CAC1B,KAAK,CAAC,kBAAkB,EACxB,oBAAoB,CACrB;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAAa;IAC1C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC"}
|
|
@@ -0,0 +1,95 @@
|
|
|
1
|
+
import type { JsonValue } from "@agentplat/core";
|
|
2
|
+
import { type ContextIntegrityAnalyzerV1, type ContextIntegrityAssessmentV1, type ContextIntegrityDecisionV1, type ContextIntegrityEphemeralContentV1, type ContextIntegrityEvaluationInputV1, type ContextIntegrityFilterBindingV1, type ContextIntegrityHeadV1, type ContextIntegrityHandoffEnvelopeV1, type ContextIntegrityInterventionCountsV1, type ContextIntegrityItemV1, type ContextIntegrityPolicyRecordV1, type ContextIntegrityPolicyV1, type ContextIntegrityPortV1, type ContextIntegrityReductionInputV1, type ContextIntegrityReductionResultV1, type ContextIntegrityRoleProjectionV1, type ContextIntegrityRuntimeOptionsV1, type ContextIntegrityStateStatusV1, type ContextIntegrityStateV1, type ContextIntegrityStoreV1, type ContextIntegrityWindowEntryV1, type ContextIntegrityRequestV1 } from "./context-integrity-contracts.js";
|
|
3
|
+
export declare function digestContextIntegrityJsonV1(domain: "policy" | "item" | "request" | "analysis" | "assessment" | "head" | "decision" | "state" | "projection" | "filter" | "handoff", value: JsonValue): string;
|
|
4
|
+
export declare function createContextIntegrityPolicyV1(input: ContextIntegrityPolicyV1): ContextIntegrityPolicyRecordV1;
|
|
5
|
+
export declare function validateContextIntegrityPolicyV1(input: unknown): ContextIntegrityPolicyRecordV1;
|
|
6
|
+
export declare function createContextIntegrityFilterBindingV1(input: {
|
|
7
|
+
readonly schemaVersion: 1;
|
|
8
|
+
readonly filterId: string;
|
|
9
|
+
readonly filterVersion: number;
|
|
10
|
+
readonly filterImplementationDigest: string;
|
|
11
|
+
}): ContextIntegrityFilterBindingV1;
|
|
12
|
+
export declare function validateContextIntegrityFilterBindingV1(input: unknown): ContextIntegrityFilterBindingV1;
|
|
13
|
+
export declare function createContextIntegrityItemV1(input: Omit<ContextIntegrityItemV1, "itemDigest">): ContextIntegrityItemV1;
|
|
14
|
+
export declare function validateContextIntegrityItemV1(input: unknown): ContextIntegrityItemV1;
|
|
15
|
+
export declare function createContextIntegrityRequestV1(input: Omit<ContextIntegrityRequestV1, "requestDigest">): ContextIntegrityRequestV1;
|
|
16
|
+
export declare function validateContextIntegrityRequestV1(input: unknown): ContextIntegrityRequestV1;
|
|
17
|
+
export declare function createContextIntegrityEphemeralContentV1(input: {
|
|
18
|
+
readonly itemId: string;
|
|
19
|
+
readonly mediaType: "text" | "json";
|
|
20
|
+
readonly content: JsonValue;
|
|
21
|
+
}): ContextIntegrityEphemeralContentV1;
|
|
22
|
+
export declare function validateContextIntegrityEphemeralContentV1(input: unknown): ContextIntegrityEphemeralContentV1;
|
|
23
|
+
export declare function createContextIntegrityAssessmentV1(input: Omit<ContextIntegrityAssessmentV1, "analysisDigest" | "assessmentDigest">): ContextIntegrityAssessmentV1;
|
|
24
|
+
export declare function validateContextIntegrityAssessmentV1(input: unknown): ContextIntegrityAssessmentV1;
|
|
25
|
+
export declare function createContextIntegrityStateV1(input: {
|
|
26
|
+
readonly stateKey: string;
|
|
27
|
+
readonly controllerId: string;
|
|
28
|
+
readonly controllerVersion: number;
|
|
29
|
+
readonly implementationId: string;
|
|
30
|
+
readonly policy: ContextIntegrityPolicyRecordV1;
|
|
31
|
+
readonly analyzer: Pick<ContextIntegrityAnalyzerV1, "analyzerId" | "analyzerVersion" | "analyzerImplementationDigest">;
|
|
32
|
+
readonly revision?: number;
|
|
33
|
+
readonly logicalTimeHighWaterMs?: number;
|
|
34
|
+
readonly stepCount?: number;
|
|
35
|
+
readonly status?: ContextIntegrityStateStatusV1;
|
|
36
|
+
readonly degraded?: boolean;
|
|
37
|
+
readonly adverseStreak?: number;
|
|
38
|
+
readonly recoveryStreak?: number;
|
|
39
|
+
readonly interventionCounts?: ContextIntegrityInterventionCountsV1;
|
|
40
|
+
readonly heads?: readonly ContextIntegrityHeadV1[];
|
|
41
|
+
readonly rollingWindow?: readonly ContextIntegrityWindowEntryV1[];
|
|
42
|
+
readonly predecessorStateDigest?: string | null;
|
|
43
|
+
readonly lastRequestDigest?: string | null;
|
|
44
|
+
readonly lastDecision?: ContextIntegrityDecisionV1 | null;
|
|
45
|
+
}): ContextIntegrityStateV1;
|
|
46
|
+
export declare function validateContextIntegrityStateV1(input: unknown, policyValue: ContextIntegrityPolicyRecordV1): ContextIntegrityStateV1;
|
|
47
|
+
export declare function reduceContextIntegrityV1(input: ContextIntegrityReductionInputV1): ContextIntegrityReductionResultV1;
|
|
48
|
+
export declare function validateContextIntegrityDecisionV1(input: {
|
|
49
|
+
readonly decision: unknown;
|
|
50
|
+
readonly request: ContextIntegrityRequestV1;
|
|
51
|
+
readonly expected: Pick<ContextIntegrityPortV1, "controllerId" | "controllerVersion" | "implementationId" | "policyId" | "policyVersion" | "policyDigest" | "analyzerId" | "analyzerVersion" | "analyzerImplementationDigest">;
|
|
52
|
+
readonly logicalTimeMs: number;
|
|
53
|
+
}): ContextIntegrityDecisionV1;
|
|
54
|
+
export declare class ContextIntegrityRuntimeV1 implements ContextIntegrityPortV1 {
|
|
55
|
+
#private;
|
|
56
|
+
readonly controllerId: string;
|
|
57
|
+
readonly controllerVersion: number;
|
|
58
|
+
readonly implementationId: string;
|
|
59
|
+
readonly policyId: string;
|
|
60
|
+
readonly policyVersion: number;
|
|
61
|
+
readonly policyDigest: string;
|
|
62
|
+
readonly analyzerId: string;
|
|
63
|
+
readonly analyzerVersion: number;
|
|
64
|
+
readonly analyzerImplementationDigest: string;
|
|
65
|
+
constructor(options: ContextIntegrityRuntimeOptionsV1);
|
|
66
|
+
evaluate(input: ContextIntegrityEvaluationInputV1): Promise<ContextIntegrityDecisionV1>;
|
|
67
|
+
getState(stateKeyValue: string): Promise<ContextIntegrityStateV1 | null>;
|
|
68
|
+
exportHandoff(input: {
|
|
69
|
+
readonly sourceStateKey: string;
|
|
70
|
+
readonly targetStateKey: string;
|
|
71
|
+
readonly logicalTimeMs: number;
|
|
72
|
+
}): Promise<ContextIntegrityHandoffEnvelopeV1>;
|
|
73
|
+
importHandoff(input: {
|
|
74
|
+
readonly handoff: ContextIntegrityHandoffEnvelopeV1;
|
|
75
|
+
readonly targetStateKey: string;
|
|
76
|
+
readonly logicalTimeMs: number;
|
|
77
|
+
}): Promise<ContextIntegrityStateV1>;
|
|
78
|
+
}
|
|
79
|
+
export declare function validateContextIntegrityHandoffV1(input: unknown, policyValue: ContextIntegrityPolicyRecordV1): ContextIntegrityHandoffEnvelopeV1;
|
|
80
|
+
export declare class InMemoryContextIntegrityStoreV1 implements ContextIntegrityStoreV1 {
|
|
81
|
+
#private;
|
|
82
|
+
constructor(policy: ContextIntegrityPolicyRecordV1);
|
|
83
|
+
load(stateKeyValue: string): Promise<ContextIntegrityStateV1 | null>;
|
|
84
|
+
save(input: {
|
|
85
|
+
readonly state: ContextIntegrityStateV1;
|
|
86
|
+
readonly expectedRevision: number | null;
|
|
87
|
+
}): Promise<boolean>;
|
|
88
|
+
}
|
|
89
|
+
export declare function projectContextIntegrityRoleV1(stateValue: ContextIntegrityStateV1, policyValue: ContextIntegrityPolicyRecordV1): ContextIntegrityRoleProjectionV1;
|
|
90
|
+
export declare function contextIntegrityHeadKeyV1(input: {
|
|
91
|
+
readonly itemId: string;
|
|
92
|
+
readonly sourceId: string;
|
|
93
|
+
readonly analyzerId: string;
|
|
94
|
+
}): string;
|
|
95
|
+
//# sourceMappingURL=context-integrity-runtime.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"context-integrity-runtime.d.ts","sourceRoot":"","sources":["../src/context-integrity-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAGjD,OAAO,EAKL,KAAK,0BAA0B,EAE/B,KAAK,4BAA4B,EAEjC,KAAK,0BAA0B,EAC/B,KAAK,kCAAkC,EACvC,KAAK,iCAAiC,EACtC,KAAK,+BAA+B,EACpC,KAAK,sBAAsB,EAC3B,KAAK,iCAAiC,EACtC,KAAK,oCAAoC,EAGzC,KAAK,sBAAsB,EAG3B,KAAK,8BAA8B,EACnC,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,gCAAgC,EACrC,KAAK,iCAAiC,EACtC,KAAK,gCAAgC,EACrC,KAAK,gCAAgC,EAGrC,KAAK,6BAA6B,EAClC,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAG5B,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,EAC/B,MAAM,kCAAkC,CAAC;AAkP1C,wBAAgB,4BAA4B,CAC1C,MAAM,EACF,QAAQ,GACR,MAAM,GACN,SAAS,GACT,UAAU,GACV,YAAY,GACZ,MAAM,GACN,UAAU,GACV,OAAO,GACP,YAAY,GACZ,QAAQ,GACR,SAAS,EACb,KAAK,EAAE,SAAS,GACf,MAAM,CAMR;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,wBAAwB,GAC9B,8BAA8B,CAUhC;AAED,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,GACb,8BAA8B,CAWhC;AAED,wBAAgB,qCAAqC,CAAC,KAAK,EAAE;IAC3D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;CAC7C,GAAG,+BAA+B,CAwBlC;AAED,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,GACb,+BAA+B,CAYjC;AAED,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,IAAI,CAAC,sBAAsB,EAAE,YAAY,CAAC,GAChD,sBAAsB,CAkDxB;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,OAAO,GACb,sBAAsB,CAQxB;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GACtD,yBAAyB,CA2C3B;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,GACb,yBAAyB,CAQ3B;AAED,wBAAgB,wCAAwC,CAAC,KAAK,EAAE;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC7B,GAAG,kCAAkC,CAarC;AAED,wBAAgB,0CAA0C,CACxD,KAAK,EAAE,OAAO,GACb,kCAAkC,CAWpC;AAED,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,IAAI,CACT,4BAA4B,EAC5B,gBAAgB,GAAG,kBAAkB,CACtC,GACA,4BAA4B,CAwE9B;AAED,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,OAAO,GACb,4BAA4B,CAW9B;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,8BAA8B,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CACrB,0BAA0B,EAC1B,YAAY,GAAG,iBAAiB,GAAG,8BAA8B,CAClE,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,oCAAoC,CAAC;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAClE,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,YAAY,CAAC,EAAE,0BAA0B,GAAG,IAAI,CAAC;CAC3D,GAAG,uBAAuB,CAyG1B;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,OAAO,EACd,WAAW,EAAE,8BAA8B,GAC1C,uBAAuB,CAqCzB;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,gCAAgC,GACtC,iCAAiC,CA8TnC;AAED,wBAAgB,kCAAkC,CAAC,KAAK,EAAE;IACxD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CACrB,sBAAsB,EACpB,cAAc,GACd,mBAAmB,GACnB,kBAAkB,GAClB,UAAU,GACV,eAAe,GACf,cAAc,GACd,YAAY,GACZ,iBAAiB,GACjB,8BAA8B,CACjC,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,GAAG,0BAA0B,CA2B7B;AAED,qBAAa,yBAA0B,YAAW,sBAAsB;;IACtE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;gBAKlC,OAAO,EAAE,gCAAgC;IAkC/C,QAAQ,CACZ,KAAK,EAAE,iCAAiC,GACvC,OAAO,CAAC,0BAA0B,CAAC;IAiFhC,QAAQ,CACZ,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,uBAAuB,GAAG,IAAI,CAAC;IASpC,aAAa,CAAC,KAAK,EAAE;QACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,GAAG,OAAO,CAAC,iCAAiC,CAAC;IAwCxC,aAAa,CAAC,KAAK,EAAE;QACzB,QAAQ,CAAC,OAAO,EAAE,iCAAiC,CAAC;QACpD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,GAAG,OAAO,CAAC,uBAAuB,CAAC;CAgErC;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,EACd,WAAW,EAAE,8BAA8B,GAC1C,iCAAiC,CA6DnC;AAED,qBAAa,+BAAgC,YAAW,uBAAuB;;gBAIjE,MAAM,EAAE,8BAA8B;IAI5C,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,GAAG,IAAI,CAAC;IAKpE,IAAI,CAAC,KAAK,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;QACxC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;KAC1C,GAAG,OAAO,CAAC,OAAO,CAAC;CAmBrB;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,uBAAuB,EACnC,WAAW,EAAE,8BAA8B,GAC1C,gCAAgC,CA4BlC;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,MAAM,CAOT"}
|