@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.
Files changed (116) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +62 -0
  3. package/bin/ap.mjs +119 -0
  4. package/dist/config.d.ts +130 -0
  5. package/dist/config.d.ts.map +1 -0
  6. package/dist/config.js +128 -0
  7. package/dist/config.js.map +1 -0
  8. package/dist/dispatch.d.ts +44 -0
  9. package/dist/dispatch.d.ts.map +1 -0
  10. package/dist/dispatch.js +43 -0
  11. package/dist/dispatch.js.map +1 -0
  12. package/dist/doctor.d.ts +21 -0
  13. package/dist/doctor.d.ts.map +1 -0
  14. package/dist/doctor.js +71 -0
  15. package/dist/doctor.js.map +1 -0
  16. package/dist/errors.d.ts +37 -0
  17. package/dist/errors.d.ts.map +1 -0
  18. package/dist/errors.js +35 -0
  19. package/dist/errors.js.map +1 -0
  20. package/dist/fs.d.ts +20 -0
  21. package/dist/fs.d.ts.map +1 -0
  22. package/dist/fs.js +54 -0
  23. package/dist/fs.js.map +1 -0
  24. package/dist/index.d.ts +24 -0
  25. package/dist/index.d.ts.map +1 -0
  26. package/dist/index.js +19 -0
  27. package/dist/index.js.map +1 -0
  28. package/dist/lock.d.ts +18 -0
  29. package/dist/lock.d.ts.map +1 -0
  30. package/dist/lock.js +15 -0
  31. package/dist/lock.js.map +1 -0
  32. package/dist/redact.d.ts +2 -0
  33. package/dist/redact.d.ts.map +1 -0
  34. package/dist/redact.js +14 -0
  35. package/dist/redact.js.map +1 -0
  36. package/dist/rules/archetype-catalog.d.ts +4 -0
  37. package/dist/rules/archetype-catalog.d.ts.map +1 -0
  38. package/dist/rules/archetype-catalog.js +48 -0
  39. package/dist/rules/archetype-catalog.js.map +1 -0
  40. package/dist/rules/capability-vocabulary.d.ts +4 -0
  41. package/dist/rules/capability-vocabulary.d.ts.map +1 -0
  42. package/dist/rules/capability-vocabulary.js +56 -0
  43. package/dist/rules/capability-vocabulary.js.map +1 -0
  44. package/dist/rules/custodian-coverage.d.ts +4 -0
  45. package/dist/rules/custodian-coverage.d.ts.map +1 -0
  46. package/dist/rules/custodian-coverage.js +47 -0
  47. package/dist/rules/custodian-coverage.js.map +1 -0
  48. package/dist/rules/demo-person-org-distinct.d.ts +4 -0
  49. package/dist/rules/demo-person-org-distinct.d.ts.map +1 -0
  50. package/dist/rules/demo-person-org-distinct.js +26 -0
  51. package/dist/rules/demo-person-org-distinct.js.map +1 -0
  52. package/dist/rules/fail-open-knobs.d.ts +4 -0
  53. package/dist/rules/fail-open-knobs.d.ts.map +1 -0
  54. package/dist/rules/fail-open-knobs.js +64 -0
  55. package/dist/rules/fail-open-knobs.js.map +1 -0
  56. package/dist/rules/index.d.ts +10 -0
  57. package/dist/rules/index.d.ts.map +1 -0
  58. package/dist/rules/index.js +29 -0
  59. package/dist/rules/index.js.map +1 -0
  60. package/dist/rules/internal-marker-split.d.ts +4 -0
  61. package/dist/rules/internal-marker-split.d.ts.map +1 -0
  62. package/dist/rules/internal-marker-split.js +31 -0
  63. package/dist/rules/internal-marker-split.js.map +1 -0
  64. package/dist/rules/lock-coherent.d.ts +4 -0
  65. package/dist/rules/lock-coherent.d.ts.map +1 -0
  66. package/dist/rules/lock-coherent.js +39 -0
  67. package/dist/rules/lock-coherent.js.map +1 -0
  68. package/dist/rules/no-cross-subject-vault-reads.d.ts +4 -0
  69. package/dist/rules/no-cross-subject-vault-reads.d.ts.map +1 -0
  70. package/dist/rules/no-cross-subject-vault-reads.js +35 -0
  71. package/dist/rules/no-cross-subject-vault-reads.js.map +1 -0
  72. package/dist/rules/no-hmac-home-bridge.d.ts +4 -0
  73. package/dist/rules/no-hmac-home-bridge.d.ts.map +1 -0
  74. package/dist/rules/no-hmac-home-bridge.js +40 -0
  75. package/dist/rules/no-hmac-home-bridge.js.map +1 -0
  76. package/dist/rules/no-private-keys.d.ts +4 -0
  77. package/dist/rules/no-private-keys.d.ts.map +1 -0
  78. package/dist/rules/no-private-keys.js +45 -0
  79. package/dist/rules/no-private-keys.js.map +1 -0
  80. package/dist/rules/rules-drift.d.ts +4 -0
  81. package/dist/rules/rules-drift.d.ts.map +1 -0
  82. package/dist/rules/rules-drift.js +46 -0
  83. package/dist/rules/rules-drift.js.map +1 -0
  84. package/dist/rules/types.d.ts +50 -0
  85. package/dist/rules/types.d.ts.map +1 -0
  86. package/dist/rules/types.js +2 -0
  87. package/dist/rules/types.js.map +1 -0
  88. package/dist/rules/web-no-direct-mcp.d.ts +4 -0
  89. package/dist/rules/web-no-direct-mcp.d.ts.map +1 -0
  90. package/dist/rules/web-no-direct-mcp.js +37 -0
  91. package/dist/rules/web-no-direct-mcp.js.map +1 -0
  92. package/dist/rules-projection.d.ts +58 -0
  93. package/dist/rules-projection.d.ts.map +1 -0
  94. package/dist/rules-projection.js +135 -0
  95. package/dist/rules-projection.js.map +1 -0
  96. package/dist/upgrade.d.ts +37 -0
  97. package/dist/upgrade.d.ts.map +1 -0
  98. package/dist/upgrade.js +116 -0
  99. package/dist/upgrade.js.map +1 -0
  100. package/dist/workspace.d.ts +18 -0
  101. package/dist/workspace.d.ts.map +1 -0
  102. package/dist/workspace.js +56 -0
  103. package/dist/workspace.js.map +1 -0
  104. package/package.json +73 -0
  105. package/rules/coordination-vs-orchestration.md +31 -0
  106. package/rules/demo-person-org-distinct.md +40 -0
  107. package/rules/external-registry-integrations.md +15 -0
  108. package/rules/hard-rules.md +50 -0
  109. package/rules/one-capability-model-generates-both.md +82 -0
  110. package/rules/ontology-drives-behavior.md +58 -0
  111. package/rules/service-agent-signing.md +84 -0
  112. package/rules/sidecar.json +13 -0
  113. package/rules/skill-terminology.md +76 -0
  114. package/rules/vault-and-ontology.md +8 -0
  115. package/rules/vault-records-are-ontology-shaped.md +85 -0
  116. 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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const failOpenKnobs: DoctorRule<DoctorConfig['failOpenKnobs']>;
4
+ //# sourceMappingURL=fail-open-knobs.d.ts.map
@@ -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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const internalMarkerSplit: DoctorRule<DoctorConfig['internalMarkerSplit']>;
4
+ //# sourceMappingURL=internal-marker-split.d.ts.map
@@ -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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const lockCoherent: DoctorRule<DoctorConfig['lockCoherent']>;
4
+ //# sourceMappingURL=lock-coherent.d.ts.map
@@ -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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const noCrossSubjectVaultReads: DoctorRule<DoctorConfig['noCrossSubjectVaultReads']>;
4
+ //# sourceMappingURL=no-cross-subject-vault-reads.d.ts.map
@@ -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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const noHmacHomeBridge: DoctorRule<DoctorConfig['noHmacHomeBridge']>;
4
+ //# sourceMappingURL=no-hmac-home-bridge.d.ts.map
@@ -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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const noPrivateKeys: DoctorRule<DoctorConfig['noPrivateKeys']>;
4
+ //# sourceMappingURL=no-private-keys.d.ts.map
@@ -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,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const rulesDrift: DoctorRule<DoctorConfig['rulesDrift']>;
4
+ //# sourceMappingURL=rules-drift.d.ts.map
@@ -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,2 @@
1
+ export {};
2
+ //# sourceMappingURL=types.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/rules/types.ts"],"names":[],"mappings":""}
@@ -0,0 +1,4 @@
1
+ import type { DoctorConfig } from '../config.js';
2
+ import type { DoctorRule } from './types.js';
3
+ export declare const webNoDirectMcp: DoctorRule<DoctorConfig['webNoDirectMcp']>;
4
+ //# sourceMappingURL=web-no-direct-mcp.d.ts.map
@@ -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"}