loopforge 3.7.0 → 3.8.1
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/LICENSE +21 -21
- package/README.md +171 -157
- package/dist/audit.d.ts +53 -1
- package/dist/audit.d.ts.map +1 -1
- package/dist/audit.js +106 -22
- package/dist/audit.js.map +1 -1
- package/dist/canonical-state.d.ts +75 -69
- package/dist/canonical-state.d.ts.map +1 -1
- package/dist/canonical-state.js +276 -168
- package/dist/canonical-state.js.map +1 -1
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +111 -12
- package/dist/cli.js.map +1 -1
- package/dist/cognitive-facts.d.ts +13 -0
- package/dist/cognitive-facts.d.ts.map +1 -1
- package/dist/cognitive-facts.js +30 -16
- package/dist/cognitive-facts.js.map +1 -1
- package/dist/cognitive-governance.d.ts +30 -6
- package/dist/cognitive-governance.d.ts.map +1 -1
- package/dist/cognitive-governance.js +74 -18
- package/dist/cognitive-governance.js.map +1 -1
- package/dist/committed-round.d.ts +109 -24
- package/dist/committed-round.d.ts.map +1 -1
- package/dist/committed-round.js +235 -52
- package/dist/committed-round.js.map +1 -1
- package/dist/contract-items.d.ts +55 -0
- package/dist/contract-items.d.ts.map +1 -0
- package/dist/contract-items.js +180 -0
- package/dist/contract-items.js.map +1 -0
- package/dist/enforcement-gate.d.ts +43 -20
- package/dist/enforcement-gate.d.ts.map +1 -1
- package/dist/enforcement-gate.js +269 -378
- package/dist/enforcement-gate.js.map +1 -1
- package/dist/engine.d.ts +11 -6
- package/dist/engine.d.ts.map +1 -1
- package/dist/engine.js +102 -67
- package/dist/engine.js.map +1 -1
- package/dist/evidence-claims.d.ts +4 -4
- package/dist/evidence-claims.d.ts.map +1 -1
- package/dist/evidence-claims.js +16 -14
- package/dist/evidence-claims.js.map +1 -1
- package/dist/evidence-provider.d.ts +91 -90
- package/dist/evidence-provider.d.ts.map +1 -1
- package/dist/evidence-provider.js +349 -160
- package/dist/evidence-provider.js.map +1 -1
- package/dist/explain.d.ts +76 -0
- package/dist/explain.d.ts.map +1 -0
- package/dist/explain.js +127 -0
- package/dist/explain.js.map +1 -0
- package/dist/generate-schema.js +250 -53
- package/dist/generate-schema.js.map +1 -1
- package/dist/index.d.ts +8 -7
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -6
- package/dist/index.js.map +1 -1
- package/dist/loop-compiler.d.ts +41 -40
- package/dist/loop-compiler.d.ts.map +1 -1
- package/dist/loop-compiler.js +275 -515
- package/dist/loop-compiler.js.map +1 -1
- package/dist/loop-extras-parser.d.ts +0 -1
- package/dist/loop-extras-parser.d.ts.map +1 -1
- package/dist/loop-extras-parser.js +0 -4
- package/dist/loop-extras-parser.js.map +1 -1
- package/dist/loop-projection.d.ts.map +1 -1
- package/dist/loop-projection.js +3 -1
- package/dist/loop-projection.js.map +1 -1
- package/dist/mcp/round-lifecycle.d.ts +40 -21
- package/dist/mcp/round-lifecycle.d.ts.map +1 -1
- package/dist/mcp/round-lifecycle.js +173 -120
- package/dist/mcp/round-lifecycle.js.map +1 -1
- package/dist/mcp/server.d.ts.map +1 -1
- package/dist/mcp/server.js +63 -10
- package/dist/mcp/server.js.map +1 -1
- package/dist/mcp/session.d.ts +53 -7
- package/dist/mcp/session.d.ts.map +1 -1
- package/dist/mcp/session.js +240 -139
- package/dist/mcp/session.js.map +1 -1
- package/dist/mcp/submission-boundary.d.ts +89 -0
- package/dist/mcp/submission-boundary.d.ts.map +1 -0
- package/dist/mcp/submission-boundary.js +203 -0
- package/dist/mcp/submission-boundary.js.map +1 -0
- package/dist/mcp/tools.d.ts.map +1 -1
- package/dist/mcp/tools.js +377 -125
- package/dist/mcp/tools.js.map +1 -1
- package/dist/policy-metrics.js +2 -2
- package/dist/policy-metrics.js.map +1 -1
- package/dist/policy.d.ts +65 -95
- package/dist/policy.d.ts.map +1 -1
- package/dist/policy.js +151 -39
- package/dist/policy.js.map +1 -1
- package/dist/prompt-assembler.d.ts +7 -33
- package/dist/prompt-assembler.d.ts.map +1 -1
- package/dist/prompt-assembler.js +313 -473
- package/dist/prompt-assembler.js.map +1 -1
- package/dist/prompt-policy.d.ts +1 -4
- package/dist/prompt-policy.d.ts.map +1 -1
- package/dist/prompt-policy.js +6 -7
- package/dist/prompt-policy.js.map +1 -1
- package/dist/protocol.d.ts +411 -168
- package/dist/protocol.d.ts.map +1 -1
- package/dist/protocol.js +23 -69
- package/dist/protocol.js.map +1 -1
- package/dist/replay.js +2 -2
- package/dist/replay.js.map +1 -1
- package/dist/round-contract.d.ts +69 -57
- package/dist/round-contract.d.ts.map +1 -1
- package/dist/round-contract.js +104 -64
- package/dist/round-contract.js.map +1 -1
- package/dist/round-coordinator.d.ts +55 -16
- package/dist/round-coordinator.d.ts.map +1 -1
- package/dist/round-coordinator.js +179 -57
- package/dist/round-coordinator.js.map +1 -1
- package/dist/round-driver.d.ts +7 -5
- package/dist/round-driver.d.ts.map +1 -1
- package/dist/round-driver.js +2 -1
- package/dist/round-driver.js.map +1 -1
- package/dist/round-facts.d.ts +96 -0
- package/dist/round-facts.d.ts.map +1 -0
- package/dist/round-facts.js +216 -0
- package/dist/round-facts.js.map +1 -0
- package/dist/round-transaction.d.ts +23 -9
- package/dist/round-transaction.d.ts.map +1 -1
- package/dist/round-transaction.js +99 -22
- package/dist/round-transaction.js.map +1 -1
- package/dist/self-eval.d.ts +127 -11
- package/dist/self-eval.d.ts.map +1 -1
- package/dist/self-eval.js +517 -36
- package/dist/self-eval.js.map +1 -1
- package/dist/subgoal-state.d.ts +77 -0
- package/dist/subgoal-state.d.ts.map +1 -0
- package/dist/subgoal-state.js +198 -0
- package/dist/subgoal-state.js.map +1 -0
- package/dist/token-utils.d.ts +52 -19
- package/dist/token-utils.d.ts.map +1 -1
- package/dist/token-utils.js +83 -72
- package/dist/token-utils.js.map +1 -1
- package/dist/verification-gate.d.ts +27 -46
- package/dist/verification-gate.d.ts.map +1 -1
- package/dist/verification-gate.js +308 -557
- package/dist/verification-gate.js.map +1 -1
- package/dist/version.d.ts +5 -0
- package/dist/version.d.ts.map +1 -0
- package/dist/version.js +5 -0
- package/dist/version.js.map +1 -0
- package/dist/workspace.d.ts +9 -0
- package/dist/workspace.d.ts.map +1 -1
- package/dist/workspace.js +17 -0
- package/dist/workspace.js.map +1 -1
- package/loop_policy.json +17 -25
- package/package.json +7 -7
- package/skills/perception/SKILL.md +266 -64
package/dist/token-utils.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"token-utils.js","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"token-utils.js","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,UAAU,MAAM,CAAC,MAAwC;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM;aACtB,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;aAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,+EAA+E;AAE/E;kFACkF;AAClF,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAE9E;;8DAE8D;AAC9D,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAA4B,CAAC;IACnE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,8EAA8E;AAE9E;;;;qCAIqC;AACrC,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;SACtD,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED;;kBAEkB;AAClB,MAAM,CAAC,MAAM,YAAY,GAAG,gCAAgC,CAAC;AAE7D;;;;;;;iBAOiB;AACjB,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtC,CAAC;AAED,+EAA+E;AAE/E,+DAA+D;AAC/D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;AACxD,CAAC;AAYD;;;oBAGoB;AACpB,MAAM,UAAU,qBAAqB,CAAC,QAIrC;IACC,MAAM,SAAS,GAAG;QAChB,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;QAClD,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;QACxC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnC,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;YAC5C,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;YACtD,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;YAClD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;SACjD,CAAC,CAAC;KACJ,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,QAAqD;IAErD,OAAO,MAAM,YAAY,CAAC,GAAG,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,oBAAoB,CAClC,IAA0B,EAC1B,gBAAwB;IAExB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;QACtD,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;QAClD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;QAChD,iBAAiB,EAAE,gBAAgB;KACpC,CAAC,CAAC;IACH,OAAO,OAAO,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED;;eAEe;AACf,MAAM,UAAU,qBAAqB,CACnC,KAA0C;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;YACzB,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;YAC5C,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;YACtD,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;YAClD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC;QAC3B,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAE/E;;0EAE0E;AAC1E,MAAM,kBAAkB,GAAG,0BAA0B,CAAC;AAEtD;;yEAEyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC"}
|
|
@@ -19,7 +19,7 @@
|
|
|
19
19
|
* framed as declaration / execution / closure stages in their doc comments.
|
|
20
20
|
*/
|
|
21
21
|
import type { VaultEntry } from "./loop-store.js";
|
|
22
|
-
import type {
|
|
22
|
+
import type { MachineObservation } from "./protocol.js";
|
|
23
23
|
import type { SelfEvaluation, VerificationResult } from "./protocol.js";
|
|
24
24
|
export declare const CHECK_SUCCESS_WITH_REMAINING_CRITERIA = "success_with_remaining_criteria";
|
|
25
25
|
export declare const CHECK_SUCCESS_WITHOUT_VERIFIED_EVIDENCE = "success_without_verified_evidence";
|
|
@@ -42,47 +42,34 @@ export declare const CHECK_VERIFICATION_ENTRYPOINT_MODIFIED = "verification_entr
|
|
|
42
42
|
/** v3.3: Test files changed in the same round a verification command passed.
|
|
43
43
|
* Warn-only — the command result stays usable. */
|
|
44
44
|
export declare const CHECK_TEST_FILES_MODIFIED = "test_files_modified";
|
|
45
|
-
export declare const CHECK_INTENT_DRIFT = "intent_drift";
|
|
46
|
-
export declare const CHECK_SUBGOAL_DRIFT = "subgoal_drift";
|
|
47
45
|
export declare const CHECK_BACKTRACK_WORKSPACE_NOT_RESTORED = "backtrack_workspace_not_restored";
|
|
48
46
|
export declare const CHECK_CRITERIA_CLAIMS_UNVERIFIED = "criteria_claims_unverified";
|
|
49
|
-
/** Contract
|
|
50
|
-
*
|
|
51
|
-
*
|
|
52
|
-
export declare const
|
|
53
|
-
/** done_when items exist but verification_plan is empty or names commands
|
|
54
|
-
* that are not configured AND enabled in policy.evidence.commands — the
|
|
55
|
-
* completion claims could never be machine-checked. Warn. */
|
|
56
|
-
export declare const CHECK_ROUND_UNVERIFIABLE = "round_unverifiable";
|
|
47
|
+
/** v3.8: Contract items claimed met but not machine-verified this round.
|
|
48
|
+
* The round commits; the debt is surfaced and the enforcement gate's
|
|
49
|
+
* verification-debt row handles a persistent pattern. */
|
|
50
|
+
export declare const CHECK_CONTRACT_ITEMS_UNVERIFIED = "contract_items_unverified";
|
|
57
51
|
/** The round's actual git changes include files outside the ACTIVE
|
|
58
|
-
* contract's declared scope. Warn
|
|
59
|
-
*
|
|
52
|
+
* contract's declared scope. Warn; v3.8: not waivable by explanation — the
|
|
53
|
+
* enforcement gate rejects, and repeated drift terminates. */
|
|
60
54
|
export declare const CHECK_ROUND_SCOPE_DRIFT = "round_scope_drift";
|
|
61
|
-
/** success claimed under the ACTIVE contract whose done_when items are
|
|
62
|
-
* either claimed met without machine-verified evidence or silently dropped
|
|
63
|
-
* (not in success_criteria_met NOR success_criteria_remaining). Error. */
|
|
64
|
-
export declare const CHECK_PREMATURE_BOUNDARY = "premature_boundary";
|
|
65
|
-
/** v3.5: Closing a Round Contract is a success-class claim and must be
|
|
66
|
-
* machine-backed. The eval's met claims satisfy every done_when of the
|
|
67
|
-
* ACTIVE contract but its verification_plan commands did not pass this
|
|
68
|
-
* round. Error; warn under evidence.machine_backed_success "warn"; never
|
|
69
|
-
* downgraded by no_change_reason (all done_when met contradicts "no
|
|
70
|
-
* change"). Fail-open: plan names no longer configured+enabled are not
|
|
71
|
-
* required (cannot observe). */
|
|
72
|
-
export declare const CHECK_CONTRACT_COMPLETION_UNVERIFIED = "contract_completion_unverified";
|
|
73
55
|
/** v3.5: The ACTIVE contract is still open (not completed, not blocked)
|
|
74
56
|
* while a different contract was proposed — the proposal is ignored until
|
|
75
57
|
* the active one closes. Warn: the walker still ignores it; this only
|
|
76
58
|
* surfaces the otherwise-silent state. */
|
|
77
59
|
export declare const CHECK_CONTRACT_PREMATURE = "contract_premature";
|
|
78
|
-
|
|
60
|
+
/** v3.7.1: A cited gate (evaluation.gate_ids) is not approved. Opt-in:
|
|
61
|
+
* checked ONLY when policy.gate.enabled — citations are meaningless when
|
|
62
|
+
* the gate layer is off. Error → enforcement rejects the round. */
|
|
63
|
+
export declare const CHECK_USER_GATE_UNRESOLVED = "user_gate_unresolved";
|
|
64
|
+
export type VerificationDomain =
|
|
79
65
|
/** The declaration is self-consistent (and consistent with committed facts). */
|
|
80
66
|
"evaluation_consistency"
|
|
81
67
|
/** Machine evidence and the agent's claims about it. */
|
|
82
68
|
| "evidence_integrity"
|
|
83
|
-
/** Plan conformance:
|
|
84
|
-
*
|
|
85
|
-
* checks
|
|
69
|
+
/** Plan conformance: the Round Contract declaration/execution/closure
|
|
70
|
+
* checks, scope containment, and cited-gate authorization. (The
|
|
71
|
+
* intent/sub-goal "plan drift" checks this once named were deleted in
|
|
72
|
+
* v3.8 — drift is not a machine fact.) */
|
|
86
73
|
| "plan_contract"
|
|
87
74
|
/** Workspace restore after backtrack. Machine-side progress enforcement
|
|
88
75
|
* (the stall evaluator) lives in the enforcement gate, not here. */
|
|
@@ -106,7 +93,7 @@ export interface EvidenceStatus {
|
|
|
106
93
|
gitObserved: boolean;
|
|
107
94
|
/** A passed after-phase command snapshot exists. */
|
|
108
95
|
commandVerified: boolean;
|
|
109
|
-
/** Agent-reported
|
|
96
|
+
/** Agent-reported tests_reported agree with a passed command's parsed stdout. */
|
|
110
97
|
testsMachineBacked: boolean;
|
|
111
98
|
/** Agent-reported files_changed equals the git diff set exactly. */
|
|
112
99
|
reportedFilesMatch: boolean;
|
|
@@ -115,7 +102,7 @@ export interface EvidenceStatus {
|
|
|
115
102
|
* capability is modeled explicitly (verified / unavailable / absent) instead
|
|
116
103
|
* of letting evidence-dependent checks silently disappear when snapshots are
|
|
117
104
|
* missing — the fix for the "weakest when it matters most" gap. */
|
|
118
|
-
export declare function deriveEvidenceStatus(selfEval: SelfEvaluation, evidenceSnapshots:
|
|
105
|
+
export declare function deriveEvidenceStatus(selfEval: SelfEvaluation, evidenceSnapshots: MachineObservation[]): EvidenceStatus;
|
|
119
106
|
/** Per-round machine progress over decoded committed history. */
|
|
120
107
|
export declare function machineProgressSeries(vaultEntries: VaultEntry[], currentRound: number, lookback: number): boolean[] | null;
|
|
121
108
|
interface ParsedTestCounts {
|
|
@@ -134,26 +121,20 @@ interface ParsedTestCounts {
|
|
|
134
121
|
* Recognized formats: Jest verbose/compact, Mocha, pytest/unittest, Go test,
|
|
135
122
|
* and PHPUnit OK summaries. */
|
|
136
123
|
export declare function parseTestOutput(stdout: string): ParsedTestCounts | null;
|
|
137
|
-
|
|
138
|
-
*
|
|
139
|
-
* @param selfEval The agent's self-evaluation for the current round.
|
|
140
|
-
* @param currentRound The current round number (1-based).
|
|
141
|
-
* @param vaultEntries Vault entries for this loop (committed lineage
|
|
142
|
-
* entries AND :feedback entries — the feedback
|
|
143
|
-
* entries feed the ACTIVE-contract derivation).
|
|
144
|
-
* @param prevSelfEval The agent's self-evaluation from the previous round
|
|
145
|
-
* (null for round 1).
|
|
146
|
-
* @param evidenceSnapshots v1.18: Evidence snapshots from configured providers.
|
|
147
|
-
* Used by checkEvidenceIntegrity for multi-provider
|
|
148
|
-
* cross-validation. Defaults to empty array. */
|
|
149
|
-
export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRound: number, vaultEntries: VaultEntry[], prevSelfEval?: SelfEvaluation | null, evidenceSnapshots?: ProviderSnapshot[],
|
|
124
|
+
export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRound: number, vaultEntries: VaultEntry[], prevSelfEval?: SelfEvaluation | null, evidenceSnapshots?: MachineObservation[],
|
|
150
125
|
/** v2.13: Files from skipped backtrack rounds. If the agent's
|
|
151
126
|
* files_changed overlaps significantly with these, the workspace
|
|
152
127
|
* was not properly restored before working. */
|
|
153
|
-
backtrackSkippedFiles?: string[],
|
|
128
|
+
backtrackSkippedFiles?: string[],
|
|
129
|
+
/** M3 (v3.7.x): skipped-file git fingerprints at their failed rounds —
|
|
130
|
+
* machine proof of "untouched since the rollback" for the restore check. */
|
|
131
|
+
backtrackSkippedFingerprints?: Record<string, string>,
|
|
154
132
|
/** v2.12: Git HEAD commit of the backtrack restore point. When set, the
|
|
155
133
|
* current git snapshot must sit at this commit — otherwise the workspace
|
|
156
134
|
* was not restored and the round cannot be accepted. */
|
|
157
|
-
backtrackTargetGitHead?: string
|
|
135
|
+
backtrackTargetGitHead?: string,
|
|
136
|
+
/** v3.7.1: gate records (task_type gate_opened / gate_decision) live
|
|
137
|
+
* outside the round prefix — the caller passes them in explicitly. */
|
|
138
|
+
gateEntries?: VaultEntry[]): VerificationResult;
|
|
158
139
|
export {};
|
|
159
140
|
//# sourceMappingURL=verification-gate.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGxD,OAAO,KAAK,EAEV,cAAc,EAEd,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAkCvB,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAI3F,eAAO,MAAM,mCAAmC,kCAAkC,CAAC;AACnF,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,iCAAiC,gCAAgC,CAAC;AAC/E,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,8BAA8B,6BAA6B,CAAC;AACzE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;;;gDAIgD;AAChD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF;mDACmD;AACnD,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAiB7E;;0DAE0D;AAC1D,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;+DAE+D;AAC/D,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;;2CAG2C;AAC3C,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;oEAEoE;AACpE,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AAQjE,MAAM,MAAM,kBAAkB;AAC5B,gFAAgF;AAC9E,wBAAwB;AAC1B,wDAAwD;GACtD,oBAAoB;AACtB;;;2CAG2C;GACzC,eAAe;AACjB;qEACqE;GACnE,mBAAmB,CAAC;AAExB,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA0BrE,CAAC;AAQF;;yDAEyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED;;;qCAGqC;AACrC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAUpE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjF;AAQD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,cAAc,EAAE,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;IACtD,8DAA8D;IAC9D,WAAW,EAAE,OAAO,CAAC;IACrB,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,iFAAiF;IACjF,kBAAkB,EAAE,OAAO,CAAC;IAC5B,oEAAoE;IACpE,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AA8BD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,iBAAiB,EAAE,kBAAkB,EAAE,GACtC,cAAc,CA+ChB;AAED,iEAAiE;AACjE,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAMlB;AA4ZD,UAAU,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;gCAQgC;AAChC,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CA4DvE;AAqWD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,iBAAiB,GAAE,kBAAkB,EAAO;AAC5C;;gDAEgD;AAChD,qBAAqB,GAAE,MAAM,EAAO;AACpC;6EAC6E;AAC7E,4BAA4B,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM;AACzD;;yDAEyD;AACzD,sBAAsB,CAAC,EAAE,MAAM;AAC/B;uEACuE;AACvE,WAAW,GAAE,UAAU,EAAO,GAC7B,kBAAkB,CA8GpB"}
|