@tangle-network/agent-knowledge 7.2.7 → 8.0.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/CHANGELOG.md +30 -0
- package/dist/index.d.ts +17 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +41 -15
- package/dist/index.js.map +1 -1
- package/package.json +5 -5
package/CHANGELOG.md
CHANGED
|
@@ -2,6 +2,36 @@
|
|
|
2
2
|
|
|
3
3
|
## Unreleased
|
|
4
4
|
|
|
5
|
+
## 8.0.1 — 2026-08-15
|
|
6
|
+
|
|
7
|
+
### Changed
|
|
8
|
+
|
|
9
|
+
- Require Eval `0.145.14` and Interface `0.53.0` as one compatible contract cohort.
|
|
10
|
+
|
|
11
|
+
## 8.0.0 — 2026-08-15
|
|
12
|
+
|
|
13
|
+
### Breaking Changes
|
|
14
|
+
|
|
15
|
+
- **`assertGradeableEvidence` now throws for the two shapes `verdictFor` refuses.** At rung 4 and
|
|
16
|
+
above it used to require only that some check exists. It now also throws `UncheckableClaimError`
|
|
17
|
+
for a check recorded without an `expect` value, and for a constant-emitter check. Recording is
|
|
18
|
+
the boundary where these shapes are still cheap to fix; by grading, the ungradeable claim has
|
|
19
|
+
already circulated as verified. This change needs a major release.
|
|
20
|
+
- Both boundaries use one detector and one set of messages, so record time refuses exactly what
|
|
21
|
+
grade time grades `uncheckable`, in the same order and in the same words. A constant emitter
|
|
22
|
+
keeps its narrow definition: the whole command is `true` or `:`, or the whole command is one
|
|
23
|
+
`echo` or `printf` whose arguments hold no command substitution, no pipe, no command separator,
|
|
24
|
+
no redirection from a file, and no variable reference.
|
|
25
|
+
- `UncheckableClaimError` takes a second `note` argument and carries `rung` and `note` as readable
|
|
26
|
+
fields. The note names the refused shape and the value the check must print, so an author reads
|
|
27
|
+
one message wherever the claim is stopped.
|
|
28
|
+
- Behaviour below rung 4 does not change. A check that reads a value, such as
|
|
29
|
+
`echo "n=$(grep -c x out.txt)"`, is still recordable at every rung.
|
|
30
|
+
|
|
31
|
+
**What to do:** a rung 4 or 5 claim must record a command that reads the artifact the claim is
|
|
32
|
+
about, plus the `expect` value that command prints. A claim that cannot carry one is a rung 3
|
|
33
|
+
claim, and recording it at rung 3 is accepted unchanged.
|
|
34
|
+
|
|
5
35
|
## 7.2.7 — 2026-08-15
|
|
6
36
|
|
|
7
37
|
### Changed
|
package/dist/index.d.ts
CHANGED
|
@@ -1561,17 +1561,33 @@ interface ClaimEvidence {
|
|
|
1561
1561
|
/**
|
|
1562
1562
|
* A substring the check's stdout must contain — the decisive value, printed. A check that
|
|
1563
1563
|
* exits zero but prints nothing cannot confirm a value; authors should print the number.
|
|
1564
|
+
* Required at rung 4 and above, where an exit code alone reproduces no value.
|
|
1564
1565
|
*/
|
|
1565
1566
|
expect?: string;
|
|
1566
1567
|
/** Where the artifact backing the claim lives, for humans following the trail. */
|
|
1567
1568
|
evidencePath?: string;
|
|
1568
1569
|
}
|
|
1570
|
+
/**
|
|
1571
|
+
* The evidence recorded for a claim cannot be graded at the rung it was recorded at.
|
|
1572
|
+
*
|
|
1573
|
+
* One error type for the three refused shapes, because the grader reaches one verdict for all
|
|
1574
|
+
* three: `uncheckable`. `note` names which shape was refused and what to record instead, in the
|
|
1575
|
+
* same words the grader reports, so an author reads one message wherever the claim is stopped.
|
|
1576
|
+
*/
|
|
1569
1577
|
declare class UncheckableClaimError extends Error {
|
|
1570
|
-
|
|
1578
|
+
/** The rung whose evidence rule the recorded claim failed. */
|
|
1579
|
+
readonly rung: EvidenceRung;
|
|
1580
|
+
/** The refused shape and the fix for it, in the grader's vocabulary. */
|
|
1581
|
+
readonly note: string;
|
|
1582
|
+
constructor(rung: EvidenceRung, note: string);
|
|
1571
1583
|
}
|
|
1572
1584
|
/**
|
|
1573
1585
|
* Refuse the evidence shapes that made self-grading possible. Call at record time, not grade
|
|
1574
1586
|
* time: by grading it is too late — the ungradeable claim has already circulated as verified.
|
|
1587
|
+
*
|
|
1588
|
+
* At and above `CHECKABLE_RUNG_THRESHOLD` this refuses exactly what `gradeFor` grades
|
|
1589
|
+
* `uncheckable`, in the same order and by the same tests: no check, a check that cannot fail, and
|
|
1590
|
+
* a check with no expected value to print. Below the threshold nothing is refused.
|
|
1575
1591
|
*/
|
|
1576
1592
|
declare function assertGradeableEvidence(evidence: ClaimEvidence): ClaimEvidence;
|
|
1577
1593
|
/**
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","names":[],"sources":["../src/adapters.ts","../src/eval-readiness.ts","../src/sources.ts","../src/verified-research-loop.ts","../src/web-research-worker.ts","../src/adaptive-driver.ts","../src/rag-optimization.ts","../src/proposals.ts","../src/validate.ts","../src/research-loop.ts","../src/retrieval-optimization.ts","../src/rag-improvement-loop.ts","../src/rag-eval/contracts.ts","../src/rag-eval/calibration.ts","../src/rag-eval/knowledge-base.ts","../src/rag-eval/providers.ts","../src/rag-eval/scoring.ts","../src/kb-improvement/contracts.ts","../src/kb-improvement/activation.ts","../src/kb-improvement/optimization.ts","../src/kb-improvement/run.ts","../src/kb-improvement/state.ts","../src/kb-improvement/transition.ts","../src/kb-improvement/workspace.ts","../src/agent-candidate.ts","../src/changes.ts","../src/chunking.ts","../src/claim-evidence.ts","../src/claim-grounding.ts","../src/claim-ledger.ts","../src/collection-research-driver.ts","../src/discovery.ts","../src/durable-fs.ts","../src/events.ts","../src/filesystem-search-provider.ts","../src/freshness.ts","../src/frontmatter.ts","../src/graph.ts","../src/ids.ts","../src/indexer.ts","../src/inspect.ts","../src/investment-thesis-set.ts","../src/investment-thesis-task.ts","../src/kb-store.ts","../src/lint.ts","../src/material-facts-metric.ts","../src/mutation-lock.ts","../src/propose-from-finding.ts","../src/readiness-check.ts","../src/release.ts","../src/research-driving-driver.ts","../src/store.ts","../src/run-scoped.ts","../src/schemas.ts","../src/search.ts","../src/wikilinks.ts","../src/write-protocol.ts"],"mappings":";;;;;;;;;;UAEiB;EACf;EACA,QAAQ;EACR;EACA,WAAW;;UAGI;EACf;EACA;EACA;EACA,UAAU;EACV,WAAW;;UAGI;EACf;EACA,QAAQ,OAAO;EACf,KAAK,OAAO,qBAAqB,QAAQ,uBAAuB;;cAGrD,mBAAmB;iBAYhB,aAAa;;;UChBZ;EACf;EACA;EACA;EACA;EACA,UAAU;EACV,iBAAiB;EACjB,YAAY;EACZ,WAAW;EACX,aAAa;EACb;EACA,iBAAiB;EACjB;EACA;EACA,WAAW;;;;;;;;;;cAWA;WACD;WACO;WACL;WACD;WACE;WACK;WACN;WACH;;;;;;;KAkBC,2BAA2B,KACrC,0EAGA,QAAQ,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAgCC,oBAAoB,OAAO,2BAA2B;UAOrD;EACf;EACA,OAAO;EACP,OAAO;EACP,cAAc;EACd;EACA,WAAW;EACX,MAAM;;UAGS;EACf,QAAQ;EACR,QAAQ;EACR,cAAc;EACd,4BAA4B,eAAe;EAC3C,WAAW;EACX,kBAAkB;;iBAGJ,yBACd,SAAS,kCACR;;;UCnHc;EACf;EACA,WAAW;EACX,YAAY;;UAGG;EACf;EACA;EACA;EACA;EACA;EACA;EACA,WAAW;;;iBAIG,wBAAwB,OAAO,qBAAqB;iBAI9C,mBAAmB,eAAe,QAAQ;iBAgB1C,oBAAoB,cAAc,UAAU,iBAAiB;iBAU7D,cACpB,cACA,oBACA,UAAS,mBACR,QAAQ;iBAwDW,cACpB,cACA,OAAO,oBACP,UAAS,KAAK,wCACb,QAAQ;iBAgGK,mBAAmB;;;;;;;;UCvMlB;;EAEf;;EAEA;;EAEA;;EAEA;;;KAIU,yBAAyB;;;;;;;;;;UAWpB;;EAEf,UAAU;;EAEV;;;;;;;;;EASA,cAAc,iBAAiB;;EAE/B;EACA,WAAW;;;UAII;EACf;EACA;EACA;EACA,OAAO;;EAEP,MAAM;;EAEN;EACA,WAAW;EACX,SAAS;;;UAIM;EACf;EACA;EACA;EACA,OAAO;EACP,MAAM;;EAEN,mBAAmB;EACnB,SAAS;;;UAIM;EACf,QAAQ;EACR;;;UAIe;EACf;EACA;EACA;EACA,OAAO;;EAEP,eAAe;EACf,WAAW;EACX,SAAS;;;;;;;;;;;;;;;;;;;;;;UAuBM;EACf,aACE,QAAQ,wBACR,KAAK,4BACJ,QAAQ,iBAAiB;EAC5B,UAAU,KAAK,wBAAwB,QAAQ,wBAAwB;EACvE,UAAU,MAAM;EAChB,gBAAgB;EAChB,eAAe,kBAAkB,iBAAiB;EAClD,eAAe;;KAGL;EAAkB;;EAAmB;EAAe;;;KAGpD,kBACV,KAAK,0BACF,QAAQ,wBAAwB;UAEpB;EACf;EACA;EACA,QAAQ;EACR,QAAQ;;;;;;;EAOR;EACA;EACA;;EAEA,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,gBAAgB,KAAK;EACrB,SAAS;EACT,WAAW,OAAO,0BAA0B;;UAG7B;EACf;;EAEA,MAAM;;EAEN,uBAAuB;;EAEvB,uBAAuB;;EAEvB,eAAe;;EAEf;EACA,YAAY;;EAEZ;EACA,OAAO;EACP;IAAS;IAAiB;;;UAGX;EACf;EACA;EACA;EACA;EACA,OAAO;EACP,YAAY;EACZ,OAAO;;;;;;;;;;;;;;;;;;;;;;;;iBAyBa,wBACpB,SAAS,8BACR,QAAQ;;;;;;iBAmRK,kBACd,QAAQ,wBACR,OAAO,gBACP,MAAM,iBACL;;;;UCncc;EACf;EACA;EACA;;;;;;UAOe;;EAEf,OAAO,eAAe;IAAS;MAAwB,QAAQ;;EAE/D,KACE;IAAY;IAAyB;OACrC,qBACC;;EAEH,SAAS;;;;;;;;;UAUM;EACf;EACA;EACA;EACA;EACA;EACA;;UAGe;;EAEf;;EAEA;;EAEA;;EAEA;;;;;;;;EAQA;;EAEA;EACA,SAAS;;;cAqCE,oBAAoB;WAEb;EADlB,YACkB,gBAChB;;;;;;;iBAYY,yBAAyB,UAAS,sBAA2B;UAyF5D;;EAEf,SAAS;EACT,iBAAiB;;EAEjB;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;;;;;;iBAgBc,wBAAwB,UAAS,2BAAgC;UAgNhE;EACf,SAAS;EACT,iBAAiB;;;;;;EAMjB;;;;;;;;;;;;iBAac,8BACd,UAAS,yBACR;;;;;;;;;;;iBC1ca,gBAAgB;;;;;;;iBA2ChB,WAAW;;KAUf;;KAGA;;UAGK;EACf;;EAEA;EACA;;EAEA,SAAS;EACT;;;UAIe;EACf;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;EACA,WAAW;;UAGI;;EAEf,SAAS;EACT,iBAAiB;;EAEjB,YAAY,KAAK;;;;;;;EAOjB;;;;;EAKA,eAAe;;;;;EAKf;;;;;EAKA;;EAEA,cAAc,UAAU;;;;;;;;iBA6CV,aACd,QAAQ,wBACR;EACE;EACA,cAAc;EACd;EACA;;EAEC,QAAQ;EAAa;;UA6CT;EACf,aACE,QAAQ,wBACR,KAAK,4BACJ,QAAQ;;EAEX,SAAS;;;;;;;;;;;;iBAaK,6BACd,UAAS,wBACR;;;KCnRS,wBAAwB,eAAe;KAE9C,6BAA6B,KAChC,0CACE,uBACA,uBACA;UAaa,kCAAkC;EACjD,UAAU;EACV,QAAQ,mBAAmB,uBAAuB;EAClD,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;EACzB,IAAI;IACF,QAAQ;IACR;IACA;IACA,UAAU;IACV,SAAS;MACP,QAAQ;EACZ,kBAAkB,YAAY,uBAAuB;;UAGtC,iCACP,yCAAyC;EACjD,gBAAgB;EAChB,cAAc;EACd,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;;;iBAIL,mBACpB,SAAS,4BACR,QAAQ;;;UCzDM;EACf;EACA;;iBAGoB,0BACpB,cACA,uBACC,QAAQ;iBAwBW,8BACpB,cACA,uBACC,QAAQ;;;UCpCM;EACf;;UAGe;EACf;EACA,UAAU;;iBAGI,uBACd,OAAO,gBACP,UAAS,2BACR;;;UCac;EACf;EACA;EACA;EACA,OAAO;EACP,cAAc;EACd,YAAY;EACZ,YAAY;EACZ,eAAe;EACf,SAAS;;UAGM;;;;;EAKf;;;;EAIA;;;;;EAKA,cAAc;;;;;EAKd;;;;;EAKA;EACA,WAAW;;UAGI;EACf;EACA;EACA,cAAc;EACd,UAAU;EACV,cAAc;EACd,YAAY;EACZ,YAAY;EACZ,OAAO;EACP;EACA,WAAW;;UAGI;EACf;EACA;EACA;EACA;EACA,SAAS;EACT,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,gBAAgB,KAAK;EACrB,SAAS;EACT,KACE,SAAS,+BACR,QAAQ,iCAAiC;EAC5C,UAAU,MAAM,8BAA8B;;UAG/B;EACf;EACA;EACA;EACA;EACA,OAAO;EACP,cAAc;EACd,YAAY;EACZ,YAAY;EACZ,OAAO;;KAGG,4BAA4B;KAC5B,6BAA6B;KAC7B,mCAAmC;UAE9B;EACf;EACA;EACA;EACA,SAAS;EACT,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,gBAAgB,KAAK;;KAGX,8BAA8B,KACxC,qBACE,2BACA,4BACA,kCACA;;;;;;iBAUY,kCACd,SAAS,qCACR;iBAmEmB,yBACpB,SAAS,kCACR,QAAQ;;;KC7LN,mCAAmC,KACtC,0CACE,iBACA,uBACA;UAaa,2CAA2C;EAC1D,UAAU;EACV,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;EACzB,QAAQ,mBAAmB,uBAAuB;EAClD,QAAQ;EACR;EACA,WAAW;EACX,kBAAkB,YAAY,uBAAuB;EACrD,gBAAgB;;UAGD,0CACP,yCAAyC;EACjD,gBAAgB;EAChB,cAAc;EACd,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;;iBAGL,4BACpB,SAAS,qCACR,QAAQ;;;KC7CC;KASA;KAEA;KAYA;UAEK;EACf;EACA,MAAM;EACN,UAAU;EACV;EACA;EACA,WAAW,eAAe;;UAGX;EACf,OAAO;EACP,QAAQ;EACR;EACA;EACA;EACA,WAAW,eAAe;;KAGhB,2BAA2B,KACrC;KAIU,iCAAiC,KAC3C;UAIe;EACf;EACA,iBAAiB;;EAEjB,eAAe;EACf,SAAS;;UAGM,0BAA0B;EACzC,YAAY;;UAGG,qCAAqC;EACpD,YAAY;EACZ,mBAAmB;;UAGJ,gCAAgC;EAC/C,YAAY;EACZ,mBAAmB;EACnB,cAAc;;UAGC;EACf;EACA;EACA,WAAW;EACX,WAAW,eAAe;;UAGX,8BAA8B;EAC7C,YAAY;EACZ,mBAAmB;EACnB,cAAc;EACd,kBAAkB;;UAGH;EACf;EACA,SAAS;EACT;EACA;EACA;EACA,MAAM;EACN,oBAAoB;EACpB,WAAW,eAAe;;UAGX,0BAA0B;EACzC,YAAY;;EAEZ,yBAAyB;;EAEzB,sBAAsB;EACtB,mBAAmB;EACnB,cAAc;EACd,kBAAkB;EAClB,gBAAgB;;UAGD;EACf;EACA;EACA,WAAW,eAAe;;UAGX,oCACP,KAAK;EACb;EACA,OAAO;;UAGQ;EACf;EACA,eAAe;EACf,YAAY;EACZ,YAAY,OAAO,sBAAsB,wBAAsB;EAC/D,oBACE,OAAO,iCACJ,eAAa;EAClB,oBAAoB;EACpB,mBAAmB,OAAO,4BAA4B,eAAa;EACnE,mBAAmB,OAAO,0BAA0B,eAAa;;EAEjE;;;;;EAKA,mBAAmB,OAAO,sBAAsB,eAAa;EAC7D,yBAAyB;EACzB,0BAA0B;EAC1B,SAAS;EACT,YAAY;;UAGG;EACf;EACA,iBAAiB;EACjB,eAAe;EACf,YAAY;EACZ,mBAAmB;EACnB,cAAc;EACd,kBAAkB;EAClB,gBAAgB;EAChB,YAAY;;KAGT,eAAa,KAAK,IAAI,QAAQ;iBAEb,+BACpB,SAAS,wCACR,QAAQ;;;KCrLC;KAQA;KAaA;UAUK;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA,WAAW,eAAe;;UAGX;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA,WAAW,eAAe;;UAGX;EACf;EACA;EACA;EACA,WAAW,eAAe;;UAGX;EACf;EACA;EACA;EACA;EACA;;UAGe,8BAA8B;EAC7C;EACA;EACA;EACA;EACA;EACA,2BAA2B;EAC3B;EACA;EACA,kBAAkB;EAClB,aAAa,QAAQ,OAAO;;UAGb;EACf,UAAU;EACV,QAAQ;EACR,UAAU;EACV,WAAW,eAAe;;UAGX;EACf;EACA;EACA,mBAAmB;EACnB,kBAAkB;EAClB,qBAAqB;EACrB;EACA;EACA;EACA,0BAA0B;EAC1B,WAAW,eAAe;;UAGX;EACf,SAAS,OAAO;EAChB;EACA;EACA,mBAAmB;EACnB;EACA;EACA;EACA;EACA;EACA;EACA,gBAAgB,eAAe,OAAO;;UAGvB;EACf;EACA,aAAa,QAAQ,OAAO;EAC5B,UAAU,QAAQ,OAAO;EACzB;EACA;;UAGe;EACf,UAAU;EACV,UAAU;;UAGK;EACf,oBAAoB;;EAEpB;;EAEA,MAAM,wBAAwB,aAAa;EAC3C,MAAM,UAAU,0BAA0B,aAAa;EACvD,qBACE,MAAM,sBACH,aAAa,gCAAgC;EAClD,aAAa,QAAQ,OAAO;EAC5B,UAAU,QAAQ,OAAO;;UAGV;EACf,UAAU;EACV,QAAQ;EACR,MAAM;EACN,QAAQ,YAAY,uBAAuB;EAC3C;EACA;EACA,SAAS;;UAGM;EACf;EACA;EACA;EACA;;UAGe;EACf,MAAM;EACN;EACA;EACA;;UAGe;EACf;EACA;IACE;IACA;IACA;IACA;IACA;IACA;IACA;IACA;;EAEF,mBAAmB;;KAGhB,aAAa,KAAK,IAAI,QAAQ;;;iBC9KnB,2BACd,SAAS,oCACF,QAAQ;iBAiDK,wBACpB,SAAS,wBACR,QAAQ;;;iBC1DK,wBACd,OAAO,gBACP,UAAS,8BACR;;;iBCgBa,2BACd,iBAAiB,yBAChB,eAAe,OAAO;iBAeT,sBAAsB,gBAAgB;;;;;;;iBAUtC,oBAAoB,gBAAgB;;;;;;;iBAUpC,iBAAiB,gBAAgB;;;;;iBAQjC,oBAAoB,gBAAgB;;;;;;;;;;;;;iBCvBpC,sBACd,UAAS,+BACR,YAAY,uBAAuB;iBA0BtB,uBACd,UAAU,uBACV,UAAU,uBACV,UAAS,+BACR;iBA2Ea,yBACd,SAAS,OAAO,2BAChB,UAAU,uBACV,aAAY,QAAQ,OAAO,6BAC1B;;;KC/HS;UAOF;EACR;EACA;;KAGU,wCACP;EACC;MAED;EACC;EACA;EACA,YAAY;MAEb;EACC;EACA;EACA;EACA,YAAY;;UAGD;EACf;EACA;EACA,aAAa;EACb;EACA,YAAY;;UAGG;EACf;EACA;EACA;EACA;EACA;EACA,eAAe;EACf,gBAAgB;EAChB;EACA;EACA,YAAY;EACZ,YAAY;EACZ,WAAW;EACX,YAAY;EACZ,SAAS;;KAGC,iCACV,OAAO,wCACJ,QAAQ,8BAA8B;UAE1B;EACf;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA,QAAQ;EACR;EACA;;UAGe;EACf;EACA;EACA;EACA;EACA,QAAQ;EACR;EACA;EACA;EACA;EACA,YAAY;EACZ;EACA;;UAGe;EACf;EACA,OAAO;EACP,YAAY;EACZ,aAAa;EACb,YAAY;EACZ;EACA;;KAGU;UAEK;EACf,QAAQ;EACR;EACA;EACA;EACA;EACA;;UAGe,2CAA2C;EAC1D,WAAW;EACX,UAAU;EACV,mBAAmB;;UAGJ;EACf,YAAY;EACZ;EACA;;EAEA,aACE,UAAU,sCACT,QAAQ,oCAAoC;;cA4HpC,oCAAkC,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0G3C,EAAA,KAAA;cAES,oCAAkC,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiBpC,EAAA,KAAA;KAEC,+BAA+B,EAAE,aAAa;;cAG7C,wCAAsC,EAAA;;;;;;;;;GAWxC,EAAA,KAAA;KAEC,mCAAmC,EAAE,aACxC;UAGQ;EACf;EACA,WAAW;EACX,aAAa;EACb;EACA;EACA,YAAY;EACZ,WAAW,OAAO,iCAAiC;;KAGzC,2CAA2C;UAEtC;EACf;EACA,WAAW;EACX,YAAY;EACZ;;UAGe;EACf;EACA,WAAW;;UAGI;EACf;EACA;;UAGe;EACf,WAAW;EACX,YAAY;EACZ,UAAU;EACV,WAAW;;UAGI;EACf;EACA,WAAW;EACX,YAAY;;UAGG,6CACP,KAAK;EACb,SAAS;;KAGC,8CAA8C,WACxD;EAEA;EACA;EACA;EACA;EACA;EACA;EACA,gBAAgB;EAChB;;UAGe,mDACP,KAAK;EACb,SAAS;EACT,IAAI,OAAO,8CAA8C,QAAQ;;UAGlD,wCAAwC;EACvD;EACA;EACA;EACA;EACA;EACA;EACA;;KAGU,8BACV,OAAO,oCACJ,QAAQ,4BAA4B;UAExB;EACf;EACA;;;;;EAKA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,SAAS;EACT,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,YAAY;EACZ,OAAO;EACP,oBAAoB,KAAK;EACzB,kBAAkB;EAClB,YAAY;EACZ,WAAW,YAAY;EACvB,mBAAmB,YAAY;EAC/B,kBAAkB;EAClB,kBAAkB,YAAY;EAC9B,2BAA2B;EAC3B,kBAAkB,YAAY;EAC9B,yBAAyB;EACzB,0BAA0B;;EAE1B,sBAAsB;;EAEtB,WAAW;EACX,SAAS;EACT,YAAY;EACZ,WAAW,OAAO,iCAAiC;;;;;iBC7f/B,yCACpB,SAAS,kDACR,QAAQ;;;KCXN,yBAAyB,KAC5B;KAWG,8BACH,gBAAgB,yBAChB,kBAAkB,UAClB,aACE,KACF,0CAA0C,SAAS,WAAW;UAS/C,mCACf,gBAAgB,yBAChB,kBAAkB,UAClB,mBACQ,8BAA8B,SAAS,WAAW;EAC1D;EACA;EACA,gBAAgB;EAChB,QAAQ,mBAAmB,WAAW;EACtC,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;;EAEzB;;EAEA;EACA,YAAY;EACZ,YACE,OAAO;IACL,QAAQ;IACR;IACA;IACA;MAED;IACD;IACA;IACA,WAAW,eAAe;;;UAIb,kCAAkC,gBAAgB;EACjE,cAAc,yCAAyC;EACvD,aAAa;;;;;;iBAOO,4BACpB,gBAAgB,yBAChB,kBAAkB,UAClB,WAEA,SAAS,mCAAmC,SAAS,WAAW,aAC/D,QAAQ,kCAAkC;KAuFjC,wBACV,gBAAgB,yBAChB,kBAAkB,UAClB,cACG;EACH,WAAW;EACX;EACA;EACA,UAAU;EACV,SAAS;MACL,QAAQ;;;iBC9JQ,qBACpB,SAAS,8BACR,QAAQ;;;iBCbK,0BAA0B,cAAc;iBAIxC,2BAA2B,cAAc;iBAsCnC,8BACpB,cACA,gBACC,QAAQ;UA4DM,kCAAkC;EACjD;EACA;;iBAGoB,+BACpB,cACA,gBACC,QAAQ;;;;iBC5EW,0BACpB,SAAS,mCACR,QAAQ;;iBAKW,kCACpB,SAAS,2CACR,QAAQ;;;;iBC1BK,iCACd,QAAQ,KAAK,+DACZ;;iBAMmB,mCAAmC,GACvD,SAAS,yCACT,MAAM,YAAY,2CAA2C,QAAQ,KAAK,IACzE,QAAQ;;iBA6BW,kCAAkC,GACtD,SAAS,yCACT,MAAM,WAAW,0CAA0C,QAAQ,KAAK,IACvE,QAAQ;iBA6VW,kBAAkB,eAAe;;;;iBCtavC,6BACd,WAAW,mCACV;;iBAaa,+BACd,WAAW,6BACV;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KCES;UAEK;;EAEf;EACA,MAAM;;;;;;EAMN;IAAS;IAAiB;;;;;;EAK1B;;EAEA;;;;;;;EAOA;;UAGe;EACf,SAAS;;EAET;IAAW;IAAe;IAAiB;;;EAE3C;;UAGe;;;;;;;EAOf;;;;;;EAMA;;iBAGc,cACd,MAAM,qBACN,MAAM,qBACN,UAAS,uBACR;;;UCtFc;EACf;EACA;EACA;EACA;;UAGe;EACf;EACA;EACA;EACA;EACA;EACA;;iBAUc,cACd,iBACA,UAAU,QAAQ,mBACjB;iBAuBa,iBAAiB;EAAoB;EAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KCvBvD;;cAGC;UAEI;EACf,MAAM;;;;;EAKN;;;;;EAKA;;EAEA;;cAGW,8BAA8B;EACzC,YAAY,MAAM;;;;;;iBAaJ,wBAAwB,UAAU,gBAAgB;;;;;;;;;;;;;;KAoBtD;UAWK;EACf;EACA;EACA;;;UAyCe;EACf,SAAS;;EAET;;;;;;;;;;;;iBAuBc,SACd,UAAU,KAAK,6CACf,WAAW,wBACV;;iBAqBa,WACd,UAAU,KAAK,6CACf,WAAW,wBACV;;;;;;;;cCzIU;;iBAGG,aAAa,QAAQ;;iBAMrB,eACd,QAAQ,wBACR,gBACC;UAIc;;EAEf;;EAEA;;;;;EAKA;;EAEA;;UAGe;;;;;;;EAOf;;;;;EAKA;;;;;;;;;;;;;;;;;iBA4Fc,kBACd,eACA,kBACA,UAAS,qBACR;UAmCc,oCAAoC;;;;;;;;EAQnD,qBACE,QAAQ,wBACR,KAAK,8BACF,QAAQ,iBAAiB;;;;;;;EAO9B;;;;;;;;;;;iBAYc,6BAA6B,UAAS,+BAAgC,QAG1E,wBAAsB,KACzB,8BACJ,QAAQ;UAiCI;EACf,SAAS;EACT,iBAAiB;;EAEjB;;;;;;;;;;;;;;;iBAgBc,qBAAqB,UAAS,gCAAiC,QAGnE,wBAAsB,iBAE7B,QAAQ;;;;;;;;;iBC3RG,QAAQ;;iBAKR,gBACd,OAAO,KACL;;iBAgBY,yBACd,QAAQ,KAAK;;iBAMC,mBAAmB;;;;;;;;;iBAgCnB,gBAAgB;;iBAWhB,eAAe,MAAM,sBAAsB;;;;;;;;;iBAY3C,4BAA4B,OAAO;;iBAiCnC,4BAA4B,UAAU;;iBAWtC,qCAAqC,UAAU;;iBA2B/C,mCAAmC,QAAQ;;iBAiI3C,iBAAiB,YAAY,gBAAgB;;;;;;;;iBAqB7C,mCACd,QAAQ,sBACP;;;;;;;cAwDU,qCAAqC;WAErC;WACA;WACA;EAHX,YACW,kBACA,sBACA;;;;;;;;;;;iBAmBG,mBACd,MAAM,qBACN,UAAU,sBACT;;;;;;;;;;iBAqCa,kBACd,MAAM,qBACN,UAAU,sBACT;;;;;;;;;;;;;;;;;iBAsIa,wBAAwB,QAAQ,sBAAsB;;;;;;;;iBChjBtD,kCAAkC;;;UCrCjC;EACf;EACA;EACA;EACA;EACA,WAAW;;UAGI;EACf;EACA;EACA;EACA,SAAS;IAAQ;IAAc;IAAoB;;EACnD,gBAAgB;EAChB,WAAW;;UAGI;EACf,IAAI,MAAM,eAAe,SAAS,cAAc,QAAQ,mBAAmB;;UAG5D;EACf,SACE,OAAO,iBACP;IACE;IACA,SAAS;MAEV,QAAQ;;KAGD;UAEK;EACf;EACA,OAAO;EACP,SAAS;EACT,iBAAiB;;UAGF;EACf,YAAY;EACZ;EACA,SAAS;EACT,QAAQ;;EAER,cAAc;;EAEd;;UAGe;EACf,YAAY;EACZ,uBAAuB;;EAEvB;;EAEA;;EAEA;EACA,SAAS;EACT,WAAW,OAAO,uBAAuB;;;;;;;;iBASrB,iBACpB,SAAS,0BACR,QAAQ;iBA2EK,+BACd,QAAQ,2BACP;;;UCpIc;EACf,OAAO;EACP;;iBAGoB,iBACpB,cACA,eAAe,QACf;EAAW,WAAW;EAAgB;IACrC;iBA4BmB,iBAAiB,cAAc,iBAAiB;iBAIhD,2BACpB,cACA,sBACA,eAAe,QACf;EAAW,WAAW;EAAgB;IACrC;iBAImB,2BACpB,cACA,sBACA,iBACC;iBAMmB,cAAc,gBAAgB,iBAAiB;iBAe/C,cAAc,eAAe;iBAO7B,cAAc,eAAe;;;;;;iBAS7B,mBAAmB,GACvC,cACA,sBACA,MAAM,iBAAiB,QAAQ,KAAK,IACnC,QAAQ;iBAcW,kBAAkB,GACtC,cACA,sBACA,iBACA,MAAM,iBAAiB,QAAQ,KAAK,IACnC,QAAQ;iBASW,wBAAwB,eAAe,QAAQ;iBAkB/C,0BACpB,cACA,uBACC,QAAQ;iBAcW,2BACpB,cACA,4BACC,QAAQ,MAAM;EAAwB;;iBAOzB,cAAc;iBAqGd,qBAAqB;;;UC7RpB;EACf,OAAO;EACP;EACA;;iBAGc,qBAAqB;EACnC,MAAM;EACN;EACA;EACA,WAAW;EACX,YAAY;IACV;;;UCVa;;EAEf;;EAEA,QAAQ;;EAER;;;;;EAKA;;UAEe;EACf;EACA;;;;;;;;cASW;WACF;UACD;mBACS;mBACA;EAEjB,YAAY,SAAS;EAOf,SAAS,UAAS,0BAA+B,QAAQ;EAOzD,OACJ,eACA,UAAS,0BACR,QAAQ;EAKL,SACJ,eACA,UAAS,0BACR,QAAQ;EAKX,4BAA4B;EAS5B;;iBAKc,+BACd,SAAS,kCACR;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UC7Cc;EACf;EACA;;;UAIe,qBAAqB;;EAEpC;;EAEA,MAAM;;;UAIS,sBAAsB;EACrC,MAAM;;EAEN;;UAGe;;EAEf,KAAK,KAAK,eAAe,QAAQ;;EAEjC,KAAK,OAAO,gBAAgB;;EAE5B,MAAM,OAAO,eAAe;;EAE5B,KAAK,sBAAsB,QAAQ;;UAGpB;EACf;EACA;EACA;EACA;;UAGe;;;;;EAKf;;;;;;;;;;iBAuBc,+BACd,SAAS,kCACR;;;;;;;;;;;;;;;;;UAqEc;EACf,IAAI,qBAAqB,mBAAmB,QAAQ;EACpD,OAAO,QAAQ,kBAAkB;EACjC,gBAAgB,sBAAsB,QAAQ;;iBAGhC,2BAA2B,SAAS,YAAY;;;UCnL/C;EACf,aAAa;EACb;;iBAGc,iBAAiB,kBAAkB;iBAUnC,kBAAkB,aAAa,yBAAyB;;;iBCZxD,oBAAoB,OAAO,kBAAkB;;;iBCD7C,OAAO;iBAIP,QAAQ;iBAWR,SAAS,gBAAgB;;iBAKzB,aAAa,aAAa;;;iBCfpB,oBAAoB,eAAe,QAAQ;;;;;;;;;;iBA4B3C,oBAAoB,eAAe,QAAQ;;;UC9BhD;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA,UAAU;IAAQ;IAAc;IAAe;IAAgB;;EAC/D,iBAAiB;EACjB,UAAU;;UAGK;EACf;EACA;EACA;EACA;EACA;EACA;;iBAGc,sBACd,OAAO,gBACP;EAAW,MAAM;IAChB;UA6Cc;EACf;EACA,OAAO;EACP,SAAS;IAAQ;IAAY;IAAgB;;EAC7C;EACA;EACA,SAAS;IAAQ;IAAc;IAAe;;;iBAGhC,uBACd,OAAO,gBACP,iBACC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UCtCc;;EAEf;;EAEA;;;KAIU;;UAWK;;EAEf;;EAEA,MAAM;;;;;EAKN;;;;;;EAMA,UAAU;;;;;;EAMV;;;;;EAKA;;;;;;EAMA;;;UAIe;;EAEf;;EAEA;;EAEA;;;;;;EAMA;;EAEA;;;;;EAKA;;EAEA,OAAO;;;;;;;;;;;;;;;cAgBI,qBAAqB;;;;;;;iBA2sBlB,qBACd,MAAM,cACN;EACG;EAAmB;EAAqB;EAAqB;;;iBAelD,wBACd,SAAS,iBACT;EACG;EAAkB;EAAe,SAAS,kBAAkB;;;iBAUjD,mBAAmB,MAAK;;iBAKxB,iBACd,MAAK,oBACJ,OAAO;;;;UCv1BO;;EAEf;;EAEA;;EAEA;;EAEA;;EAEA;;;;;;;;;;;;;;iBAec,qBAAqB,OAAO,kBAAkB;UAkH7C;;EAEf;;EAEA,QAAQ;;EAER,QAAQ;;EAER;;EAEA,gBAAgB,KAAK;;EAErB;EACA,SAAS;;UAGM;EACf,MAAM;;EAEN;;EAEA;;;;;;;;iBASoB,wBACpB,OAAO,iBACP,SAAS,mBACR,QAAQ;;;;;;;;;;;;;;cC7KE;cACA;cACA;cACA;iBASG,oBAAoB;;cAUvB,0CAA0C;WAE1C;WACA;EAFX,YACW,kBACA;;UAUI;EACf,UAAU,QAAQ,eAAe;EACjC,UAAU,aAAa,QAAQ;EAC/B,eAAe,QAAQ;EACvB,QAAQ,MAAM,gBAAgB;EAC9B,QAAQ,mBAAmB,QAAQ;EACnC,aAAa,QAAQ;EACrB,SAAS,OAAO,iBAAiB;EACjC,YAAY,QAAQ;EACpB,SAAS,OAAO,iBAAiB;EACjC,WAAW,QAAQ,sBAAsB,QAAQ;;;UAIlC;;;;;;;EAOf,eAAe,QAAQ,sBAAsB;EAC7C,eAAe,aAAa,QAAQ;EACpC,oBAAoB,QAAQ;;;;;;;;;;;;;;;EAe5B,iBACE,YACA,QAAQ,SAAS,+BAA+B,sBAC/C,QAAQ;;cAGA,yBAAyB,SAAS;mBAC5B;mBACA;mBACA;mBACA;UACT;EAEF,UAAU,QAAQ,eAAe;EAIjC,UAAU,aAAa,QAAQ;EAI/B,eAAe,QAAQ;EAIvB,QAAQ,MAAM,gBAAgB;EAI9B,QAAQ,mBAAmB,QAAQ;EAQnC,aAAa,QAAQ;EAIrB,SAAS,OAAO,iBAAiB;EAIjC,YAAY,QAAQ;EAapB,SAAS,OAAO,iBAAiB;EAIjC,WAAW,QAAO,sBAA2B,QAAQ;EAQrD,eAAe,QAAQ,sBAAsB;EAK7C,eAAe,aAAa,QAAQ;EAIpC,oBAAoB,QAAQ;EAI5B,iBACJ,YACA,QAAQ,SAAS,+BAA+B,sBAC/C,QAAQ;;;;;;;;;;UAoBI;;EAEf;;cAGW,6BAA6B,SAAS;mBAChC;mBACA;mBACA;mBACA;;;;;;;EAQjB,YAAY,gBAAgB;EAetB,UAAU,QAAQ,eAAe;EASjC,UAAU,aAAa,QAAQ;EAO/B,eAAe,QAAQ;EAIvB,QAAQ,MAAM,gBAAgB;EAa9B,QAAQ,mBAAmB,QAAQ;EASnC,aAAa,QAAQ;EAIrB,SAAS,OAAO,iBAAiB;EAOjC,YAAY,QAAQ;EAIpB,SAAS,OAAO,iBAAiB;EAWjC,WAAW,QAAO,sBAA2B,QAAQ;EASrD,eAAe,QAAQ,sBAAsB;EAY7C,eAAe,aAAa,QAAQ;EAapC,oBAAoB,QAAQ;EAkB5B,iBACJ,YACA,QAAQ,SAAS,+BAA+B,sBAC/C,QAAQ;UAkBG;UAQA;UAQA;UAKN;;;;iBCvZM,mBAAmB,OAAO,iBAAiB;;;;UC8B1C;EACf;EACA,MAAM;EACN;EACA;EACA;EACA;;;UAIe;EACf;EACA;;EAEA;;EAEA;;EAEA;;EAEA,SAAS;;;;;;;;;iBAUK,cAAc,OAAO;;;;;;;iBAcrB,4BACd,SAAS,iBACT,iBACC;;;;;;;;;;;iBAiCmB,sBACpB,aAAa,gBACb,WAAW,kBACV,QAAQ;;;UCpCM;EACf;EACA;EACA;EACA;EACA;EACA;;UAGe;EACf;EACA;;iBA+GoB,gCACpB,eACC,QAAQ;iBAoCW,gCACpB,cACA,SAAS,yCACR;;;UCxNc;;;;;EAKf;;EAEA;;EAEA;;EAQA;;;;;;EAMA,aAAa;;;;;EAKb,QAAQ;;EAER;IACE,UAAU;IACV;IACA;IACA;;;cAIS,oCAAoC;WAE7B;WACA;EAFlB,YACkB,mBACA,iBAChB;;;;;;;;;;;;;;iBAmBY,mBAAmB,SAAS,iBAAiB;;;;;;UAqK5C;EACf,WAAW;EACX;EACA,QAAQ;;iBAGM,oBACd,UAAU,cAAc,kBACvB;;;UCnPc;EACf;EACA;EACA,0BAA0B;EAC1B;EACA,YAAY,KAAK;EACjB,SAAS;EACT,YAAY;;UAGG;EACf;EACA;EACA,OAAO;EACP,YAAY;EACZ,YAAY;EACZ,WAAW;EACX;IACE;IACA;IACA;;;iBAIkB,+BACpB,SAAS,wCACR,QAAQ;;;UCjCM;EACf,SAAS;EACT,WAAW;EACX,eAAe;EACf,cAAc;;;;;;UAOC;EACf;EACA;EACA,eAAe;EACf,eAAe;EACf,SAAS;EACT,eAAe;;EAEf,qBAAqB;;;;;EAKrB;;EAEA;EACA;EACA;;iBAGc,uBAAuB,OAAO,wBAAwB;;;;UCmDrD;;EAEf,QAAQ;;EAER,WAAW;;EAEX,iBAAiB;;EAEjB,cAAc;;EAEd,WAAW;;EAEX,eAAe;;EAEf;;UAGe;;EAEf,SAAS;EACT,iBAAiB;;;;;EAKjB;;EAEA;;EAEA;;;;;;EAMA;;EAEA,WAAW,OAAO;;;;;;UAOH,+CAA+C;;EAE9D,OAAO;;;;;;EAMP;;;UAIe;EACf;EACA,eAAe;;EAEf,qBAAqB;;EAErB,MAAM;;EAEN;;;;;;;UAQe,8BAA8B;;EAE7C,iBAAiB;;;;;;;;EAQjB;;;;;EAKA,aAAa;;;;;;;;;;EAUb,cAAc;;EAEd,eAAe;;;;;;EAMf,cAAc,kBAAkB,iBAAiB;;EAEjD,YAAY;;;;;;;iBAeE,4BACd,UAAS,+BACR;;;;;;;;;;iBAamB,sCACpB,SAAS,yCACR,QAAQ;;;UC1NM;EACf;EACA;EACA;EACA;EACA;EACA;EACA;;iBAGc,UAAU,eAAe;;;;;;;;;cAoB5B;;;;;;;;iBASG,eAAe;iBAST,kBAAkB,eAAe,QAAQ;iBAqBzC,mBAAmB,eAAe,QAAQ;iBA0C1C,UAAU,cAAc,iBAAiB;;;;KCxGnD;UAEK;EACf,MAAM;EACN,QAAQ;;UAGO;EACf;EACA;EACA;;cAGW;UAEI;;EAEf;;EAEA,gBAAgB;;;;;EAKhB;;UAMe;;EAEf,KAAK,eAAe;IAAY;MAAgC,QAAQ;;EAExE,QAAQ,gBAAgB;;;;;;EAMxB,UAAU,gBAAgB,QAAQ;;iBAGpB,sBAAsB,SAAS,yBAAyB;;;cCxD3D,oBAAkB,EAAA;;;;;;;;;;;GAW7B,EAAA,KAAA;cAEW,oBAAkB,EAAA;;;;;;;;;;;;;;;;;;;;;;;GAY7B,EAAA,KAAA;cAEW,qBAAmB,EAAA;;;;;;;;;GAS9B,EAAA,KAAA;cAEW,0BAAwB,EAAA;;;;;;;;GAQnC,EAAA,KAAA;cAEW,0BAAwB,EAAA;;;;;GAKnC,EAAA,KAAA;cAEW,sBAAoB,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAS/B,EAAA,KAAA;cAEW,sBAAoB,EAAA;;;;;;;;;;;;;;;;GAU/B,EAAA,KAAA;cAEW,oBAAkB,EAAA;;;;;;;;;;;;GAY3B,EAAA,KAAA;cAES,2BAAyB,EAAA;;;;;;;;GAalC,EAAA,KAAA;cAES,6BAA2B,EAAA;;;;GAM7B,EAAA,KAAA;cAEE,6BAA2B,EAAA;;;;;;;;;GAcpC,EAAA,KAAA;cAES,2BAAyB,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgBlC,EAAA,KAAA;cAaS,8BAA4B,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CvC,EAAA,KAAA;;;iBCjMc,gBACd,OAAO,gBACP,eACA,iBACC;iBA+Ba,cAAc;iBAiBd,qBAAqB,uBAAuB,aAAY;;;cC3E3D,gBAAc;iBAEX,iBAAiB;iBAYjB,oBAAoB;;;iBCRpB,oBAAoB,cAAc;iBAclC,0BACd,cACA,6BACC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","names":[],"sources":["../src/adapters.ts","../src/eval-readiness.ts","../src/sources.ts","../src/verified-research-loop.ts","../src/web-research-worker.ts","../src/adaptive-driver.ts","../src/rag-optimization.ts","../src/proposals.ts","../src/validate.ts","../src/research-loop.ts","../src/retrieval-optimization.ts","../src/rag-improvement-loop.ts","../src/rag-eval/contracts.ts","../src/rag-eval/calibration.ts","../src/rag-eval/knowledge-base.ts","../src/rag-eval/providers.ts","../src/rag-eval/scoring.ts","../src/kb-improvement/contracts.ts","../src/kb-improvement/activation.ts","../src/kb-improvement/optimization.ts","../src/kb-improvement/run.ts","../src/kb-improvement/state.ts","../src/kb-improvement/transition.ts","../src/kb-improvement/workspace.ts","../src/agent-candidate.ts","../src/changes.ts","../src/chunking.ts","../src/claim-evidence.ts","../src/claim-grounding.ts","../src/claim-ledger.ts","../src/collection-research-driver.ts","../src/discovery.ts","../src/durable-fs.ts","../src/events.ts","../src/filesystem-search-provider.ts","../src/freshness.ts","../src/frontmatter.ts","../src/graph.ts","../src/ids.ts","../src/indexer.ts","../src/inspect.ts","../src/investment-thesis-set.ts","../src/investment-thesis-task.ts","../src/kb-store.ts","../src/lint.ts","../src/material-facts-metric.ts","../src/mutation-lock.ts","../src/propose-from-finding.ts","../src/readiness-check.ts","../src/release.ts","../src/research-driving-driver.ts","../src/store.ts","../src/run-scoped.ts","../src/schemas.ts","../src/search.ts","../src/wikilinks.ts","../src/write-protocol.ts"],"mappings":";;;;;;;;;;UAEiB;EACf;EACA,QAAQ;EACR;EACA,WAAW;;UAGI;EACf;EACA;EACA;EACA,UAAU;EACV,WAAW;;UAGI;EACf;EACA,QAAQ,OAAO;EACf,KAAK,OAAO,qBAAqB,QAAQ,uBAAuB;;cAGrD,mBAAmB;iBAYhB,aAAa;;;UChBZ;EACf;EACA;EACA;EACA;EACA,UAAU;EACV,iBAAiB;EACjB,YAAY;EACZ,WAAW;EACX,aAAa;EACb;EACA,iBAAiB;EACjB;EACA;EACA,WAAW;;;;;;;;;;cAWA;WACD;WACO;WACL;WACD;WACE;WACK;WACN;WACH;;;;;;;KAkBC,2BAA2B,KACrC,0EAGA,QAAQ,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAgCC,oBAAoB,OAAO,2BAA2B;UAOrD;EACf;EACA,OAAO;EACP,OAAO;EACP,cAAc;EACd;EACA,WAAW;EACX,MAAM;;UAGS;EACf,QAAQ;EACR,QAAQ;EACR,cAAc;EACd,4BAA4B,eAAe;EAC3C,WAAW;EACX,kBAAkB;;iBAGJ,yBACd,SAAS,kCACR;;;UCnHc;EACf;EACA,WAAW;EACX,YAAY;;UAGG;EACf;EACA;EACA;EACA;EACA;EACA;EACA,WAAW;;;iBAIG,wBAAwB,OAAO,qBAAqB;iBAI9C,mBAAmB,eAAe,QAAQ;iBAgB1C,oBAAoB,cAAc,UAAU,iBAAiB;iBAU7D,cACpB,cACA,oBACA,UAAS,mBACR,QAAQ;iBAwDW,cACpB,cACA,OAAO,oBACP,UAAS,KAAK,wCACb,QAAQ;iBAgGK,mBAAmB;;;;;;;;UCvMlB;;EAEf;;EAEA;;EAEA;;EAEA;;;KAIU,yBAAyB;;;;;;;;;;UAWpB;;EAEf,UAAU;;EAEV;;;;;;;;;EASA,cAAc,iBAAiB;;EAE/B;EACA,WAAW;;;UAII;EACf;EACA;EACA;EACA,OAAO;;EAEP,MAAM;;EAEN;EACA,WAAW;EACX,SAAS;;;UAIM;EACf;EACA;EACA;EACA,OAAO;EACP,MAAM;;EAEN,mBAAmB;EACnB,SAAS;;;UAIM;EACf,QAAQ;EACR;;;UAIe;EACf;EACA;EACA;EACA,OAAO;;EAEP,eAAe;EACf,WAAW;EACX,SAAS;;;;;;;;;;;;;;;;;;;;;;UAuBM;EACf,aACE,QAAQ,wBACR,KAAK,4BACJ,QAAQ,iBAAiB;EAC5B,UAAU,KAAK,wBAAwB,QAAQ,wBAAwB;EACvE,UAAU,MAAM;EAChB,gBAAgB;EAChB,eAAe,kBAAkB,iBAAiB;EAClD,eAAe;;KAGL;EAAkB;;EAAmB;EAAe;;;KAGpD,kBACV,KAAK,0BACF,QAAQ,wBAAwB;UAEpB;EACf;EACA;EACA,QAAQ;EACR,QAAQ;;;;;;;EAOR;EACA;EACA;;EAEA,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,gBAAgB,KAAK;EACrB,SAAS;EACT,WAAW,OAAO,0BAA0B;;UAG7B;EACf;;EAEA,MAAM;;EAEN,uBAAuB;;EAEvB,uBAAuB;;EAEvB,eAAe;;EAEf;EACA,YAAY;;EAEZ;EACA,OAAO;EACP;IAAS;IAAiB;;;UAGX;EACf;EACA;EACA;EACA;EACA,OAAO;EACP,YAAY;EACZ,OAAO;;;;;;;;;;;;;;;;;;;;;;;;iBAyBa,wBACpB,SAAS,8BACR,QAAQ;;;;;;iBAmRK,kBACd,QAAQ,wBACR,OAAO,gBACP,MAAM,iBACL;;;;UCncc;EACf;EACA;EACA;;;;;;UAOe;;EAEf,OAAO,eAAe;IAAS;MAAwB,QAAQ;;EAE/D,KACE;IAAY;IAAyB;OACrC,qBACC;;EAEH,SAAS;;;;;;;;;UAUM;EACf;EACA;EACA;EACA;EACA;EACA;;UAGe;;EAEf;;EAEA;;EAEA;;EAEA;;;;;;;;EAQA;;EAEA;EACA,SAAS;;;cAqCE,oBAAoB;WAEb;EADlB,YACkB,gBAChB;;;;;;;iBAYY,yBAAyB,UAAS,sBAA2B;UAyF5D;;EAEf,SAAS;EACT,iBAAiB;;EAEjB;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;;;;;;;iBAgBc,wBAAwB,UAAS,2BAAgC;UAgNhE;EACf,SAAS;EACT,iBAAiB;;;;;;EAMjB;;;;;;;;;;;;iBAac,8BACd,UAAS,yBACR;;;;;;;;;;;iBC1ca,gBAAgB;;;;;;;iBA2ChB,WAAW;;KAUf;;KAGA;;UAGK;EACf;;EAEA;EACA;;EAEA,SAAS;EACT;;;UAIe;EACf;;EAEA;;EAEA;;EAEA;;EAEA;;EAEA;EACA,WAAW;;UAGI;;EAEf,SAAS;EACT,iBAAiB;;EAEjB,YAAY,KAAK;;;;;;;EAOjB;;;;;EAKA,eAAe;;;;;EAKf;;;;;EAKA;;EAEA,cAAc,UAAU;;;;;;;;iBA6CV,aACd,QAAQ,wBACR;EACE;EACA,cAAc;EACd;EACA;;EAEC,QAAQ;EAAa;;UA6CT;EACf,aACE,QAAQ,wBACR,KAAK,4BACJ,QAAQ;;EAEX,SAAS;;;;;;;;;;;;iBAaK,6BACd,UAAS,wBACR;;;KCnRS,wBAAwB,eAAe;KAE9C,6BAA6B,KAChC,0CACE,uBACA,uBACA;UAaa,kCAAkC;EACjD,UAAU;EACV,QAAQ,mBAAmB,uBAAuB;EAClD,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;EACzB,IAAI;IACF,QAAQ;IACR;IACA;IACA,UAAU;IACV,SAAS;MACP,QAAQ;EACZ,kBAAkB,YAAY,uBAAuB;;UAGtC,iCACP,yCAAyC;EACjD,gBAAgB;EAChB,cAAc;EACd,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;;;iBAIL,mBACpB,SAAS,4BACR,QAAQ;;;UCzDM;EACf;EACA;;iBAGoB,0BACpB,cACA,uBACC,QAAQ;iBAwBW,8BACpB,cACA,uBACC,QAAQ;;;UCpCM;EACf;;UAGe;EACf;EACA,UAAU;;iBAGI,uBACd,OAAO,gBACP,UAAS,2BACR;;;UCac;EACf;EACA;EACA;EACA,OAAO;EACP,cAAc;EACd,YAAY;EACZ,YAAY;EACZ,eAAe;EACf,SAAS;;UAGM;;;;;EAKf;;;;EAIA;;;;;EAKA,cAAc;;;;;EAKd;;;;;EAKA;EACA,WAAW;;UAGI;EACf;EACA;EACA,cAAc;EACd,UAAU;EACV,cAAc;EACd,YAAY;EACZ,YAAY;EACZ,OAAO;EACP;EACA,WAAW;;UAGI;EACf;EACA;EACA;EACA;EACA,SAAS;EACT,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,gBAAgB,KAAK;EACrB,SAAS;EACT,KACE,SAAS,+BACR,QAAQ,iCAAiC;EAC5C,UAAU,MAAM,8BAA8B;;UAG/B;EACf;EACA;EACA;EACA;EACA,OAAO;EACP,cAAc;EACd,YAAY;EACZ,YAAY;EACZ,OAAO;;KAGG,4BAA4B;KAC5B,6BAA6B;KAC7B,mCAAmC;UAE9B;EACf;EACA;EACA;EACA,SAAS;EACT,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,gBAAgB,KAAK;;KAGX,8BAA8B,KACxC,qBACE,2BACA,4BACA,kCACA;;;;;;iBAUY,kCACd,SAAS,qCACR;iBAmEmB,yBACpB,SAAS,kCACR,QAAQ;;;KC7LN,mCAAmC,KACtC,0CACE,iBACA,uBACA;UAaa,2CAA2C;EAC1D,UAAU;EACV,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;EACzB,QAAQ,mBAAmB,uBAAuB;EAClD,QAAQ;EACR;EACA,WAAW;EACX,kBAAkB,YAAY,uBAAuB;EACrD,gBAAgB;;UAGD,0CACP,yCAAyC;EACjD,gBAAgB;EAChB,cAAc;EACd,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;;iBAGL,4BACpB,SAAS,qCACR,QAAQ;;;KC7CC;KASA;KAEA;KAYA;UAEK;EACf;EACA,MAAM;EACN,UAAU;EACV;EACA;EACA,WAAW,eAAe;;UAGX;EACf,OAAO;EACP,QAAQ;EACR;EACA;EACA;EACA,WAAW,eAAe;;KAGhB,2BAA2B,KACrC;KAIU,iCAAiC,KAC3C;UAIe;EACf;EACA,iBAAiB;;EAEjB,eAAe;EACf,SAAS;;UAGM,0BAA0B;EACzC,YAAY;;UAGG,qCAAqC;EACpD,YAAY;EACZ,mBAAmB;;UAGJ,gCAAgC;EAC/C,YAAY;EACZ,mBAAmB;EACnB,cAAc;;UAGC;EACf;EACA;EACA,WAAW;EACX,WAAW,eAAe;;UAGX,8BAA8B;EAC7C,YAAY;EACZ,mBAAmB;EACnB,cAAc;EACd,kBAAkB;;UAGH;EACf;EACA,SAAS;EACT;EACA;EACA;EACA,MAAM;EACN,oBAAoB;EACpB,WAAW,eAAe;;UAGX,0BAA0B;EACzC,YAAY;;EAEZ,yBAAyB;;EAEzB,sBAAsB;EACtB,mBAAmB;EACnB,cAAc;EACd,kBAAkB;EAClB,gBAAgB;;UAGD;EACf;EACA;EACA,WAAW,eAAe;;UAGX,oCACP,KAAK;EACb;EACA,OAAO;;UAGQ;EACf;EACA,eAAe;EACf,YAAY;EACZ,YAAY,OAAO,sBAAsB,wBAAsB;EAC/D,oBACE,OAAO,iCACJ,eAAa;EAClB,oBAAoB;EACpB,mBAAmB,OAAO,4BAA4B,eAAa;EACnE,mBAAmB,OAAO,0BAA0B,eAAa;;EAEjE;;;;;EAKA,mBAAmB,OAAO,sBAAsB,eAAa;EAC7D,yBAAyB;EACzB,0BAA0B;EAC1B,SAAS;EACT,YAAY;;UAGG;EACf;EACA,iBAAiB;EACjB,eAAe;EACf,YAAY;EACZ,mBAAmB;EACnB,cAAc;EACd,kBAAkB;EAClB,gBAAgB;EAChB,YAAY;;KAGT,eAAa,KAAK,IAAI,QAAQ;iBAEb,+BACpB,SAAS,wCACR,QAAQ;;;KCrLC;KAQA;KAaA;UAUK;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA,WAAW,eAAe;;UAGX;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA,WAAW,eAAe;;UAGX;EACf;EACA;EACA;EACA,WAAW,eAAe;;UAGX;EACf;EACA;EACA;EACA;EACA;;UAGe,8BAA8B;EAC7C;EACA;EACA;EACA;EACA;EACA,2BAA2B;EAC3B;EACA;EACA,kBAAkB;EAClB,aAAa,QAAQ,OAAO;;UAGb;EACf,UAAU;EACV,QAAQ;EACR,UAAU;EACV,WAAW,eAAe;;UAGX;EACf;EACA;EACA,mBAAmB;EACnB,kBAAkB;EAClB,qBAAqB;EACrB;EACA;EACA;EACA,0BAA0B;EAC1B,WAAW,eAAe;;UAGX;EACf,SAAS,OAAO;EAChB;EACA;EACA,mBAAmB;EACnB;EACA;EACA;EACA;EACA;EACA;EACA,gBAAgB,eAAe,OAAO;;UAGvB;EACf;EACA,aAAa,QAAQ,OAAO;EAC5B,UAAU,QAAQ,OAAO;EACzB;EACA;;UAGe;EACf,UAAU;EACV,UAAU;;UAGK;EACf,oBAAoB;;EAEpB;;EAEA,MAAM,wBAAwB,aAAa;EAC3C,MAAM,UAAU,0BAA0B,aAAa;EACvD,qBACE,MAAM,sBACH,aAAa,gCAAgC;EAClD,aAAa,QAAQ,OAAO;EAC5B,UAAU,QAAQ,OAAO;;UAGV;EACf,UAAU;EACV,QAAQ;EACR,MAAM;EACN,QAAQ,YAAY,uBAAuB;EAC3C;EACA;EACA,SAAS;;UAGM;EACf;EACA;EACA;EACA;;UAGe;EACf,MAAM;EACN;EACA;EACA;;UAGe;EACf;EACA;IACE;IACA;IACA;IACA;IACA;IACA;IACA;IACA;;EAEF,mBAAmB;;KAGhB,aAAa,KAAK,IAAI,QAAQ;;;iBC9KnB,2BACd,SAAS,oCACF,QAAQ;iBAiDK,wBACpB,SAAS,wBACR,QAAQ;;;iBC1DK,wBACd,OAAO,gBACP,UAAS,8BACR;;;iBCgBa,2BACd,iBAAiB,yBAChB,eAAe,OAAO;iBAeT,sBAAsB,gBAAgB;;;;;;;iBAUtC,oBAAoB,gBAAgB;;;;;;;iBAUpC,iBAAiB,gBAAgB;;;;;iBAQjC,oBAAoB,gBAAgB;;;;;;;;;;;;;iBCvBpC,sBACd,UAAS,+BACR,YAAY,uBAAuB;iBA0BtB,uBACd,UAAU,uBACV,UAAU,uBACV,UAAS,+BACR;iBA2Ea,yBACd,SAAS,OAAO,2BAChB,UAAU,uBACV,aAAY,QAAQ,OAAO,6BAC1B;;;KC/HS;UAOF;EACR;EACA;;KAGU,wCACP;EACC;MAED;EACC;EACA;EACA,YAAY;MAEb;EACC;EACA;EACA;EACA,YAAY;;UAGD;EACf;EACA;EACA,aAAa;EACb;EACA,YAAY;;UAGG;EACf;EACA;EACA;EACA;EACA;EACA,eAAe;EACf,gBAAgB;EAChB;EACA;EACA,YAAY;EACZ,YAAY;EACZ,WAAW;EACX,YAAY;EACZ,SAAS;;KAGC,iCACV,OAAO,wCACJ,QAAQ,8BAA8B;UAE1B;EACf;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA,QAAQ;EACR;EACA;;UAGe;EACf;EACA;EACA;EACA;EACA,QAAQ;EACR;EACA;EACA;EACA;EACA,YAAY;EACZ;EACA;;UAGe;EACf;EACA,OAAO;EACP,YAAY;EACZ,aAAa;EACb,YAAY;EACZ;EACA;;KAGU;UAEK;EACf,QAAQ;EACR;EACA;EACA;EACA;EACA;;UAGe,2CAA2C;EAC1D,WAAW;EACX,UAAU;EACV,mBAAmB;;UAGJ;EACf,YAAY;EACZ;EACA;;EAEA,aACE,UAAU,sCACT,QAAQ,oCAAoC;;cA4HpC,oCAAkC,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0G3C,EAAA,KAAA;cAES,oCAAkC,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiBpC,EAAA,KAAA;KAEC,+BAA+B,EAAE,aAAa;;cAG7C,wCAAsC,EAAA;;;;;;;;;GAWxC,EAAA,KAAA;KAEC,mCAAmC,EAAE,aACxC;UAGQ;EACf;EACA,WAAW;EACX,aAAa;EACb;EACA;EACA,YAAY;EACZ,WAAW,OAAO,iCAAiC;;KAGzC,2CAA2C;UAEtC;EACf;EACA,WAAW;EACX,YAAY;EACZ;;UAGe;EACf;EACA,WAAW;;UAGI;EACf;EACA;;UAGe;EACf,WAAW;EACX,YAAY;EACZ,UAAU;EACV,WAAW;;UAGI;EACf;EACA,WAAW;EACX,YAAY;;UAGG,6CACP,KAAK;EACb,SAAS;;KAGC,8CAA8C,WACxD;EAEA;EACA;EACA;EACA;EACA;EACA;EACA,gBAAgB;EAChB;;UAGe,mDACP,KAAK;EACb,SAAS;EACT,IAAI,OAAO,8CAA8C,QAAQ;;UAGlD,wCAAwC;EACvD;EACA;EACA;EACA;EACA;EACA;EACA;;KAGU,8BACV,OAAO,oCACJ,QAAQ,4BAA4B;UAExB;EACf;EACA;;;;;EAKA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,SAAS;EACT,iBAAiB;EACjB;EACA,YAAY,KAAK;EACjB,YAAY;EACZ,OAAO;EACP,oBAAoB,KAAK;EACzB,kBAAkB;EAClB,YAAY;EACZ,WAAW,YAAY;EACvB,mBAAmB,YAAY;EAC/B,kBAAkB;EAClB,kBAAkB,YAAY;EAC9B,2BAA2B;EAC3B,kBAAkB,YAAY;EAC9B,yBAAyB;EACzB,0BAA0B;;EAE1B,sBAAsB;;EAEtB,WAAW;EACX,SAAS;EACT,YAAY;EACZ,WAAW,OAAO,iCAAiC;;;;;iBC7f/B,yCACpB,SAAS,kDACR,QAAQ;;;KCXN,yBAAyB,KAC5B;KAWG,8BACH,gBAAgB,yBAChB,kBAAkB,UAClB,aACE,KACF,0CAA0C,SAAS,WAAW;UAS/C,mCACf,gBAAgB,yBAChB,kBAAkB,UAClB,mBACQ,8BAA8B,SAAS,WAAW;EAC1D;EACA;EACA,gBAAgB;EAChB,QAAQ,mBAAmB,WAAW;EACtC,yBAAyB;EACzB,6BAA6B;EAC7B,yBAAyB;;EAEzB;;EAEA;EACA,YAAY;EACZ,YACE,OAAO;IACL,QAAQ;IACR;IACA;IACA;MAED;IACD;IACA;IACA,WAAW,eAAe;;;UAIb,kCAAkC,gBAAgB;EACjE,cAAc,yCAAyC;EACvD,aAAa;;;;;;iBAOO,4BACpB,gBAAgB,yBAChB,kBAAkB,UAClB,WAEA,SAAS,mCAAmC,SAAS,WAAW,aAC/D,QAAQ,kCAAkC;KAuFjC,wBACV,gBAAgB,yBAChB,kBAAkB,UAClB,cACG;EACH,WAAW;EACX;EACA;EACA,UAAU;EACV,SAAS;MACL,QAAQ;;;iBC9JQ,qBACpB,SAAS,8BACR,QAAQ;;;iBCbK,0BAA0B,cAAc;iBAIxC,2BAA2B,cAAc;iBAsCnC,8BACpB,cACA,gBACC,QAAQ;UA4DM,kCAAkC;EACjD;EACA;;iBAGoB,+BACpB,cACA,gBACC,QAAQ;;;;iBC5EW,0BACpB,SAAS,mCACR,QAAQ;;iBAKW,kCACpB,SAAS,2CACR,QAAQ;;;;iBC1BK,iCACd,QAAQ,KAAK,+DACZ;;iBAMmB,mCAAmC,GACvD,SAAS,yCACT,MAAM,YAAY,2CAA2C,QAAQ,KAAK,IACzE,QAAQ;;iBA6BW,kCAAkC,GACtD,SAAS,yCACT,MAAM,WAAW,0CAA0C,QAAQ,KAAK,IACvE,QAAQ;iBA6VW,kBAAkB,eAAe;;;;iBCtavC,6BACd,WAAW,mCACV;;iBAaa,+BACd,WAAW,6BACV;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KCES;UAEK;;EAEf;EACA,MAAM;;;;;;EAMN;IAAS;IAAiB;;;;;;EAK1B;;EAEA;;;;;;;EAOA;;UAGe;EACf,SAAS;;EAET;IAAW;IAAe;IAAiB;;;EAE3C;;UAGe;;;;;;;EAOf;;;;;;EAMA;;iBAGc,cACd,MAAM,qBACN,MAAM,qBACN,UAAS,uBACR;;;UCtFc;EACf;EACA;EACA;EACA;;UAGe;EACf;EACA;EACA;EACA;EACA;EACA;;iBAUc,cACd,iBACA,UAAU,QAAQ,mBACjB;iBAuBa,iBAAiB;EAAoB;EAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KCvBvD;;cAGC;UAEI;EACf,MAAM;;;;;EAKN;;;;;;EAMA;;EAEA;;;;;;;;;cAkEW,8BAA8B;;WAEhC,MAAM;;WAEN;EAET,YAAY,MAAM,cAAc;;;;;;;;;;iBAgBlB,wBAAwB,UAAU,gBAAgB;;;;;;;;;;;;;;KAyBtD;UAWK;EACf;EACA;EACA;;;UAIe;EACf,SAAS;;EAET;;;;;;;;;;;;iBAac,SACd,UAAU,KAAK,6CACf,WAAW,wBACV;;iBAqBa,WACd,UAAU,KAAK,6CACf,WAAW,wBACV;;;;;;;;cCvKU;;iBAGG,aAAa,QAAQ;;iBAMrB,eACd,QAAQ,wBACR,gBACC;UAIc;;EAEf;;EAEA;;;;;EAKA;;EAEA;;UAGe;;;;;;;EAOf;;;;;EAKA;;;;;;;;;;;;;;;;;iBA4Fc,kBACd,eACA,kBACA,UAAS,qBACR;UAmCc,oCAAoC;;;;;;;;EAQnD,qBACE,QAAQ,wBACR,KAAK,8BACF,QAAQ,iBAAiB;;;;;;;EAO9B;;;;;;;;;;;iBAYc,6BAA6B,UAAS,+BAAgC,QAG1E,wBAAsB,KACzB,8BACJ,QAAQ;UAiCI;EACf,SAAS;EACT,iBAAiB;;EAEjB;;;;;;;;;;;;;;;iBAgBc,qBAAqB,UAAS,gCAAiC,QAGnE,wBAAsB,iBAE7B,QAAQ;;;;;;;;;iBC3RG,QAAQ;;iBAKR,gBACd,OAAO,KACL;;iBAgBY,yBACd,QAAQ,KAAK;;iBAMC,mBAAmB;;;;;;;;;iBAgCnB,gBAAgB;;iBAWhB,eAAe,MAAM,sBAAsB;;;;;;;;;iBAY3C,4BAA4B,OAAO;;iBAiCnC,4BAA4B,UAAU;;iBAWtC,qCAAqC,UAAU;;iBA2B/C,mCAAmC,QAAQ;;iBAiI3C,iBAAiB,YAAY,gBAAgB;;;;;;;;iBAqB7C,mCACd,QAAQ,sBACP;;;;;;;cAwDU,qCAAqC;WAErC;WACA;WACA;EAHX,YACW,kBACA,sBACA;;;;;;;;;;;iBAmBG,mBACd,MAAM,qBACN,UAAU,sBACT;;;;;;;;;;iBAqCa,kBACd,MAAM,qBACN,UAAU,sBACT;;;;;;;;;;;;;;;;;iBAsIa,wBAAwB,QAAQ,sBAAsB;;;;;;;;iBChjBtD,kCAAkC;;;UCrCjC;EACf;EACA;EACA;EACA;EACA,WAAW;;UAGI;EACf;EACA;EACA;EACA,SAAS;IAAQ;IAAc;IAAoB;;EACnD,gBAAgB;EAChB,WAAW;;UAGI;EACf,IAAI,MAAM,eAAe,SAAS,cAAc,QAAQ,mBAAmB;;UAG5D;EACf,SACE,OAAO,iBACP;IACE;IACA,SAAS;MAEV,QAAQ;;KAGD;UAEK;EACf;EACA,OAAO;EACP,SAAS;EACT,iBAAiB;;UAGF;EACf,YAAY;EACZ;EACA,SAAS;EACT,QAAQ;;EAER,cAAc;;EAEd;;UAGe;EACf,YAAY;EACZ,uBAAuB;;EAEvB;;EAEA;;EAEA;EACA,SAAS;EACT,WAAW,OAAO,uBAAuB;;;;;;;;iBASrB,iBACpB,SAAS,0BACR,QAAQ;iBA2EK,+BACd,QAAQ,2BACP;;;UCpIc;EACf,OAAO;EACP;;iBAGoB,iBACpB,cACA,eAAe,QACf;EAAW,WAAW;EAAgB;IACrC;iBA4BmB,iBAAiB,cAAc,iBAAiB;iBAIhD,2BACpB,cACA,sBACA,eAAe,QACf;EAAW,WAAW;EAAgB;IACrC;iBAImB,2BACpB,cACA,sBACA,iBACC;iBAMmB,cAAc,gBAAgB,iBAAiB;iBAe/C,cAAc,eAAe;iBAO7B,cAAc,eAAe;;;;;;iBAS7B,mBAAmB,GACvC,cACA,sBACA,MAAM,iBAAiB,QAAQ,KAAK,IACnC,QAAQ;iBAcW,kBAAkB,GACtC,cACA,sBACA,iBACA,MAAM,iBAAiB,QAAQ,KAAK,IACnC,QAAQ;iBASW,wBAAwB,eAAe,QAAQ;iBAkB/C,0BACpB,cACA,uBACC,QAAQ;iBAcW,2BACpB,cACA,4BACC,QAAQ,MAAM;EAAwB;;iBAOzB,cAAc;iBAqGd,qBAAqB;;;UC7RpB;EACf,OAAO;EACP;EACA;;iBAGc,qBAAqB;EACnC,MAAM;EACN;EACA;EACA,WAAW;EACX,YAAY;IACV;;;UCVa;;EAEf;;EAEA,QAAQ;;EAER;;;;;EAKA;;UAEe;EACf;EACA;;;;;;;;cASW;WACF;UACD;mBACS;mBACA;EAEjB,YAAY,SAAS;EAOf,SAAS,UAAS,0BAA+B,QAAQ;EAOzD,OACJ,eACA,UAAS,0BACR,QAAQ;EAKL,SACJ,eACA,UAAS,0BACR,QAAQ;EAKX,4BAA4B;EAS5B;;iBAKc,+BACd,SAAS,kCACR;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UC7Cc;EACf;EACA;;;UAIe,qBAAqB;;EAEpC;;EAEA,MAAM;;;UAIS,sBAAsB;EACrC,MAAM;;EAEN;;UAGe;;EAEf,KAAK,KAAK,eAAe,QAAQ;;EAEjC,KAAK,OAAO,gBAAgB;;EAE5B,MAAM,OAAO,eAAe;;EAE5B,KAAK,sBAAsB,QAAQ;;UAGpB;EACf;EACA;EACA;EACA;;UAGe;;;;;EAKf;;;;;;;;;;iBAuBc,+BACd,SAAS,kCACR;;;;;;;;;;;;;;;;;UAqEc;EACf,IAAI,qBAAqB,mBAAmB,QAAQ;EACpD,OAAO,QAAQ,kBAAkB;EACjC,gBAAgB,sBAAsB,QAAQ;;iBAGhC,2BAA2B,SAAS,YAAY;;;UCnL/C;EACf,aAAa;EACb;;iBAGc,iBAAiB,kBAAkB;iBAUnC,kBAAkB,aAAa,yBAAyB;;;iBCZxD,oBAAoB,OAAO,kBAAkB;;;iBCD7C,OAAO;iBAIP,QAAQ;iBAWR,SAAS,gBAAgB;;iBAKzB,aAAa,aAAa;;;iBCfpB,oBAAoB,eAAe,QAAQ;;;;;;;;;;iBA4B3C,oBAAoB,eAAe,QAAQ;;;UC9BhD;EACf;EACA;EACA;EACA;EACA;EACA;EACA;EACA,UAAU;IAAQ;IAAc;IAAe;IAAgB;;EAC/D,iBAAiB;EACjB,UAAU;;UAGK;EACf;EACA;EACA;EACA;EACA;EACA;;iBAGc,sBACd,OAAO,gBACP;EAAW,MAAM;IAChB;UA6Cc;EACf;EACA,OAAO;EACP,SAAS;IAAQ;IAAY;IAAgB;;EAC7C;EACA;EACA,SAAS;IAAQ;IAAc;IAAe;;;iBAGhC,uBACd,OAAO,gBACP,iBACC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UCtCc;;EAEf;;EAEA;;;KAIU;;UAWK;;EAEf;;EAEA,MAAM;;;;;EAKN;;;;;;EAMA,UAAU;;;;;;EAMV;;;;;EAKA;;;;;;EAMA;;;UAIe;;EAEf;;EAEA;;EAEA;;;;;;EAMA;;EAEA;;;;;EAKA;;EAEA,OAAO;;;;;;;;;;;;;;;cAgBI,qBAAqB;;;;;;;iBA2sBlB,qBACd,MAAM,cACN;EACG;EAAmB;EAAqB;EAAqB;;;iBAelD,wBACd,SAAS,iBACT;EACG;EAAkB;EAAe,SAAS,kBAAkB;;;iBAUjD,mBAAmB,MAAK;;iBAKxB,iBACd,MAAK,oBACJ,OAAO;;;;UCv1BO;;EAEf;;EAEA;;EAEA;;EAEA;;EAEA;;;;;;;;;;;;;;iBAec,qBAAqB,OAAO,kBAAkB;UAkH7C;;EAEf;;EAEA,QAAQ;;EAER,QAAQ;;EAER;;EAEA,gBAAgB,KAAK;;EAErB;EACA,SAAS;;UAGM;EACf,MAAM;;EAEN;;EAEA;;;;;;;;iBASoB,wBACpB,OAAO,iBACP,SAAS,mBACR,QAAQ;;;;;;;;;;;;;;cC7KE;cACA;cACA;cACA;iBASG,oBAAoB;;cAUvB,0CAA0C;WAE1C;WACA;EAFX,YACW,kBACA;;UAUI;EACf,UAAU,QAAQ,eAAe;EACjC,UAAU,aAAa,QAAQ;EAC/B,eAAe,QAAQ;EACvB,QAAQ,MAAM,gBAAgB;EAC9B,QAAQ,mBAAmB,QAAQ;EACnC,aAAa,QAAQ;EACrB,SAAS,OAAO,iBAAiB;EACjC,YAAY,QAAQ;EACpB,SAAS,OAAO,iBAAiB;EACjC,WAAW,QAAQ,sBAAsB,QAAQ;;;UAIlC;;;;;;;EAOf,eAAe,QAAQ,sBAAsB;EAC7C,eAAe,aAAa,QAAQ;EACpC,oBAAoB,QAAQ;;;;;;;;;;;;;;;EAe5B,iBACE,YACA,QAAQ,SAAS,+BAA+B,sBAC/C,QAAQ;;cAGA,yBAAyB,SAAS;mBAC5B;mBACA;mBACA;mBACA;UACT;EAEF,UAAU,QAAQ,eAAe;EAIjC,UAAU,aAAa,QAAQ;EAI/B,eAAe,QAAQ;EAIvB,QAAQ,MAAM,gBAAgB;EAI9B,QAAQ,mBAAmB,QAAQ;EAQnC,aAAa,QAAQ;EAIrB,SAAS,OAAO,iBAAiB;EAIjC,YAAY,QAAQ;EAapB,SAAS,OAAO,iBAAiB;EAIjC,WAAW,QAAO,sBAA2B,QAAQ;EAQrD,eAAe,QAAQ,sBAAsB;EAK7C,eAAe,aAAa,QAAQ;EAIpC,oBAAoB,QAAQ;EAI5B,iBACJ,YACA,QAAQ,SAAS,+BAA+B,sBAC/C,QAAQ;;;;;;;;;;UAoBI;;EAEf;;cAGW,6BAA6B,SAAS;mBAChC;mBACA;mBACA;mBACA;;;;;;;EAQjB,YAAY,gBAAgB;EAetB,UAAU,QAAQ,eAAe;EASjC,UAAU,aAAa,QAAQ;EAO/B,eAAe,QAAQ;EAIvB,QAAQ,MAAM,gBAAgB;EAa9B,QAAQ,mBAAmB,QAAQ;EASnC,aAAa,QAAQ;EAIrB,SAAS,OAAO,iBAAiB;EAOjC,YAAY,QAAQ;EAIpB,SAAS,OAAO,iBAAiB;EAWjC,WAAW,QAAO,sBAA2B,QAAQ;EASrD,eAAe,QAAQ,sBAAsB;EAY7C,eAAe,aAAa,QAAQ;EAapC,oBAAoB,QAAQ;EAkB5B,iBACJ,YACA,QAAQ,SAAS,+BAA+B,sBAC/C,QAAQ;UAkBG;UAQA;UAQA;UAKN;;;;iBCvZM,mBAAmB,OAAO,iBAAiB;;;;UC8B1C;EACf;EACA,MAAM;EACN;EACA;EACA;EACA;;;UAIe;EACf;EACA;;EAEA;;EAEA;;EAEA;;EAEA,SAAS;;;;;;;;;iBAUK,cAAc,OAAO;;;;;;;iBAcrB,4BACd,SAAS,iBACT,iBACC;;;;;;;;;;;iBAiCmB,sBACpB,aAAa,gBACb,WAAW,kBACV,QAAQ;;;UCpCM;EACf;EACA;EACA;EACA;EACA;EACA;;UAGe;EACf;EACA;;iBA+GoB,gCACpB,eACC,QAAQ;iBAoCW,gCACpB,cACA,SAAS,yCACR;;;UCxNc;;;;;EAKf;;EAEA;;EAEA;;EAQA;;;;;;EAMA,aAAa;;;;;EAKb,QAAQ;;EAER;IACE,UAAU;IACV;IACA;IACA;;;cAIS,oCAAoC;WAE7B;WACA;EAFlB,YACkB,mBACA,iBAChB;;;;;;;;;;;;;;iBAmBY,mBAAmB,SAAS,iBAAiB;;;;;;UAqK5C;EACf,WAAW;EACX;EACA,QAAQ;;iBAGM,oBACd,UAAU,cAAc,kBACvB;;;UCnPc;EACf;EACA;EACA,0BAA0B;EAC1B;EACA,YAAY,KAAK;EACjB,SAAS;EACT,YAAY;;UAGG;EACf;EACA;EACA,OAAO;EACP,YAAY;EACZ,YAAY;EACZ,WAAW;EACX;IACE;IACA;IACA;;;iBAIkB,+BACpB,SAAS,wCACR,QAAQ;;;UCjCM;EACf,SAAS;EACT,WAAW;EACX,eAAe;EACf,cAAc;;;;;;UAOC;EACf;EACA;EACA,eAAe;EACf,eAAe;EACf,SAAS;EACT,eAAe;;EAEf,qBAAqB;;;;;EAKrB;;EAEA;EACA;EACA;;iBAGc,uBAAuB,OAAO,wBAAwB;;;;UCmDrD;;EAEf,QAAQ;;EAER,WAAW;;EAEX,iBAAiB;;EAEjB,cAAc;;EAEd,WAAW;;EAEX,eAAe;;EAEf;;UAGe;;EAEf,SAAS;EACT,iBAAiB;;;;;EAKjB;;EAEA;;EAEA;;;;;;EAMA;;EAEA,WAAW,OAAO;;;;;;UAOH,+CAA+C;;EAE9D,OAAO;;;;;;EAMP;;;UAIe;EACf;EACA,eAAe;;EAEf,qBAAqB;;EAErB,MAAM;;EAEN;;;;;;;UAQe,8BAA8B;;EAE7C,iBAAiB;;;;;;;;EAQjB;;;;;EAKA,aAAa;;;;;;;;;;EAUb,cAAc;;EAEd,eAAe;;;;;;EAMf,cAAc,kBAAkB,iBAAiB;;EAEjD,YAAY;;;;;;;iBAeE,4BACd,UAAS,+BACR;;;;;;;;;;iBAamB,sCACpB,SAAS,yCACR,QAAQ;;;UC1NM;EACf;EACA;EACA;EACA;EACA;EACA;EACA;;iBAGc,UAAU,eAAe;;;;;;;;;cAoB5B;;;;;;;;iBASG,eAAe;iBAST,kBAAkB,eAAe,QAAQ;iBAqBzC,mBAAmB,eAAe,QAAQ;iBA0C1C,UAAU,cAAc,iBAAiB;;;;KCxGnD;UAEK;EACf,MAAM;EACN,QAAQ;;UAGO;EACf;EACA;EACA;;cAGW;UAEI;;EAEf;;EAEA,gBAAgB;;;;;EAKhB;;UAMe;;EAEf,KAAK,eAAe;IAAY;MAAgC,QAAQ;;EAExE,QAAQ,gBAAgB;;;;;;EAMxB,UAAU,gBAAgB,QAAQ;;iBAGpB,sBAAsB,SAAS,yBAAyB;;;cCxD3D,oBAAkB,EAAA;;;;;;;;;;;GAW7B,EAAA,KAAA;cAEW,oBAAkB,EAAA;;;;;;;;;;;;;;;;;;;;;;;GAY7B,EAAA,KAAA;cAEW,qBAAmB,EAAA;;;;;;;;;GAS9B,EAAA,KAAA;cAEW,0BAAwB,EAAA;;;;;;;;GAQnC,EAAA,KAAA;cAEW,0BAAwB,EAAA;;;;;GAKnC,EAAA,KAAA;cAEW,sBAAoB,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAS/B,EAAA,KAAA;cAEW,sBAAoB,EAAA;;;;;;;;;;;;;;;;GAU/B,EAAA,KAAA;cAEW,oBAAkB,EAAA;;;;;;;;;;;;GAY3B,EAAA,KAAA;cAES,2BAAyB,EAAA;;;;;;;;GAalC,EAAA,KAAA;cAES,6BAA2B,EAAA;;;;GAM7B,EAAA,KAAA;cAEE,6BAA2B,EAAA;;;;;;;;;GAcpC,EAAA,KAAA;cAES,2BAAyB,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgBlC,EAAA,KAAA;cAaS,8BAA4B,EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CvC,EAAA,KAAA;;;iBCjMc,gBACd,OAAO,gBACP,eACA,iBACC;iBA+Ba,cAAc;iBAiBd,qBAAqB,uBAAuB,aAAY;;;cC3E3D,gBAAc;iBAEX,iBAAiB;iBAYjB,oBAAoB;;;iBCRpB,oBAAoB,cAAc;iBAclC,0BACd,cACA,6BACC"}
|
package/dist/index.js
CHANGED
|
@@ -4067,22 +4067,12 @@ function mergeTinyChunks(chunks, opts) {
|
|
|
4067
4067
|
//#region src/claim-evidence.ts
|
|
4068
4068
|
/** The rung at and above which a claim must be machine-checkable to be recorded at that rung. */
|
|
4069
4069
|
const CHECKABLE_RUNG_THRESHOLD = 4;
|
|
4070
|
-
var UncheckableClaimError = class extends Error {
|
|
4071
|
-
constructor(rung) {
|
|
4072
|
-
super(`a claim at rung ${rung} asserts "a command reproduces a value" and must carry that command (evidence.check); without one it is a self-grade, which is rung 3 at most`);
|
|
4073
|
-
this.name = "UncheckableClaimError";
|
|
4074
|
-
}
|
|
4075
|
-
};
|
|
4076
4070
|
/**
|
|
4077
|
-
*
|
|
4078
|
-
*
|
|
4071
|
+
* The refusal vocabulary, shared by both boundaries. Record time and grade time refuse the same
|
|
4072
|
+
* three shapes for the same reasons, so they read from one detector and one set of notes. A
|
|
4073
|
+
* second definition would let the two boundaries drift, and a claim the recorder admitted but the
|
|
4074
|
+
* grader refuses is exactly the gap this section exists to close.
|
|
4079
4075
|
*/
|
|
4080
|
-
function assertGradeableEvidence(evidence) {
|
|
4081
|
-
if (evidence.rung >= 4 && !evidence.check) throw new UncheckableClaimError(evidence.rung);
|
|
4082
|
-
return evidence;
|
|
4083
|
-
}
|
|
4084
|
-
/** The error signatures that mean the check could not run, as opposed to ran and failed. */
|
|
4085
|
-
const UNRUNNABLE_SIGNATURES = /No such file|FileNotFoundError|ModuleNotFoundError|command not found|ENOENT/;
|
|
4086
4076
|
/** The commands that succeed unconditionally, so their exit code carries no information. */
|
|
4087
4077
|
const ALWAYS_SUCCEEDS = /* @__PURE__ */ new Set(["true", ":"]);
|
|
4088
4078
|
/** The commands that print their arguments back, so their output carries only their arguments. */
|
|
@@ -4116,10 +4106,46 @@ function isConstantEmitter(check) {
|
|
|
4116
4106
|
const argumentText = argumentStart === -1 ? "" : command.slice(argumentStart + 1);
|
|
4117
4107
|
return !READS_SOMETHING_ELSE.test(argumentText);
|
|
4118
4108
|
}
|
|
4119
|
-
const NO_CHECK_NOTE = "a claim at this rung asserts that a command reproduces a value, and no command was recorded";
|
|
4109
|
+
const NO_CHECK_NOTE = "a claim at this rung asserts that a command reproduces a value, and no command was recorded — record the command that re-establishes it (evidence.check); without one the claim is a self-grade, which is rung 3 at most";
|
|
4120
4110
|
const NO_EXPECTATION_NOTE = "exit code alone cannot verify a claim at this rung — record the value the check must print";
|
|
4121
4111
|
const CONSTANT_EMITTER_NOTE = "the check is a constant emitter: it prints a fixed string and exits zero whatever the claim describes, so it can never fail — record a command that reads the artifact the claim is about";
|
|
4122
4112
|
/**
|
|
4113
|
+
* The evidence recorded for a claim cannot be graded at the rung it was recorded at.
|
|
4114
|
+
*
|
|
4115
|
+
* One error type for the three refused shapes, because the grader reaches one verdict for all
|
|
4116
|
+
* three: `uncheckable`. `note` names which shape was refused and what to record instead, in the
|
|
4117
|
+
* same words the grader reports, so an author reads one message wherever the claim is stopped.
|
|
4118
|
+
*/
|
|
4119
|
+
var UncheckableClaimError = class extends Error {
|
|
4120
|
+
/** The rung whose evidence rule the recorded claim failed. */
|
|
4121
|
+
rung;
|
|
4122
|
+
/** The refused shape and the fix for it, in the grader's vocabulary. */
|
|
4123
|
+
note;
|
|
4124
|
+
constructor(rung, note) {
|
|
4125
|
+
super(`a claim at rung ${rung} cannot be recorded at that rung: ${note}`);
|
|
4126
|
+
this.name = "UncheckableClaimError";
|
|
4127
|
+
this.rung = rung;
|
|
4128
|
+
this.note = note;
|
|
4129
|
+
}
|
|
4130
|
+
};
|
|
4131
|
+
/**
|
|
4132
|
+
* Refuse the evidence shapes that made self-grading possible. Call at record time, not grade
|
|
4133
|
+
* time: by grading it is too late — the ungradeable claim has already circulated as verified.
|
|
4134
|
+
*
|
|
4135
|
+
* At and above `CHECKABLE_RUNG_THRESHOLD` this refuses exactly what `gradeFor` grades
|
|
4136
|
+
* `uncheckable`, in the same order and by the same tests: no check, a check that cannot fail, and
|
|
4137
|
+
* a check with no expected value to print. Below the threshold nothing is refused.
|
|
4138
|
+
*/
|
|
4139
|
+
function assertGradeableEvidence(evidence) {
|
|
4140
|
+
if (evidence.rung < 4) return evidence;
|
|
4141
|
+
if (!evidence.check) throw new UncheckableClaimError(evidence.rung, NO_CHECK_NOTE);
|
|
4142
|
+
if (isConstantEmitter(evidence.check)) throw new UncheckableClaimError(evidence.rung, CONSTANT_EMITTER_NOTE);
|
|
4143
|
+
if (!evidence.expect?.trim()) throw new UncheckableClaimError(evidence.rung, NO_EXPECTATION_NOTE);
|
|
4144
|
+
return evidence;
|
|
4145
|
+
}
|
|
4146
|
+
/** The error signatures that mean the check could not run, as opposed to ran and failed. */
|
|
4147
|
+
const UNRUNNABLE_SIGNATURES = /No such file|FileNotFoundError|ModuleNotFoundError|command not found|ENOENT/;
|
|
4148
|
+
/**
|
|
4123
4149
|
* The calibrated verdict function, pure so every grader shares one semantics. Callers execute the
|
|
4124
4150
|
* check however their environment requires and pass the observation; this function only judges.
|
|
4125
4151
|
*
|