supercov 0.0.43 → 0.0.44
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 +2 -2
- package/analyzers/typescript/README.md +4 -0
- package/analyzers/typescript/bin/identity.mjs +4 -0
- package/analyzers/typescript/dist/analyze.js +1352 -51
- package/analyzers/typescript/dist/archive.js +31 -3
- package/analyzers/typescript/dist/awaited-observations.js +376 -0
- package/analyzers/typescript/dist/build-identity.json +1 -1
- package/analyzers/typescript/dist/mock-counts.js +2517 -0
- package/analyzers/typescript/dist/pragmas.js +59 -16
- package/analyzers/typescript/src/analyze.ts +1738 -96
- package/analyzers/typescript/src/archive.ts +36 -3
- package/analyzers/typescript/src/awaited-observations.ts +561 -0
- package/analyzers/typescript/src/mock-counts.ts +3219 -0
- package/analyzers/typescript/src/pragmas.ts +90 -24
- package/docs/agent-loop.md +116 -31
- package/docs/assertion-evidence.md +560 -1
- package/docs/cli.md +15 -15
- package/docs/code-verification.md +3 -181
- package/docs/coverage-model.md +6 -6
- package/docs/evidence.md +6 -6
- package/docs/getting-started.md +60 -72
- package/docs/performance.md +4 -4
- package/docs/troubleshooting.md +8 -8
- package/docs/verification.md +2 -2
- package/docs/workspace-isolation.md +1 -1
- package/package.json +11 -9
- package/runtime/javascript/nodeAssertAdapter.mjs +32 -8
- package/runtime/javascript/nodeTest.mjs +13 -5
- package/runtime/javascript/runnerEvidence.mjs +33 -11
- package/runtime/javascript/runtime.mjs +22 -3
package/README.md
CHANGED
|
@@ -10,8 +10,8 @@ No account, config file, import, custom reporter, or hosted service is required.
|
|
|
10
10
|
|
|
11
11
|
Supported by [Supercorp](https://supercorp.ai).
|
|
12
12
|
|
|
13
|
-
[
|
|
14
|
-
|
|
13
|
+
[Agent workflow](https://supercov.com/docs/agent-loop): ask your coding agent
|
|
14
|
+
to add a test in your own project, with a recorded example to follow along.
|
|
15
15
|
|
|
16
16
|
## Start with the suite you already have
|
|
17
17
|
|
|
@@ -18,6 +18,10 @@ pragma syntax, report interpretation and supported scope.
|
|
|
18
18
|
ownership, then constructs query-local evidence in memory.
|
|
19
19
|
- `src/analyze.ts` extracts source-flow facts and exact assertion witnesses.
|
|
20
20
|
The Rust engine joins those facts into candidate classifications.
|
|
21
|
+
- `src/mock-counts.ts` models bounded synchronous console-mock count histories,
|
|
22
|
+
keeping count evidence separate from general value-protection claims.
|
|
23
|
+
- `src/awaited-observations.ts` recognizes bounded native child-capture/poll
|
|
24
|
+
source patterns for hint attachment, without manufacturing runtime witnesses.
|
|
21
25
|
- `src/frontend.ts` and `src/native-frontend.ts` implement the legacy and native
|
|
22
26
|
TypeScript compiler boundaries. `src/pragmas.ts` validates optional hints.
|
|
23
27
|
|
|
@@ -7,11 +7,13 @@ const root = resolve(import.meta.dirname, "..");
|
|
|
7
7
|
const sources = [
|
|
8
8
|
"src/analyze.ts",
|
|
9
9
|
"src/archive.ts",
|
|
10
|
+
"src/awaited-observations.ts",
|
|
10
11
|
"src/compiler.ts",
|
|
11
12
|
"src/frontend.ts",
|
|
12
13
|
"src/native-frontend.ts",
|
|
13
14
|
"src/types.ts",
|
|
14
15
|
"src/pragmas.ts",
|
|
16
|
+
"src/mock-counts.ts",
|
|
15
17
|
"bin/query.mjs",
|
|
16
18
|
"bin/compiler-identity.mjs",
|
|
17
19
|
"bin/identity.mjs",
|
|
@@ -23,11 +25,13 @@ const sources = [
|
|
|
23
25
|
const outputs = [
|
|
24
26
|
"dist/analyze.js",
|
|
25
27
|
"dist/archive.js",
|
|
28
|
+
"dist/awaited-observations.js",
|
|
26
29
|
"dist/compiler.js",
|
|
27
30
|
"dist/frontend.js",
|
|
28
31
|
"dist/native-frontend.js",
|
|
29
32
|
"dist/types.js",
|
|
30
33
|
"dist/pragmas.js",
|
|
34
|
+
"dist/mock-counts.js",
|
|
31
35
|
];
|
|
32
36
|
function digest(files) {
|
|
33
37
|
const hash = createHash("sha256");
|