@agenticprimitives/devkit 0.0.0-alpha.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 -0
- package/README.md +62 -0
- package/bin/ap.mjs +119 -0
- package/dist/config.d.ts +130 -0
- package/dist/config.d.ts.map +1 -0
- package/dist/config.js +128 -0
- package/dist/config.js.map +1 -0
- package/dist/dispatch.d.ts +44 -0
- package/dist/dispatch.d.ts.map +1 -0
- package/dist/dispatch.js +43 -0
- package/dist/dispatch.js.map +1 -0
- package/dist/doctor.d.ts +21 -0
- package/dist/doctor.d.ts.map +1 -0
- package/dist/doctor.js +71 -0
- package/dist/doctor.js.map +1 -0
- package/dist/errors.d.ts +37 -0
- package/dist/errors.d.ts.map +1 -0
- package/dist/errors.js +35 -0
- package/dist/errors.js.map +1 -0
- package/dist/fs.d.ts +20 -0
- package/dist/fs.d.ts.map +1 -0
- package/dist/fs.js +54 -0
- package/dist/fs.js.map +1 -0
- package/dist/index.d.ts +24 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +19 -0
- package/dist/index.js.map +1 -0
- package/dist/lock.d.ts +18 -0
- package/dist/lock.d.ts.map +1 -0
- package/dist/lock.js +15 -0
- package/dist/lock.js.map +1 -0
- package/dist/redact.d.ts +2 -0
- package/dist/redact.d.ts.map +1 -0
- package/dist/redact.js +14 -0
- package/dist/redact.js.map +1 -0
- package/dist/rules/archetype-catalog.d.ts +4 -0
- package/dist/rules/archetype-catalog.d.ts.map +1 -0
- package/dist/rules/archetype-catalog.js +48 -0
- package/dist/rules/archetype-catalog.js.map +1 -0
- package/dist/rules/capability-vocabulary.d.ts +4 -0
- package/dist/rules/capability-vocabulary.d.ts.map +1 -0
- package/dist/rules/capability-vocabulary.js +56 -0
- package/dist/rules/capability-vocabulary.js.map +1 -0
- package/dist/rules/custodian-coverage.d.ts +4 -0
- package/dist/rules/custodian-coverage.d.ts.map +1 -0
- package/dist/rules/custodian-coverage.js +47 -0
- package/dist/rules/custodian-coverage.js.map +1 -0
- package/dist/rules/demo-person-org-distinct.d.ts +4 -0
- package/dist/rules/demo-person-org-distinct.d.ts.map +1 -0
- package/dist/rules/demo-person-org-distinct.js +26 -0
- package/dist/rules/demo-person-org-distinct.js.map +1 -0
- package/dist/rules/fail-open-knobs.d.ts +4 -0
- package/dist/rules/fail-open-knobs.d.ts.map +1 -0
- package/dist/rules/fail-open-knobs.js +64 -0
- package/dist/rules/fail-open-knobs.js.map +1 -0
- package/dist/rules/index.d.ts +10 -0
- package/dist/rules/index.d.ts.map +1 -0
- package/dist/rules/index.js +29 -0
- package/dist/rules/index.js.map +1 -0
- package/dist/rules/internal-marker-split.d.ts +4 -0
- package/dist/rules/internal-marker-split.d.ts.map +1 -0
- package/dist/rules/internal-marker-split.js +31 -0
- package/dist/rules/internal-marker-split.js.map +1 -0
- package/dist/rules/lock-coherent.d.ts +4 -0
- package/dist/rules/lock-coherent.d.ts.map +1 -0
- package/dist/rules/lock-coherent.js +39 -0
- package/dist/rules/lock-coherent.js.map +1 -0
- package/dist/rules/no-cross-subject-vault-reads.d.ts +4 -0
- package/dist/rules/no-cross-subject-vault-reads.d.ts.map +1 -0
- package/dist/rules/no-cross-subject-vault-reads.js +35 -0
- package/dist/rules/no-cross-subject-vault-reads.js.map +1 -0
- package/dist/rules/no-hmac-home-bridge.d.ts +4 -0
- package/dist/rules/no-hmac-home-bridge.d.ts.map +1 -0
- package/dist/rules/no-hmac-home-bridge.js +40 -0
- package/dist/rules/no-hmac-home-bridge.js.map +1 -0
- package/dist/rules/no-private-keys.d.ts +4 -0
- package/dist/rules/no-private-keys.d.ts.map +1 -0
- package/dist/rules/no-private-keys.js +45 -0
- package/dist/rules/no-private-keys.js.map +1 -0
- package/dist/rules/rules-drift.d.ts +4 -0
- package/dist/rules/rules-drift.d.ts.map +1 -0
- package/dist/rules/rules-drift.js +46 -0
- package/dist/rules/rules-drift.js.map +1 -0
- package/dist/rules/types.d.ts +50 -0
- package/dist/rules/types.d.ts.map +1 -0
- package/dist/rules/types.js +2 -0
- package/dist/rules/types.js.map +1 -0
- package/dist/rules/web-no-direct-mcp.d.ts +4 -0
- package/dist/rules/web-no-direct-mcp.d.ts.map +1 -0
- package/dist/rules/web-no-direct-mcp.js +37 -0
- package/dist/rules/web-no-direct-mcp.js.map +1 -0
- package/dist/rules-projection.d.ts +58 -0
- package/dist/rules-projection.d.ts.map +1 -0
- package/dist/rules-projection.js +135 -0
- package/dist/rules-projection.js.map +1 -0
- package/dist/upgrade.d.ts +37 -0
- package/dist/upgrade.d.ts.map +1 -0
- package/dist/upgrade.js +116 -0
- package/dist/upgrade.js.map +1 -0
- package/dist/workspace.d.ts +18 -0
- package/dist/workspace.d.ts.map +1 -0
- package/dist/workspace.js +56 -0
- package/dist/workspace.js.map +1 -0
- package/package.json +73 -0
- package/rules/coordination-vs-orchestration.md +31 -0
- package/rules/demo-person-org-distinct.md +40 -0
- package/rules/external-registry-integrations.md +15 -0
- package/rules/hard-rules.md +50 -0
- package/rules/one-capability-model-generates-both.md +82 -0
- package/rules/ontology-drives-behavior.md +58 -0
- package/rules/service-agent-signing.md +84 -0
- package/rules/sidecar.json +13 -0
- package/rules/skill-terminology.md +76 -0
- package/rules/vault-and-ontology.md +8 -0
- package/rules/vault-records-are-ontology-shaped.md +85 -0
- package/spec.md +11 -0
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
export const demoPersonOrgDistinct = {
|
|
2
|
+
id: 'demo-person-org-distinct',
|
|
3
|
+
spec: 'ADR-0046',
|
|
4
|
+
twin: 'check:demo-person-org-distinct',
|
|
5
|
+
describe: 'a person SA is never also their organization SA',
|
|
6
|
+
run(ctx, cfg) {
|
|
7
|
+
if (!ctx.exists(cfg.roster))
|
|
8
|
+
return { status: 'error', summary: `roster ${cfg.roster} is missing`, findings: [{ file: cfg.roster, message: 'roster of record not found', tag: 'missing' }] };
|
|
9
|
+
const roster = JSON.parse(ctx.read(cfg.roster));
|
|
10
|
+
const findings = [];
|
|
11
|
+
for (const [handle, p] of Object.entries(roster)) {
|
|
12
|
+
const person = (p.sa ?? '').toLowerCase();
|
|
13
|
+
if (!/^0x[0-9a-f]{40}$/.test(person)) {
|
|
14
|
+
findings.push({ file: cfg.roster, message: `${handle}: persona.sa is not an address`, tag: 'shape' });
|
|
15
|
+
continue;
|
|
16
|
+
}
|
|
17
|
+
for (const org of p.custodies ?? []) {
|
|
18
|
+
const sa = (org.sa ?? '').toLowerCase();
|
|
19
|
+
if (sa && sa === person)
|
|
20
|
+
findings.push({ file: cfg.roster, message: `${handle}: org "${org.name ?? sa}" reuses the person SA — deploy a distinct org`, tag: 'reuse' });
|
|
21
|
+
}
|
|
22
|
+
}
|
|
23
|
+
return { summary: findings.length ? `${findings.length} persona(s) reuse a person SA as an org` : `${Object.keys(roster).length} personas, every org SA distinct`, findings };
|
|
24
|
+
},
|
|
25
|
+
};
|
|
26
|
+
//# sourceMappingURL=demo-person-org-distinct.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"demo-person-org-distinct.js","sourceRoot":"","sources":["../../src/rules/demo-person-org-distinct.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,qBAAqB,GAAsD;IACtF,EAAE,EAAE,0BAA0B;IAC9B,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,gCAAgC;IACtC,QAAQ,EAAE,iDAAiD;IAC3D,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,GAAG,CAAC,MAAM,aAAa,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,4BAA4B,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QAC7L,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAW,CAAC;QAC1D,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,gCAAgC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC1J,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;gBACxC,IAAI,EAAE,IAAI,EAAE,KAAK,MAAM;oBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,UAAU,GAAG,CAAC,IAAI,IAAI,EAAE,gDAAgD,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;YACzK,CAAC;QACH,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,kCAAkC,EAAE,QAAQ,EAAE,CAAC;IAChL,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fail-open-knobs.d.ts","sourceRoot":"","sources":["../../src/rules/fail-open-knobs.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAqB1D,eAAO,MAAM,aAAa,EAAE,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,CAgCnE,CAAC"}
|
|
@@ -0,0 +1,64 @@
|
|
|
1
|
+
const KNOBS = [
|
|
2
|
+
{ id: 'allowUnboundSessionToken', re: /allowUnboundSessionToken:\s*true/, what: 'accepts an UNBOUND (non-DEL-001) session token' },
|
|
3
|
+
{ id: 'allowUnsignedGrant', re: /allowUnsignedGrant:\s*true/, what: 'accepts a DecryptGrant with no signature verifier' },
|
|
4
|
+
{ id: 'allowUnboundGrant', re: /allowUnboundGrant:\s*true/, what: 'accepts a grant with no delegation-hash binding' },
|
|
5
|
+
{ id: 'allowUnsignedMandate', re: /allowUnsignedMandate:\s*true/, what: 'settles a payment with no mandate signature' },
|
|
6
|
+
{ id: 'revocationFailMode-open', re: /revocationFailMode:\s*'open'/, what: 'tolerates an unconfirmable revocation read' },
|
|
7
|
+
{ id: 'requireDeployed-false', re: /requireDeployed:\s*false/, what: 'verifies a counterfactual (undeployed) delegator' },
|
|
8
|
+
{ id: 'allowUnresolvedStatus', re: /allowUnresolvedStatus:\s*true/, what: 'accepts a status-bearing VC without resolving revocation' },
|
|
9
|
+
{ id: 'developmentMode', re: /developmentMode:\s*true/, what: 'skips the connect-auth iss/aud production gate' },
|
|
10
|
+
];
|
|
11
|
+
const ENV_KNOBS = [
|
|
12
|
+
{ id: 'DEMO_OAUTH_MINT_ENABLED', re: /^\s*DEMO_OAUTH_MINT_ENABLED\s*=\s*"true"/, what: 'enables an open token demo mint' },
|
|
13
|
+
{ id: 'DEMO_VAULT_PROVISION_ENABLED', re: /^\s*DEMO_VAULT_PROVISION_ENABLED\s*=\s*"true"/, what: 'registers the admin-credential KEK provision route' },
|
|
14
|
+
{ id: 'DEMO_VAULT_PROVISION_SKIP_PROOF', re: /^\s*DEMO_VAULT_PROVISION_SKIP_PROOF\s*=\s*"true"/, what: 'skips the owner-control proof on the KEK provision route' },
|
|
15
|
+
{ id: 'skip-proof-generic', re: /^\s*\w*_SKIP_(PROOF|AUTH|SIG\w*)\s*=\s*"true"/, what: 'a *_SKIP_PROOF/_AUTH env flag disabling an authority check' },
|
|
16
|
+
{ id: 'bypass-generic', re: /^\s*\w*_BYPASS\w*\s*=\s*"true"/, what: 'a *_BYPASS env flag disabling a gate' },
|
|
17
|
+
];
|
|
18
|
+
const SKIP = new Set(['node_modules', 'dist', '.wrangler']);
|
|
19
|
+
export const failOpenKnobs = {
|
|
20
|
+
id: 'fail-open-knobs',
|
|
21
|
+
spec: 'ADR-0045',
|
|
22
|
+
twin: 'check:fail-open-knobs',
|
|
23
|
+
describe: 'every fail-open knob is allow-listed by name with a reason',
|
|
24
|
+
run(ctx, cfg) {
|
|
25
|
+
const found = [];
|
|
26
|
+
let scanned = 0;
|
|
27
|
+
for (const root of cfg.roots) {
|
|
28
|
+
for (const abs of ctx.walk(root, { skipDirs: SKIP, file: (n) => (/\.(ts|tsx|mjs)$/.test(n) && !/\.test\.|\.spec\./.test(n)) || n === 'wrangler.toml' })) {
|
|
29
|
+
scanned += 1;
|
|
30
|
+
const file = ctx.rel(abs);
|
|
31
|
+
const isToml = file.endsWith('wrangler.toml');
|
|
32
|
+
ctx.read(file).split('\n').forEach((ln, i) => {
|
|
33
|
+
const t = ln.trimStart();
|
|
34
|
+
if (isToml) {
|
|
35
|
+
if (t.startsWith('#'))
|
|
36
|
+
return;
|
|
37
|
+
for (const k of ENV_KNOBS)
|
|
38
|
+
if (k.re.test(ln)) {
|
|
39
|
+
found.push({ file, knob: k.id, line: i + 1, what: k.what });
|
|
40
|
+
break;
|
|
41
|
+
}
|
|
42
|
+
return;
|
|
43
|
+
}
|
|
44
|
+
if (t.startsWith('//') || t.startsWith('*'))
|
|
45
|
+
return;
|
|
46
|
+
for (const k of KNOBS)
|
|
47
|
+
if (k.re.test(ln))
|
|
48
|
+
found.push({ file, knob: k.id, line: i + 1, what: k.what });
|
|
49
|
+
});
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
const allowed = (file, knob) => cfg.allowlist.some((a) => a.file === file && a.knob === knob);
|
|
53
|
+
const findings = [];
|
|
54
|
+
for (const f of found)
|
|
55
|
+
if (!allowed(f.file, f.knob))
|
|
56
|
+
findings.push({ file: f.file, line: f.line, message: `${f.knob} — ${f.what} (not allow-listed)`, tag: f.knob });
|
|
57
|
+
const used = new Set(found.map((f) => `${f.file}::${f.knob}`));
|
|
58
|
+
for (const a of cfg.allowlist)
|
|
59
|
+
if (!used.has(`${a.file}::${a.knob}`))
|
|
60
|
+
findings.push({ file: a.file, message: `${a.knob} — STALE allow-list entry, the knob is no longer present (tighten the allow-list)`, tag: 'stale' });
|
|
61
|
+
return { summary: findings.length ? `${findings.length} un-allow-listed or stale knob(s)` : `${scanned} files, ${found.length} knob occurrence(s), all allow-listed`, findings };
|
|
62
|
+
},
|
|
63
|
+
};
|
|
64
|
+
//# sourceMappingURL=fail-open-knobs.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fail-open-knobs.js","sourceRoot":"","sources":["../../src/rules/fail-open-knobs.ts"],"names":[],"mappings":"AAMA,MAAM,KAAK,GAA4D;IACrE,EAAE,EAAE,EAAE,0BAA0B,EAAE,EAAE,EAAE,kCAAkC,EAAE,IAAI,EAAE,gDAAgD,EAAE;IAClI,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,4BAA4B,EAAE,IAAI,EAAE,mDAAmD,EAAE;IACzH,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,2BAA2B,EAAE,IAAI,EAAE,iDAAiD,EAAE;IACrH,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,8BAA8B,EAAE,IAAI,EAAE,6CAA6C,EAAE;IACvH,EAAE,EAAE,EAAE,yBAAyB,EAAE,EAAE,EAAE,8BAA8B,EAAE,IAAI,EAAE,4CAA4C,EAAE;IACzH,EAAE,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,0BAA0B,EAAE,IAAI,EAAE,kDAAkD,EAAE;IACzH,EAAE,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,+BAA+B,EAAE,IAAI,EAAE,0DAA0D,EAAE;IACtI,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,gDAAgD,EAAE;CACjH,CAAC;AACF,MAAM,SAAS,GAA4D;IACzE,EAAE,EAAE,EAAE,yBAAyB,EAAE,EAAE,EAAE,0CAA0C,EAAE,IAAI,EAAE,iCAAiC,EAAE;IAC1H,EAAE,EAAE,EAAE,8BAA8B,EAAE,EAAE,EAAE,+CAA+C,EAAE,IAAI,EAAE,oDAAoD,EAAE;IACvJ,EAAE,EAAE,EAAE,iCAAiC,EAAE,EAAE,EAAE,kDAAkD,EAAE,IAAI,EAAE,0DAA0D,EAAE;IACnK,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,+CAA+C,EAAE,IAAI,EAAE,4DAA4D,EAAE;IACrJ,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,gCAAgC,EAAE,IAAI,EAAE,sCAAsC,EAAE;CAC7G,CAAC;AACF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAE5D,MAAM,CAAC,MAAM,aAAa,GAA8C;IACtE,EAAE,EAAE,iBAAiB;IACrB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,uBAAuB;IAC7B,QAAQ,EAAE,4DAA4D;IACtE,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,KAAK,GAAsE,EAAE,CAAC;QACpF,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,eAAe,EAAE,CAAC,EAAE,CAAC;gBACxJ,OAAO,IAAI,CAAC,CAAC;gBACb,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;gBAC9C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBAC3C,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;oBACzB,IAAI,MAAM,EAAE,CAAC;wBACX,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;4BAAE,OAAO;wBAC9B,KAAK,MAAM,CAAC,IAAI,SAAS;4BAAE,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gCAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gCAAC,MAAM;4BAAC,CAAC;wBACrH,OAAO;oBACT,CAAC;oBACD,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;wBAAE,OAAO;oBACpD,KAAK,MAAM,CAAC,IAAI,KAAK;wBAAE,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;4BAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxG,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9G,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,qBAAqB,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACrK,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,mFAAmF,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3N,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,mCAAmC,CAAC,CAAC,CAAC,GAAG,OAAO,WAAW,KAAK,CAAC,MAAM,uCAAuC,EAAE,QAAQ,EAAE,CAAC;IACnL,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import type { DoctorConfig } from '../config.js';
|
|
2
|
+
import type { DoctorRule } from './types.js';
|
|
3
|
+
/** A rule paired with the config section it reads. */
|
|
4
|
+
export interface RegisteredRule<K extends keyof DoctorConfig = keyof DoctorConfig> {
|
|
5
|
+
rule: DoctorRule<DoctorConfig[K]>;
|
|
6
|
+
section: K;
|
|
7
|
+
}
|
|
8
|
+
export declare const DOCTOR_RULES: ReadonlyArray<RegisteredRule>;
|
|
9
|
+
export declare const RULE_IDS: readonly string[];
|
|
10
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAajD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,sDAAsD;AACtD,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM,YAAY,GAAG,MAAM,YAAY;IAAI,IAAI,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,OAAO,EAAE,CAAC,CAAA;CAAE;AAIpI,eAAO,MAAM,YAAY,EAAE,aAAa,CAAC,cAAc,CAarB,CAAC;AAEnC,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAAuC,CAAC"}
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
import { webNoDirectMcp } from './web-no-direct-mcp.js';
|
|
2
|
+
import { noPrivateKeys } from './no-private-keys.js';
|
|
3
|
+
import { noHmacHomeBridge } from './no-hmac-home-bridge.js';
|
|
4
|
+
import { noCrossSubjectVaultReads } from './no-cross-subject-vault-reads.js';
|
|
5
|
+
import { failOpenKnobs } from './fail-open-knobs.js';
|
|
6
|
+
import { internalMarkerSplit } from './internal-marker-split.js';
|
|
7
|
+
import { custodianCoverage } from './custodian-coverage.js';
|
|
8
|
+
import { archetypeCatalog } from './archetype-catalog.js';
|
|
9
|
+
import { capabilityVocabulary } from './capability-vocabulary.js';
|
|
10
|
+
import { demoPersonOrgDistinct } from './demo-person-org-distinct.js';
|
|
11
|
+
import { rulesDrift } from './rules-drift.js';
|
|
12
|
+
import { lockCoherent } from './lock-coherent.js';
|
|
13
|
+
const entry = (rule, section) => ({ rule, section });
|
|
14
|
+
export const DOCTOR_RULES = [
|
|
15
|
+
entry(webNoDirectMcp, 'webNoDirectMcp'),
|
|
16
|
+
entry(noPrivateKeys, 'noPrivateKeys'),
|
|
17
|
+
entry(noHmacHomeBridge, 'noHmacHomeBridge'),
|
|
18
|
+
entry(noCrossSubjectVaultReads, 'noCrossSubjectVaultReads'),
|
|
19
|
+
entry(failOpenKnobs, 'failOpenKnobs'),
|
|
20
|
+
entry(internalMarkerSplit, 'internalMarkerSplit'),
|
|
21
|
+
entry(custodianCoverage, 'custodianCoverage'),
|
|
22
|
+
entry(archetypeCatalog, 'archetypeCatalog'),
|
|
23
|
+
entry(capabilityVocabulary, 'capabilityVocabulary'),
|
|
24
|
+
entry(demoPersonOrgDistinct, 'demoPersonOrgDistinct'),
|
|
25
|
+
entry(rulesDrift, 'rulesDrift'),
|
|
26
|
+
entry(lockCoherent, 'lockCoherent'),
|
|
27
|
+
];
|
|
28
|
+
export const RULE_IDS = DOCTOR_RULES.map((r) => r.rule.id);
|
|
29
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAMlD,MAAM,KAAK,GAAG,CAA+B,IAAiC,EAAE,OAAU,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAEtI,MAAM,CAAC,MAAM,YAAY,GAAkC;IACzD,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC;IACvC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC;IACrC,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IAC3C,KAAK,CAAC,wBAAwB,EAAE,0BAA0B,CAAC;IAC3D,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC;IACrC,KAAK,CAAC,mBAAmB,EAAE,qBAAqB,CAAC;IACjD,KAAK,CAAC,iBAAiB,EAAE,mBAAmB,CAAC;IAC7C,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IAC3C,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;IACnD,KAAK,CAAC,qBAAqB,EAAE,uBAAuB,CAAC;IACrD,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC;IAC/B,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC;CACH,CAAC;AAEnC,MAAM,CAAC,MAAM,QAAQ,GAAsB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"internal-marker-split.d.ts","sourceRoot":"","sources":["../../src/rules/internal-marker-split.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAE1D,eAAO,MAAM,mBAAmB,EAAE,UAAU,CAAC,YAAY,CAAC,qBAAqB,CAAC,CA0B/E,CAAC"}
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
export const internalMarkerSplit = {
|
|
2
|
+
id: 'internal-marker-split',
|
|
3
|
+
spec: 'spec 341 §7',
|
|
4
|
+
twin: 'check:internal-marker-split',
|
|
5
|
+
describe: 'the in-Worker marker and the custody secret stay separate',
|
|
6
|
+
run(ctx, cfg) {
|
|
7
|
+
const findings = [];
|
|
8
|
+
const reads = new Map();
|
|
9
|
+
const secretRe = new RegExp(cfg.secret.replace(/[.*+?^${}()|[\]\\]/g, '\\$&'));
|
|
10
|
+
const markerRe = new RegExp(`'${cfg.marker}'\\s*:`);
|
|
11
|
+
for (const abs of ctx.walk(cfg.src, { skipDirs: new Set(), file: (n) => n.endsWith('.ts') })) {
|
|
12
|
+
const name = abs.slice(ctx.abs(cfg.src).length + 1);
|
|
13
|
+
const file = ctx.rel(abs);
|
|
14
|
+
ctx.read(file).split('\n').forEach((text, i) => {
|
|
15
|
+
if (markerRe.test(text) && secretRe.test(text))
|
|
16
|
+
findings.push({ file, line: i + 1, message: 'marker header built from the CUSTODY secret', tag: 'merged' });
|
|
17
|
+
const t = text.trimStart();
|
|
18
|
+
if (secretRe.test(text) && !/\?:\s*string/.test(text) && !t.startsWith('//') && !t.startsWith('*'))
|
|
19
|
+
reads.set(name, [...(reads.get(name) ?? []), { line: i + 1 }]);
|
|
20
|
+
});
|
|
21
|
+
}
|
|
22
|
+
for (const [name, sites] of reads) {
|
|
23
|
+
const b = cfg.budget[name] ?? 0;
|
|
24
|
+
const budget = b === 'unbounded' ? Number.POSITIVE_INFINITY : b;
|
|
25
|
+
if (sites.length > budget)
|
|
26
|
+
findings.push({ file: `${cfg.src}/${name}`, message: `${sites.length} custody-secret read(s), budget ${b} (lines ${sites.map((s) => s.line).join(', ')})`, tag: 'budget' });
|
|
27
|
+
}
|
|
28
|
+
return { summary: findings.length ? `${findings.length} marker/secret problem(s)` : 'the in-Worker marker and the custody secret are separate', findings };
|
|
29
|
+
},
|
|
30
|
+
};
|
|
31
|
+
//# sourceMappingURL=internal-marker-split.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"internal-marker-split.js","sourceRoot":"","sources":["../../src/rules/internal-marker-split.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,mBAAmB,GAAoD;IAClF,EAAE,EAAE,uBAAuB;IAC3B,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,6BAA6B;IACnC,QAAQ,EAAE,2DAA2D;IACrE,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;QACzD,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7F,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACpD,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC7C,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,6CAA6C,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC5J,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC3B,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACrK,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,mCAAmC,CAAC,WAAW,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzM,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,2BAA2B,CAAC,CAAC,CAAC,0DAA0D,EAAE,QAAQ,EAAE,CAAC;IAC7J,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"lock-coherent.d.ts","sourceRoot":"","sources":["../../src/rules/lock-coherent.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAK1D,eAAO,MAAM,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,CA6BjE,CAAC"}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
import { workspaceManifests } from '../workspace.js';
|
|
2
|
+
const EXACT = /^\d+\.\d+\.\d+(-[0-9A-Za-z.-]+)?$/;
|
|
3
|
+
export const lockCoherent = {
|
|
4
|
+
id: 'lock-coherent',
|
|
5
|
+
spec: 'spec 399 §3.1 / §5.2',
|
|
6
|
+
describe: 'every @agenticprimitives/* pin is exact and the set is coherent',
|
|
7
|
+
run(ctx, cfg) {
|
|
8
|
+
const findings = [];
|
|
9
|
+
const seen = new Map(); // dep → version → manifests
|
|
10
|
+
let pins = 0;
|
|
11
|
+
for (const m of workspaceManifests(ctx.root)) {
|
|
12
|
+
for (const field of ['dependencies', 'devDependencies', 'peerDependencies', 'optionalDependencies']) {
|
|
13
|
+
for (const [dep, spec] of Object.entries(m.json[field] ?? {})) {
|
|
14
|
+
if (!dep.startsWith(cfg.scope))
|
|
15
|
+
continue;
|
|
16
|
+
pins += 1;
|
|
17
|
+
if (spec.startsWith('workspace:')) {
|
|
18
|
+
if (!cfg.allowWorkspace)
|
|
19
|
+
findings.push({ file: m.file, message: `${dep}: workspace alias "${spec}" — a product repo pins a published exact version (ADR-0063 §2)`, tag: 'workspace' });
|
|
20
|
+
continue;
|
|
21
|
+
}
|
|
22
|
+
if (!EXACT.test(spec)) {
|
|
23
|
+
findings.push({ file: m.file, message: `${dep}: "${spec}" is a range, not an exact version`, tag: 'range' });
|
|
24
|
+
continue;
|
|
25
|
+
}
|
|
26
|
+
const byVersion = seen.get(dep) ?? new Map();
|
|
27
|
+
byVersion.set(spec, [...(byVersion.get(spec) ?? []), m.file]);
|
|
28
|
+
seen.set(dep, byVersion);
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
for (const [dep, byVersion] of seen) {
|
|
33
|
+
if (byVersion.size > 1)
|
|
34
|
+
findings.push({ message: `${dep}: pinned at ${byVersion.size} different versions (${[...byVersion.entries()].map(([v, fs]) => `${v} in ${fs.join(', ')}`).join('; ')}) — one coherent set`, tag: 'incoherent' });
|
|
35
|
+
}
|
|
36
|
+
return { summary: findings.length ? `${findings.length} pin problem(s)` : `${pins} scoped pin(s), exact and coherent`, findings };
|
|
37
|
+
},
|
|
38
|
+
};
|
|
39
|
+
//# sourceMappingURL=lock-coherent.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"lock-coherent.js","sourceRoot":"","sources":["../../src/rules/lock-coherent.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,KAAK,GAAG,mCAAmC,CAAC;AAElD,MAAM,CAAC,MAAM,YAAY,GAA6C;IACpE,EAAE,EAAE,eAAe;IACnB,IAAI,EAAE,sBAAsB;IAC5B,QAAQ,EAAE,iEAAiE;IAC3E,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiC,CAAC,CAAC,4BAA4B;QACnF,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,CAAC,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,sBAAsB,CAAU,EAAE,CAAC;gBAC7G,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,SAAS;oBACzC,IAAI,IAAI,CAAC,CAAC;oBACV,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;wBAClC,IAAI,CAAC,GAAG,CAAC,cAAc;4BAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,sBAAsB,IAAI,iEAAiE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;wBACvL,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,MAAM,IAAI,oCAAoC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;wBAAC,SAAS;oBAAC,CAAC;oBAClJ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAoB,CAAC;oBAC/D,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC9D,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;YACpC,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,eAAe,SAAS,CAAC,IAAI,wBAAwB,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;QAC3O,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,iBAAiB,CAAC,CAAC,CAAC,GAAG,IAAI,oCAAoC,EAAE,QAAQ,EAAE,CAAC;IACpI,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"no-cross-subject-vault-reads.d.ts","sourceRoot":"","sources":["../../src/rules/no-cross-subject-vault-reads.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAI1D,eAAO,MAAM,wBAAwB,EAAE,UAAU,CAAC,YAAY,CAAC,0BAA0B,CAAC,CAyBzF,CAAC"}
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
import { stripComments } from '../fs.js';
|
|
2
|
+
const READS = /\b(readRecords|readSubjectRecord|survey|interactionsOp|directory|readInbox|vaultGet|queryRecords)\s*[(?.]/;
|
|
3
|
+
export const noCrossSubjectVaultReads = {
|
|
4
|
+
id: 'no-cross-subject-vault-reads',
|
|
5
|
+
spec: 'spec 366 R3',
|
|
6
|
+
twin: 'check:no-cross-subject-vault-reads',
|
|
7
|
+
describe: 'a read tool reads only at its own subject',
|
|
8
|
+
run(ctx, cfg) {
|
|
9
|
+
const findings = [];
|
|
10
|
+
const gateRe = new RegExp(`\\b${cfg.gate}\\(`);
|
|
11
|
+
let checked = 0;
|
|
12
|
+
for (const root of cfg.roots) {
|
|
13
|
+
if (!ctx.exists(root))
|
|
14
|
+
continue;
|
|
15
|
+
for (const abs of ctx.walk(root, { file: (n) => n.endsWith('.ts') && !n.endsWith('.test.ts') })) {
|
|
16
|
+
const file = ctx.rel(abs);
|
|
17
|
+
if (abs.slice(ctx.abs(root).length + 1).includes('/'))
|
|
18
|
+
continue; // top level of the root only, like the twin
|
|
19
|
+
const name = file.split('/').pop() ?? '';
|
|
20
|
+
if (cfg.exemptFiles.includes(name))
|
|
21
|
+
continue;
|
|
22
|
+
const src = stripComments(ctx.read(file));
|
|
23
|
+
if (!/^\s*subject:\s*'[a-zA-Z]+'/m.test(src))
|
|
24
|
+
continue;
|
|
25
|
+
if (!READS.test(src))
|
|
26
|
+
continue;
|
|
27
|
+
checked += 1;
|
|
28
|
+
if (!gateRe.test(src))
|
|
29
|
+
findings.push({ file, message: `declares a subject and reads records, but never passes the subject through ${cfg.gate}()`, tag: 'cross-subject' });
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
return { summary: findings.length ? `${findings.length} module(s) read records at a subject they never gate` : `${checked} subject-declaring record-reading module(s) read only at their own subject`, findings };
|
|
33
|
+
},
|
|
34
|
+
};
|
|
35
|
+
//# sourceMappingURL=no-cross-subject-vault-reads.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"no-cross-subject-vault-reads.js","sourceRoot":"","sources":["../../src/rules/no-cross-subject-vault-reads.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC,MAAM,KAAK,GAAG,2GAA2G,CAAC;AAE1H,MAAM,CAAC,MAAM,wBAAwB,GAAyD;IAC5F,EAAE,EAAE,8BAA8B;IAClC,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,oCAAoC;IAC1C,QAAQ,EAAE,2CAA2C;IACrD,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;QAC/C,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChG,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,SAAS,CAAC,4CAA4C;gBAC7G,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;gBACzC,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7C,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1C,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACvD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC/B,OAAO,IAAI,CAAC,CAAC;gBACb,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,8EAA8E,GAAG,CAAC,IAAI,IAAI,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,CAAC;YAC5K,CAAC;QACH,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,sDAAsD,CAAC,CAAC,CAAC,GAAG,OAAO,4EAA4E,EAAE,QAAQ,EAAE,CAAC;IACpN,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"no-hmac-home-bridge.d.ts","sourceRoot":"","sources":["../../src/rules/no-hmac-home-bridge.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAE1D,eAAO,MAAM,gBAAgB,EAAE,UAAU,CAAC,YAAY,CAAC,kBAAkB,CAAC,CA8BzE,CAAC"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
export const noHmacHomeBridge = {
|
|
2
|
+
id: 'no-hmac-home-bridge',
|
|
3
|
+
spec: 'spec 341 §7 / ADR-0059 / ADR-0041',
|
|
4
|
+
twin: 'check:no-hmac-home-bridge',
|
|
5
|
+
describe: 'the control plane never rides a shared secret; the bridge-call ratchet only falls',
|
|
6
|
+
run(ctx, cfg) {
|
|
7
|
+
const esc = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
|
|
8
|
+
// `(<[^()]*>)?` is load-bearing: a call with an explicit type argument is still a call.
|
|
9
|
+
const hmacRe = new RegExp(`\\b${esc(cfg.hmacCall)}\\s*(<[^()]*>)?\\s*\\(`);
|
|
10
|
+
const rpcRe = new RegExp(`\\b${esc(cfg.sessionRpcCall)}\\s*(<[^()]*>)?\\s*\\(`);
|
|
11
|
+
const hits = [];
|
|
12
|
+
for (const abs of ctx.walk(cfg.dir, { skipDirs: new Set(['node_modules', '.next', 'dist']), file: (n) => /\.(ts|tsx)$/.test(n) && !/\.test\.tsx?$/.test(n) })) {
|
|
13
|
+
const file = ctx.rel(abs);
|
|
14
|
+
ctx.read(file).split('\n').forEach((text, i) => {
|
|
15
|
+
if (hmacRe.test(text))
|
|
16
|
+
hits.push({ file, line: i + 1, kind: 'hmac', message: `${cfg.hmacCall}( call site [hmac]`, tag: 'hmac' });
|
|
17
|
+
if (rpcRe.test(text))
|
|
18
|
+
hits.push({ file, line: i + 1, kind: 'sessionRpc', message: `${cfg.sessionRpcCall}( call site [sessionRpc]`, tag: 'sessionRpc' });
|
|
19
|
+
});
|
|
20
|
+
}
|
|
21
|
+
const hmac = hits.filter((h) => h.kind === 'hmac').length;
|
|
22
|
+
const sessionRpc = hits.length - hmac;
|
|
23
|
+
const total = hits.length;
|
|
24
|
+
const findings = [];
|
|
25
|
+
const notes = [];
|
|
26
|
+
if (hmac > cfg.ceilings.hmac)
|
|
27
|
+
for (const h of hits.filter((x) => x.kind === 'hmac'))
|
|
28
|
+
findings.push(h);
|
|
29
|
+
if (total > cfg.ceilings.total)
|
|
30
|
+
for (const h of hits)
|
|
31
|
+
findings.push(h);
|
|
32
|
+
if (hmac < cfg.ceilings.hmac)
|
|
33
|
+
notes.push(`hmac ${hmac}/${cfg.ceilings.hmac} — lower the ceiling`);
|
|
34
|
+
if (total < cfg.ceilings.total)
|
|
35
|
+
notes.push(`total ${total}/${cfg.ceilings.total} — lower the ceiling`);
|
|
36
|
+
const counts = `hmac ${hmac}/${cfg.ceilings.hmac}, sessionRpc ${sessionRpc}, total ${total}/${cfg.ceilings.total}`;
|
|
37
|
+
return { summary: findings.length ? `a bridge count ROSE (${counts})` : counts, findings, notes };
|
|
38
|
+
},
|
|
39
|
+
};
|
|
40
|
+
//# sourceMappingURL=no-hmac-home-bridge.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"no-hmac-home-bridge.js","sourceRoot":"","sources":["../../src/rules/no-hmac-home-bridge.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,gBAAgB,GAAiD;IAC5E,EAAE,EAAE,qBAAqB;IACzB,IAAI,EAAE,mCAAmC;IACzC,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,mFAAmF;IAC7F,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;QACpE,wFAAwF;QACxF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,wBAAwB,CAAC,CAAC;QAChF,MAAM,IAAI,GAAyD,EAAE,CAAC;QACtE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9J,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC7C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,QAAQ,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;gBACjI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,cAAc,0BAA0B,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;YAC1J,CAAC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtG,IAAI,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,sBAAsB,CAAC,CAAC;QAClG,IAAI,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,sBAAsB,CAAC,CAAC;QACvG,MAAM,MAAM,GAAG,QAAQ,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,gBAAgB,UAAU,WAAW,KAAK,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnH,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,wBAAwB,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACpG,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"no-private-keys.d.ts","sourceRoot":"","sources":["../../src/rules/no-private-keys.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAQ1D,eAAO,MAAM,aAAa,EAAE,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,CAkCnE,CAAC"}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
const PATTERNS = [
|
|
2
|
+
{ re: /\b[A-Z][A-Z0-9_]*_PRIVATE_KEY\b/g, what: 'env-var name containing _PRIVATE_KEY — source signing via a KMS-backed signer, not raw keys', tag: 'env-name' },
|
|
3
|
+
{ re: /privateKeyToAccount\s*\(/g, what: 'privateKeyToAccount(...) — converts a raw private key to an account; key-handling smell', tag: 'private-key-to-account' },
|
|
4
|
+
{ re: /\bgeneratePrivateKey\s*\(/g, what: 'generatePrivateKey() — derive identity via KMS, not a locally minted key', tag: 'generate-private-key' },
|
|
5
|
+
];
|
|
6
|
+
export const noPrivateKeys = {
|
|
7
|
+
id: 'no-private-keys',
|
|
8
|
+
spec: 'key-custody doctrine (packages/key-custody)',
|
|
9
|
+
twin: 'check:no-app-private-keys',
|
|
10
|
+
describe: 'no raw key material in app source',
|
|
11
|
+
run(ctx, cfg) {
|
|
12
|
+
const allowed = new Set(cfg.allowedIn.map((a) => a.file));
|
|
13
|
+
const tolerated = new Set(cfg.toleratedEnvNames.map((t) => t.name));
|
|
14
|
+
const files = [];
|
|
15
|
+
for (const root of cfg.roots) {
|
|
16
|
+
const tracked = ctx.tracked(root);
|
|
17
|
+
const list = tracked ?? ctx.walk(root).map((f) => ctx.rel(f));
|
|
18
|
+
files.push(...list.filter((f) => (f.endsWith('.ts') || f.endsWith('.tsx')) && !f.includes('/test/') && !f.includes('.test.') && !f.includes('/dist/')));
|
|
19
|
+
}
|
|
20
|
+
const findings = [];
|
|
21
|
+
for (const file of files) {
|
|
22
|
+
if (allowed.has(file))
|
|
23
|
+
continue;
|
|
24
|
+
if (!ctx.exists(file))
|
|
25
|
+
continue;
|
|
26
|
+
const lines = ctx.read(file).split('\n');
|
|
27
|
+
for (const p of PATTERNS) {
|
|
28
|
+
lines.forEach((line, i) => {
|
|
29
|
+
const t = line.trim();
|
|
30
|
+
if (t.startsWith('//') || t.startsWith('*'))
|
|
31
|
+
return;
|
|
32
|
+
p.re.lastIndex = 0;
|
|
33
|
+
let m;
|
|
34
|
+
while ((m = p.re.exec(line)) !== null) {
|
|
35
|
+
if (tolerated.has(m[0]))
|
|
36
|
+
continue;
|
|
37
|
+
findings.push({ file, line: i + 1, message: `"${m[0]}" — ${p.what}`, tag: p.tag });
|
|
38
|
+
}
|
|
39
|
+
});
|
|
40
|
+
}
|
|
41
|
+
}
|
|
42
|
+
return { summary: findings.length ? `${findings.length} private-key smell(s) in app source` : `${files.length} app source files, no private-key smells`, findings };
|
|
43
|
+
},
|
|
44
|
+
};
|
|
45
|
+
//# sourceMappingURL=no-private-keys.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"no-private-keys.js","sourceRoot":"","sources":["../../src/rules/no-private-keys.ts"],"names":[],"mappings":"AAMA,MAAM,QAAQ,GAA6D;IACzE,EAAE,EAAE,EAAE,kCAAkC,EAAE,IAAI,EAAE,6FAA6F,EAAE,GAAG,EAAE,UAAU,EAAE;IAChK,EAAE,EAAE,EAAE,2BAA2B,EAAE,IAAI,EAAE,yFAAyF,EAAE,GAAG,EAAE,wBAAwB,EAAE;IACnK,EAAE,EAAE,EAAE,4BAA4B,EAAE,IAAI,EAAE,0EAA0E,EAAE,GAAG,EAAE,sBAAsB,EAAE;CACpJ,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAA8C;IACtE,EAAE,EAAE,iBAAiB;IACrB,IAAI,EAAE,6CAA6C;IACnD,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,mCAAmC;IAC7C,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1J,CAAC;QACD,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;oBACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBACtB,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;wBAAE,OAAO;oBACpD,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC;oBACnB,IAAI,CAAyB,CAAC;oBAC9B,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;wBACtC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;4BAAE,SAAS;wBAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;oBACrF,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,qCAAqC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,0CAA0C,EAAE,QAAQ,EAAE,CAAC;IACtK,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rules-drift.d.ts","sourceRoot":"","sources":["../../src/rules/rules-drift.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAE1D,eAAO,MAAM,UAAU,EAAE,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CA+B7D,CAAC"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
import { loadRulesCorpus, projectRules, rulesLockEntries } from '../rules-projection.js';
|
|
2
|
+
export const rulesDrift = {
|
|
3
|
+
id: 'rules-drift',
|
|
4
|
+
spec: 'spec 399 §3.4 / ADR-0063 §8',
|
|
5
|
+
describe: 'projected rules match the pinned source by digest',
|
|
6
|
+
run(ctx, cfg) {
|
|
7
|
+
const corpus = loadRulesCorpus({ root: ctx.root, source: cfg.source, hardRulesFrom: cfg.hardRulesFrom });
|
|
8
|
+
const findings = [];
|
|
9
|
+
const notes = [];
|
|
10
|
+
let compared = 0;
|
|
11
|
+
if (ctx.exists(cfg.lock)) {
|
|
12
|
+
const lock = JSON.parse(ctx.read(cfg.lock));
|
|
13
|
+
if (lock.rules) {
|
|
14
|
+
const now = rulesLockEntries(corpus);
|
|
15
|
+
for (const [name, digest] of Object.entries(lock.rules)) {
|
|
16
|
+
compared += 1;
|
|
17
|
+
if (now[name] === undefined)
|
|
18
|
+
findings.push({ file: cfg.lock, message: `rule "${name}" is pinned but no longer in the source`, tag: 'lock' });
|
|
19
|
+
else if (now[name] !== digest)
|
|
20
|
+
findings.push({ file: cfg.lock, message: `rule "${name}" drifted from its pinned digest (${digest} → ${now[name]})`, tag: 'lock' });
|
|
21
|
+
}
|
|
22
|
+
for (const name of Object.keys(now))
|
|
23
|
+
if (lock.rules[name] === undefined)
|
|
24
|
+
findings.push({ file: cfg.lock, message: `rule "${name}" is in the source but not pinned`, tag: 'lock' });
|
|
25
|
+
}
|
|
26
|
+
else
|
|
27
|
+
notes.push(`${cfg.lock} carries no "rules" pins`);
|
|
28
|
+
}
|
|
29
|
+
else
|
|
30
|
+
notes.push(`no ${cfg.lock} — source not pinned`);
|
|
31
|
+
const projection = projectRules({ root: ctx.root, corpus, cursorRules: cfg.cursorRules, agentsMd: cfg.agentsMd, claudeMd: cfg.claudeMd, write: false });
|
|
32
|
+
for (const p of projection) {
|
|
33
|
+
if (p.status === 'unchanged')
|
|
34
|
+
compared += 1;
|
|
35
|
+
else if (p.status === 'would-write')
|
|
36
|
+
findings.push({ file: p.path, message: `projection differs from the source (${p.reason ?? 'content'})`, tag: 'projection' });
|
|
37
|
+
else if (p.status === 'unmanaged')
|
|
38
|
+
notes.push(`${p.path}: no managed block — not projected`);
|
|
39
|
+
else if (p.status === 'absent')
|
|
40
|
+
notes.push(`${p.path}: absent — not projected`);
|
|
41
|
+
}
|
|
42
|
+
const status = findings.length ? 'fail' : compared === 0 ? 'skip' : 'pass';
|
|
43
|
+
return { status, summary: findings.length ? `${findings.length} drift(s) between source and projection` : compared ? `${compared} pinned/projected rule(s) match the source` : 'nothing pinned or projected here', findings, notes };
|
|
44
|
+
},
|
|
45
|
+
};
|
|
46
|
+
//# sourceMappingURL=rules-drift.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rules-drift.js","sourceRoot":"","sources":["../../src/rules/rules-drift.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAGzF,MAAM,CAAC,MAAM,UAAU,GAA2C;IAChE,EAAE,EAAE,aAAa;IACjB,IAAI,EAAE,6BAA6B;IACnC,QAAQ,EAAE,mDAAmD;IAC7D,GAAG,CAAC,GAAG,EAAE,GAAG;QACV,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QACzG,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAuC,CAAC;YAClF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,MAAM,GAAG,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBACrC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxD,QAAQ,IAAI,CAAC,CAAC;oBACd,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,IAAI,yCAAyC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;yBACxI,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,MAAM;wBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,IAAI,qCAAqC,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;gBACrK,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,IAAI,mCAAmC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;YACrL,CAAC;;gBAAM,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,0BAA0B,CAAC,CAAC;QAC3D,CAAC;;YAAM,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,sBAAsB,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,YAAY,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACxJ,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW;gBAAE,QAAQ,IAAI,CAAC,CAAC;iBACvC,IAAI,CAAC,CAAC,MAAM,KAAK,aAAa;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,uCAAuC,CAAC,CAAC,MAAM,IAAI,SAAS,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;iBAC7J,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,oCAAoC,CAAC,CAAC;iBACxF,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,0BAA0B,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3E,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,4CAA4C,CAAC,CAAC,CAAC,kCAAkC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACvO,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
export interface RuleFinding {
|
|
2
|
+
/** Repo-relative file, when the finding is about one. */
|
|
3
|
+
file?: string;
|
|
4
|
+
line?: number;
|
|
5
|
+
message: string;
|
|
6
|
+
/** A short machine tag within the rule (e.g. the knob id, the pattern name). */
|
|
7
|
+
tag?: string;
|
|
8
|
+
}
|
|
9
|
+
export type RuleStatus = 'pass' | 'fail' | 'skip' | 'error';
|
|
10
|
+
export interface RuleResult {
|
|
11
|
+
id: string;
|
|
12
|
+
status: RuleStatus;
|
|
13
|
+
/** One sentence a person reads in the table. */
|
|
14
|
+
summary: string;
|
|
15
|
+
findings: RuleFinding[];
|
|
16
|
+
/** Non-failing notes (a ratchet with slack, a skipped input). */
|
|
17
|
+
notes: string[];
|
|
18
|
+
ms: number;
|
|
19
|
+
}
|
|
20
|
+
export interface RuleContext {
|
|
21
|
+
root: string;
|
|
22
|
+
/** Absolute path under root. */
|
|
23
|
+
abs(relPath: string): string;
|
|
24
|
+
rel(absPath: string): string;
|
|
25
|
+
exists(relPath: string): boolean;
|
|
26
|
+
read(relPath: string): string;
|
|
27
|
+
/** Files under a repo-relative dir (absolute paths). */
|
|
28
|
+
walk(relDir: string, opts?: {
|
|
29
|
+
skipDirs?: ReadonlySet<string>;
|
|
30
|
+
file?: (name: string) => boolean;
|
|
31
|
+
}): string[];
|
|
32
|
+
/** Git-tracked files under a repo-relative dir, or null outside a checkout. */
|
|
33
|
+
tracked(relDir: string): string[] | null;
|
|
34
|
+
}
|
|
35
|
+
export interface RuleOutcome {
|
|
36
|
+
status?: RuleStatus;
|
|
37
|
+
summary: string;
|
|
38
|
+
findings?: RuleFinding[];
|
|
39
|
+
notes?: string[];
|
|
40
|
+
}
|
|
41
|
+
export interface DoctorRule<C = unknown> {
|
|
42
|
+
id: string;
|
|
43
|
+
/** Spec / ADR the rule enforces. */
|
|
44
|
+
spec: string;
|
|
45
|
+
/** The root check this rule twins (399 §2.3). */
|
|
46
|
+
twin?: string;
|
|
47
|
+
describe: string;
|
|
48
|
+
run(ctx: RuleContext, config: C): RuleOutcome | Promise<RuleOutcome>;
|
|
49
|
+
}
|
|
50
|
+
//# sourceMappingURL=types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/rules/types.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAE5D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,UAAU,CAAC;IACnB,gDAAgD;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,iEAAiE;IACjE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,gCAAgC;IAChC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7B,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAC9B,wDAAwD;IACxD,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAA;KAAE,GAAG,MAAM,EAAE,CAAC;IAC5G,+EAA+E;IAC/E,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,OAAO;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;CACtE"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/rules/types.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"web-no-direct-mcp.d.ts","sourceRoot":"","sources":["../../src/rules/web-no-direct-mcp.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAS1D,eAAO,MAAM,cAAc,EAAE,UAAU,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAuBrE,CAAC"}
|