@ontrails/warden 1.0.0-beta.13 → 1.0.0-beta.15
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/.turbo/turbo-lint.log +1 -1
- package/CHANGELOG.md +30 -0
- package/README.md +31 -20
- package/dist/cli.d.ts +19 -2
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +261 -64
- package/dist/cli.js.map +1 -1
- package/dist/draft.d.ts +5 -0
- package/dist/draft.d.ts.map +1 -0
- package/dist/draft.js +16 -0
- package/dist/draft.js.map +1 -0
- package/dist/drift.d.ts +10 -7
- package/dist/drift.d.ts.map +1 -1
- package/dist/drift.js +50 -16
- package/dist/drift.js.map +1 -1
- package/dist/formatters.d.ts +2 -1
- package/dist/formatters.d.ts.map +1 -1
- package/dist/formatters.js +15 -4
- package/dist/formatters.js.map +1 -1
- package/dist/index.d.ts +9 -17
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +10 -17
- package/dist/index.js.map +1 -1
- package/dist/rules/ast.d.ts +412 -7
- package/dist/rules/ast.d.ts.map +1 -1
- package/dist/rules/ast.js +1847 -102
- package/dist/rules/ast.js.map +1 -1
- package/dist/rules/circular-refs.d.ts +6 -0
- package/dist/rules/circular-refs.d.ts.map +1 -0
- package/dist/rules/circular-refs.js +83 -0
- package/dist/rules/circular-refs.js.map +1 -0
- package/dist/rules/context-no-surface-types.d.ts.map +1 -1
- package/dist/rules/context-no-surface-types.js +59 -3
- package/dist/rules/context-no-surface-types.js.map +1 -1
- package/dist/rules/contour-exists.d.ts +7 -0
- package/dist/rules/contour-exists.d.ts.map +1 -0
- package/dist/rules/contour-exists.js +113 -0
- package/dist/rules/contour-exists.js.map +1 -0
- package/dist/rules/contour-ids.d.ts +10 -0
- package/dist/rules/contour-ids.d.ts.map +1 -0
- package/dist/rules/contour-ids.js +12 -0
- package/dist/rules/contour-ids.js.map +1 -0
- package/dist/rules/cross-declarations.d.ts.map +1 -1
- package/dist/rules/cross-declarations.js +171 -57
- package/dist/rules/cross-declarations.js.map +1 -1
- package/dist/rules/dead-internal-trail.d.ts +3 -0
- package/dist/rules/dead-internal-trail.d.ts.map +1 -0
- package/dist/rules/dead-internal-trail.js +80 -0
- package/dist/rules/dead-internal-trail.js.map +1 -0
- package/dist/rules/draft-file-marking.d.ts +6 -0
- package/dist/rules/draft-file-marking.d.ts.map +1 -0
- package/dist/rules/draft-file-marking.js +87 -0
- package/dist/rules/draft-file-marking.js.map +1 -0
- package/dist/rules/draft-visible-debt.d.ts +12 -0
- package/dist/rules/draft-visible-debt.d.ts.map +1 -0
- package/dist/rules/draft-visible-debt.js +50 -0
- package/dist/rules/draft-visible-debt.js.map +1 -0
- package/dist/rules/error-mapping-completeness.d.ts +13 -0
- package/dist/rules/error-mapping-completeness.d.ts.map +1 -0
- package/dist/rules/error-mapping-completeness.js +160 -0
- package/dist/rules/error-mapping-completeness.js.map +1 -0
- package/dist/rules/example-valid.d.ts +6 -0
- package/dist/rules/example-valid.d.ts.map +1 -0
- package/dist/rules/example-valid.js +203 -0
- package/dist/rules/example-valid.js.map +1 -0
- package/dist/rules/fires-declarations.d.ts +16 -0
- package/dist/rules/fires-declarations.d.ts.map +1 -0
- package/dist/rules/fires-declarations.js +444 -0
- package/dist/rules/fires-declarations.js.map +1 -0
- package/dist/rules/implementation-returns-result.d.ts +9 -0
- package/dist/rules/implementation-returns-result.d.ts.map +1 -1
- package/dist/rules/implementation-returns-result.js +638 -76
- package/dist/rules/implementation-returns-result.js.map +1 -1
- package/dist/rules/incomplete-accessor-for-standard-op.d.ts +30 -0
- package/dist/rules/incomplete-accessor-for-standard-op.d.ts.map +1 -0
- package/dist/rules/incomplete-accessor-for-standard-op.js +226 -0
- package/dist/rules/incomplete-accessor-for-standard-op.js.map +1 -0
- package/dist/rules/incomplete-crud.d.ts +21 -0
- package/dist/rules/incomplete-crud.d.ts.map +1 -0
- package/dist/rules/incomplete-crud.js +368 -0
- package/dist/rules/incomplete-crud.js.map +1 -0
- package/dist/rules/index.d.ts +40 -7
- package/dist/rules/index.d.ts.map +1 -1
- package/dist/rules/index.js +91 -15
- package/dist/rules/index.js.map +1 -1
- package/dist/rules/intent-propagation.d.ts +3 -0
- package/dist/rules/intent-propagation.d.ts.map +1 -0
- package/dist/rules/intent-propagation.js +57 -0
- package/dist/rules/intent-propagation.js.map +1 -0
- package/dist/rules/missing-reconcile.d.ts +3 -0
- package/dist/rules/missing-reconcile.d.ts.map +1 -0
- package/dist/rules/missing-reconcile.js +44 -0
- package/dist/rules/missing-reconcile.js.map +1 -0
- package/dist/rules/missing-visibility.d.ts +3 -0
- package/dist/rules/missing-visibility.d.ts.map +1 -0
- package/dist/rules/missing-visibility.js +63 -0
- package/dist/rules/missing-visibility.js.map +1 -0
- package/dist/rules/no-direct-impl-in-route.d.ts.map +1 -1
- package/dist/rules/no-direct-impl-in-route.js +0 -3
- package/dist/rules/no-direct-impl-in-route.js.map +1 -1
- package/dist/rules/no-direct-implementation-call.js +1 -1
- package/dist/rules/no-direct-implementation-call.js.map +1 -1
- package/dist/rules/no-sync-result-assumption.d.ts.map +1 -1
- package/dist/rules/no-sync-result-assumption.js +870 -61
- package/dist/rules/no-sync-result-assumption.js.map +1 -1
- package/dist/rules/no-throw-in-detour-recover.d.ts +3 -0
- package/dist/rules/no-throw-in-detour-recover.d.ts.map +1 -0
- package/dist/rules/no-throw-in-detour-recover.js +147 -0
- package/dist/rules/no-throw-in-detour-recover.js.map +1 -0
- package/dist/rules/no-throw-in-detour-target.d.ts +4 -1
- package/dist/rules/no-throw-in-detour-target.d.ts.map +1 -1
- package/dist/rules/no-throw-in-detour-target.js +6 -3
- package/dist/rules/no-throw-in-detour-target.js.map +1 -1
- package/dist/rules/no-throw-in-implementation.d.ts +4 -2
- package/dist/rules/no-throw-in-implementation.d.ts.map +1 -1
- package/dist/rules/no-throw-in-implementation.js +6 -4
- package/dist/rules/no-throw-in-implementation.js.map +1 -1
- package/dist/rules/on-references-exist.d.ts +14 -0
- package/dist/rules/on-references-exist.d.ts.map +1 -0
- package/dist/rules/on-references-exist.js +109 -0
- package/dist/rules/on-references-exist.js.map +1 -0
- package/dist/rules/orphaned-signal.d.ts +3 -0
- package/dist/rules/orphaned-signal.d.ts.map +1 -0
- package/dist/rules/orphaned-signal.js +67 -0
- package/dist/rules/orphaned-signal.js.map +1 -0
- package/dist/rules/permit-governance.d.ts +3 -0
- package/dist/rules/permit-governance.d.ts.map +1 -0
- package/dist/rules/permit-governance.js +15 -0
- package/dist/rules/permit-governance.js.map +1 -0
- package/dist/rules/reference-exists.d.ts +6 -0
- package/dist/rules/reference-exists.d.ts.map +1 -0
- package/dist/rules/reference-exists.js +47 -0
- package/dist/rules/reference-exists.js.map +1 -0
- package/dist/rules/registry-names.d.ts +8 -0
- package/dist/rules/registry-names.d.ts.map +1 -0
- package/dist/rules/registry-names.js +83 -0
- package/dist/rules/registry-names.js.map +1 -0
- package/dist/rules/resource-declarations.d.ts +14 -0
- package/dist/rules/resource-declarations.d.ts.map +1 -0
- package/dist/rules/resource-declarations.js +413 -0
- package/dist/rules/resource-declarations.js.map +1 -0
- package/dist/rules/resource-exists.d.ts +6 -0
- package/dist/rules/resource-exists.d.ts.map +1 -0
- package/dist/rules/resource-exists.js +90 -0
- package/dist/rules/resource-exists.js.map +1 -0
- package/dist/rules/resource-id-grammar.d.ts +3 -0
- package/dist/rules/resource-id-grammar.d.ts.map +1 -0
- package/dist/rules/resource-id-grammar.js +39 -0
- package/dist/rules/resource-id-grammar.js.map +1 -0
- package/dist/rules/specs.d.ts.map +1 -1
- package/dist/rules/specs.js +5 -1
- package/dist/rules/specs.js.map +1 -1
- package/dist/rules/types.d.ts +53 -4
- package/dist/rules/types.d.ts.map +1 -1
- package/dist/rules/unreachable-detour-shadowing.d.ts +3 -0
- package/dist/rules/unreachable-detour-shadowing.d.ts.map +1 -0
- package/dist/rules/unreachable-detour-shadowing.js +202 -0
- package/dist/rules/unreachable-detour-shadowing.js.map +1 -0
- package/dist/rules/valid-describe-refs.d.ts.map +1 -1
- package/dist/rules/valid-describe-refs.js +132 -16
- package/dist/rules/valid-describe-refs.js.map +1 -1
- package/dist/rules/valid-detour-contract.d.ts +3 -0
- package/dist/rules/valid-detour-contract.d.ts.map +1 -0
- package/dist/rules/valid-detour-contract.js +47 -0
- package/dist/rules/valid-detour-contract.js.map +1 -0
- package/dist/rules/valid-detour-refs.d.ts.map +1 -1
- package/dist/rules/valid-detour-refs.js +73 -82
- package/dist/rules/valid-detour-refs.js.map +1 -1
- package/dist/rules/warden-export-symmetry.d.ts +7 -0
- package/dist/rules/warden-export-symmetry.d.ts.map +1 -0
- package/dist/rules/warden-export-symmetry.js +352 -0
- package/dist/rules/warden-export-symmetry.js.map +1 -0
- package/dist/rules/warden-rules-use-ast.d.ts +17 -0
- package/dist/rules/warden-rules-use-ast.d.ts.map +1 -0
- package/dist/rules/warden-rules-use-ast.js +778 -0
- package/dist/rules/warden-rules-use-ast.js.map +1 -0
- package/dist/trails/circular-refs.trail.d.ts +24 -0
- package/dist/trails/circular-refs.trail.d.ts.map +1 -0
- package/dist/trails/circular-refs.trail.js +29 -0
- package/dist/trails/circular-refs.trail.js.map +1 -0
- package/dist/trails/context-no-surface-types.trail.d.ts +2 -2
- package/dist/trails/context-no-surface-types.trail.d.ts.map +1 -1
- package/dist/trails/context-no-trailhead-types.trail.d.ts +2 -2
- package/dist/trails/context-no-trailhead-types.trail.d.ts.map +1 -1
- package/dist/trails/contour-exists.trail.d.ts +24 -0
- package/dist/trails/contour-exists.trail.d.ts.map +1 -0
- package/dist/trails/contour-exists.trail.js +21 -0
- package/dist/trails/contour-exists.trail.js.map +1 -0
- package/dist/trails/cross-declarations.trail.d.ts +2 -2
- package/dist/trails/cross-declarations.trail.d.ts.map +1 -1
- package/dist/trails/dead-internal-trail.trail.d.ts +24 -0
- package/dist/trails/dead-internal-trail.trail.d.ts.map +1 -0
- package/dist/trails/dead-internal-trail.trail.js +26 -0
- package/dist/trails/dead-internal-trail.trail.js.map +1 -0
- package/dist/trails/{provision-declarations.trail.d.ts → draft-file-marking.trail.d.ts} +3 -3
- package/dist/trails/draft-file-marking.trail.d.ts.map +1 -0
- package/dist/trails/draft-file-marking.trail.js +16 -0
- package/dist/trails/draft-file-marking.trail.js.map +1 -0
- package/dist/trails/draft-visible-debt.trail.d.ts +13 -0
- package/dist/trails/draft-visible-debt.trail.d.ts.map +1 -0
- package/dist/trails/draft-visible-debt.trail.js +16 -0
- package/dist/trails/draft-visible-debt.trail.js.map +1 -0
- package/dist/trails/error-mapping-completeness.trail.d.ts +13 -0
- package/dist/trails/error-mapping-completeness.trail.d.ts.map +1 -0
- package/dist/trails/error-mapping-completeness.trail.js +29 -0
- package/dist/trails/error-mapping-completeness.trail.js.map +1 -0
- package/dist/trails/{follow-declarations.trail.d.ts → example-valid.trail.d.ts} +3 -3
- package/dist/trails/example-valid.trail.d.ts.map +1 -0
- package/dist/trails/example-valid.trail.js +25 -0
- package/dist/trails/example-valid.trail.js.map +1 -0
- package/dist/trails/fires-declarations.trail.d.ts +13 -0
- package/dist/trails/fires-declarations.trail.d.ts.map +1 -0
- package/dist/trails/fires-declarations.trail.js +22 -0
- package/dist/trails/fires-declarations.trail.js.map +1 -0
- package/dist/trails/implementation-returns-result.trail.d.ts +2 -2
- package/dist/trails/implementation-returns-result.trail.d.ts.map +1 -1
- package/dist/trails/incomplete-accessor-for-standard-op.trail.d.ts +12 -0
- package/dist/trails/incomplete-accessor-for-standard-op.trail.d.ts.map +1 -0
- package/dist/trails/incomplete-accessor-for-standard-op.trail.js +60 -0
- package/dist/trails/incomplete-accessor-for-standard-op.trail.js.map +1 -0
- package/dist/trails/incomplete-crud.trail.d.ts +24 -0
- package/dist/trails/incomplete-crud.trail.d.ts.map +1 -0
- package/dist/trails/incomplete-crud.trail.js +39 -0
- package/dist/trails/incomplete-crud.trail.js.map +1 -0
- package/dist/trails/index.d.ts +29 -7
- package/dist/trails/index.d.ts.map +1 -1
- package/dist/trails/index.js +28 -6
- package/dist/trails/index.js.map +1 -1
- package/dist/trails/intent-propagation.trail.d.ts +24 -0
- package/dist/trails/intent-propagation.trail.d.ts.map +1 -0
- package/dist/trails/intent-propagation.trail.js +30 -0
- package/dist/trails/intent-propagation.trail.js.map +1 -0
- package/dist/trails/missing-reconcile.trail.d.ts +24 -0
- package/dist/trails/missing-reconcile.trail.d.ts.map +1 -0
- package/dist/trails/missing-reconcile.trail.js +33 -0
- package/dist/trails/missing-reconcile.trail.js.map +1 -0
- package/dist/trails/missing-visibility.trail.d.ts +24 -0
- package/dist/trails/missing-visibility.trail.d.ts.map +1 -0
- package/dist/trails/missing-visibility.trail.js +22 -0
- package/dist/trails/missing-visibility.trail.js.map +1 -0
- package/dist/trails/no-direct-impl-in-route.trail.d.ts +2 -2
- package/dist/trails/no-direct-impl-in-route.trail.d.ts.map +1 -1
- package/dist/trails/no-direct-implementation-call.trail.d.ts +2 -2
- package/dist/trails/no-direct-implementation-call.trail.d.ts.map +1 -1
- package/dist/trails/no-sync-result-assumption.trail.d.ts +2 -2
- package/dist/trails/no-sync-result-assumption.trail.d.ts.map +1 -1
- package/dist/trails/no-throw-in-detour-recover.trail.d.ts +13 -0
- package/dist/trails/no-throw-in-detour-recover.trail.d.ts.map +1 -0
- package/dist/trails/no-throw-in-detour-recover.trail.js +24 -0
- package/dist/trails/no-throw-in-detour-recover.trail.js.map +1 -0
- package/dist/trails/no-throw-in-detour-target.trail.d.ts +13 -3
- package/dist/trails/no-throw-in-detour-target.trail.d.ts.map +1 -1
- package/dist/trails/no-throw-in-implementation.trail.d.ts +2 -2
- package/dist/trails/no-throw-in-implementation.trail.d.ts.map +1 -1
- package/dist/trails/on-references-exist.trail.d.ts +24 -0
- package/dist/trails/on-references-exist.trail.d.ts.map +1 -0
- package/dist/trails/on-references-exist.trail.js +21 -0
- package/dist/trails/on-references-exist.trail.js.map +1 -0
- package/dist/trails/orphaned-signal.trail.d.ts +24 -0
- package/dist/trails/orphaned-signal.trail.d.ts.map +1 -0
- package/dist/trails/orphaned-signal.trail.js +36 -0
- package/dist/trails/orphaned-signal.trail.js.map +1 -0
- package/dist/trails/permit-governance.trail.d.ts +12 -0
- package/dist/trails/permit-governance.trail.d.ts.map +1 -0
- package/dist/trails/permit-governance.trail.js +47 -0
- package/dist/trails/permit-governance.trail.js.map +1 -0
- package/dist/trails/prefer-schema-inference.trail.d.ts +2 -2
- package/dist/trails/prefer-schema-inference.trail.d.ts.map +1 -1
- package/dist/trails/reference-exists.trail.d.ts +24 -0
- package/dist/trails/reference-exists.trail.d.ts.map +1 -0
- package/dist/trails/reference-exists.trail.js +25 -0
- package/dist/trails/reference-exists.trail.js.map +1 -0
- package/dist/trails/resource-declarations.trail.d.ts +13 -0
- package/dist/trails/resource-declarations.trail.d.ts.map +1 -0
- package/dist/trails/{provision-declarations.trail.js → resource-declarations.trail.js} +7 -7
- package/dist/trails/resource-declarations.trail.js.map +1 -0
- package/dist/trails/resource-exists.trail.d.ts +24 -0
- package/dist/trails/resource-exists.trail.d.ts.map +1 -0
- package/dist/trails/{provision-exists.trail.js → resource-exists.trail.js} +8 -8
- package/dist/trails/resource-exists.trail.js.map +1 -0
- package/dist/trails/resource-id-grammar.trail.d.ts +13 -0
- package/dist/trails/resource-id-grammar.trail.d.ts.map +1 -0
- package/dist/trails/resource-id-grammar.trail.js +38 -0
- package/dist/trails/resource-id-grammar.trail.js.map +1 -0
- package/dist/trails/run.d.ts +25 -9
- package/dist/trails/run.d.ts.map +1 -1
- package/dist/trails/run.js +63 -19
- package/dist/trails/run.js.map +1 -1
- package/dist/trails/schema.d.ts +28 -3
- package/dist/trails/schema.d.ts.map +1 -1
- package/dist/trails/schema.js +57 -4
- package/dist/trails/schema.js.map +1 -1
- package/dist/trails/unreachable-detour-shadowing.trail.d.ts +13 -0
- package/dist/trails/unreachable-detour-shadowing.trail.d.ts.map +1 -0
- package/dist/trails/unreachable-detour-shadowing.trail.js +44 -0
- package/dist/trails/unreachable-detour-shadowing.trail.js.map +1 -0
- package/dist/trails/valid-describe-refs.trail.d.ts +12 -3
- package/dist/trails/valid-describe-refs.trail.d.ts.map +1 -1
- package/dist/trails/valid-detour-contract.trail.d.ts +12 -0
- package/dist/trails/valid-detour-contract.trail.d.ts.map +1 -0
- package/dist/trails/valid-detour-contract.trail.js +66 -0
- package/dist/trails/valid-detour-contract.trail.js.map +1 -0
- package/dist/trails/valid-detour-refs.trail.d.ts +13 -3
- package/dist/trails/valid-detour-refs.trail.d.ts.map +1 -1
- package/dist/trails/warden-export-symmetry.trail.d.ts +13 -0
- package/dist/trails/warden-export-symmetry.trail.d.ts.map +1 -0
- package/dist/trails/warden-export-symmetry.trail.js +16 -0
- package/dist/trails/warden-export-symmetry.trail.js.map +1 -0
- package/dist/trails/warden-rules-use-ast.trail.d.ts +13 -0
- package/dist/trails/warden-rules-use-ast.trail.d.ts.map +1 -0
- package/dist/trails/warden-rules-use-ast.trail.js +41 -0
- package/dist/trails/warden-rules-use-ast.trail.js.map +1 -0
- package/dist/trails/wrap-rule.d.ts +16 -2
- package/dist/trails/wrap-rule.d.ts.map +1 -1
- package/dist/trails/wrap-rule.js +71 -11
- package/dist/trails/wrap-rule.js.map +1 -1
- package/package.json +7 -4
- package/src/__tests__/ast.test.ts +613 -0
- package/src/__tests__/circular-refs.test.ts +121 -0
- package/src/__tests__/cli.test.ts +360 -32
- package/src/__tests__/contour-exists.test.ts +203 -0
- package/src/__tests__/cross-declarations.test.ts +245 -0
- package/src/__tests__/dead-internal-trail.test.ts +81 -0
- package/src/__tests__/draft-rules-context.test.ts +150 -0
- package/src/__tests__/drift.test.ts +75 -5
- package/src/__tests__/error-mapping-completeness.test.ts +56 -0
- package/src/__tests__/example-valid.test.ts +101 -0
- package/src/__tests__/fires-declarations-param-destructure.test.ts +54 -0
- package/src/__tests__/fires-declarations.test.ts +652 -0
- package/src/__tests__/formatters.test.ts +2 -2
- package/src/__tests__/implementation-returns-result.test.ts +1016 -2
- package/src/__tests__/incomplete-accessor-for-standard-op.test.ts +337 -0
- package/src/__tests__/incomplete-crud.test.ts +498 -0
- package/src/__tests__/intent-propagation.test.ts +116 -0
- package/src/__tests__/missing-reconcile.test.ts +154 -0
- package/src/__tests__/missing-visibility.test.ts +108 -0
- package/src/__tests__/no-sync-result-assumption.test.ts +870 -39
- package/src/__tests__/no-throw-in-detour-recover.test.ts +93 -0
- package/src/__tests__/no-throw-in-implementation.test.ts +88 -0
- package/src/__tests__/on-references-exist.test.ts +151 -0
- package/src/__tests__/orphaned-signal.test.ts +137 -0
- package/src/__tests__/permit-governance.test.ts +66 -0
- package/src/__tests__/reference-exists.test.ts +281 -0
- package/src/__tests__/resource-declarations.test.ts +448 -0
- package/src/__tests__/resource-exists.test.ts +122 -0
- package/src/__tests__/resource-id-grammar.test.ts +50 -0
- package/src/__tests__/rules.test.ts +17 -77
- package/src/__tests__/topo-aware-rule.test.ts +257 -0
- package/src/__tests__/trails.test.ts +2 -2
- package/src/__tests__/unreachable-detour-shadowing.test.ts +128 -0
- package/src/__tests__/valid-describe-refs.test.ts +183 -0
- package/src/__tests__/valid-detour-contract.test.ts +86 -0
- package/src/__tests__/warden-export-symmetry.test.ts +251 -0
- package/src/__tests__/warden-rules-use-ast.test.ts +468 -0
- package/src/__tests__/wrap-rule.test.ts +3 -3
- package/src/cli.ts +458 -91
- package/src/draft.ts +22 -0
- package/src/drift.ts +63 -21
- package/src/formatters.ts +15 -4
- package/src/index.ts +62 -23
- package/src/rules/ast.ts +2715 -119
- package/src/rules/circular-refs.ts +154 -0
- package/src/rules/{context-no-trailhead-types.ts → context-no-surface-types.ts} +72 -12
- package/src/rules/contour-exists.ts +251 -0
- package/src/rules/contour-ids.ts +15 -0
- package/src/rules/cross-declarations.ts +277 -69
- package/src/rules/dead-internal-trail.ts +141 -0
- package/src/rules/draft-file-marking.ts +160 -0
- package/src/rules/draft-visible-debt.ts +87 -0
- package/src/rules/error-mapping-completeness.ts +273 -0
- package/src/rules/example-valid.ts +401 -0
- package/src/rules/fires-declarations.ts +609 -0
- package/src/rules/implementation-returns-result.ts +1042 -122
- package/src/rules/incomplete-accessor-for-standard-op.ts +315 -0
- package/src/rules/incomplete-crud.ts +579 -0
- package/src/rules/index.ts +95 -16
- package/src/rules/intent-propagation.ts +142 -0
- package/src/rules/missing-reconcile.ts +98 -0
- package/src/rules/missing-visibility.ts +110 -0
- package/src/rules/no-direct-impl-in-route.ts +0 -4
- package/src/rules/no-direct-implementation-call.ts +1 -1
- package/src/rules/no-sync-result-assumption.ts +1134 -96
- package/src/rules/no-throw-in-detour-recover.ts +225 -0
- package/src/rules/no-throw-in-implementation.ts +6 -4
- package/src/rules/on-references-exist.ts +194 -0
- package/src/rules/orphaned-signal.ts +150 -0
- package/src/rules/permit-governance.ts +25 -0
- package/src/rules/reference-exists.ts +98 -0
- package/src/rules/registry-names.ts +83 -0
- package/src/rules/{provision-declarations.ts → resource-declarations.ts} +208 -138
- package/src/rules/{provision-exists.ts → resource-exists.ts} +48 -51
- package/src/rules/resource-id-grammar.ts +65 -0
- package/src/rules/specs.ts +5 -1
- package/src/rules/types.ts +57 -4
- package/src/rules/unreachable-detour-shadowing.ts +375 -0
- package/src/rules/valid-describe-refs.ts +160 -32
- package/src/rules/valid-detour-contract.ts +78 -0
- package/src/rules/warden-export-symmetry.ts +533 -0
- package/src/rules/warden-rules-use-ast.ts +996 -0
- package/src/trails/circular-refs.trail.ts +29 -0
- package/src/trails/{context-no-trailhead-types.trail.ts → context-no-surface-types.trail.ts} +4 -4
- package/src/trails/contour-exists.trail.ts +21 -0
- package/src/trails/dead-internal-trail.trail.ts +26 -0
- package/src/trails/draft-file-marking.trail.ts +16 -0
- package/src/trails/draft-visible-debt.trail.ts +16 -0
- package/src/trails/error-mapping-completeness.trail.ts +29 -0
- package/src/trails/example-valid.trail.ts +25 -0
- package/src/trails/fires-declarations.trail.ts +22 -0
- package/src/trails/incomplete-accessor-for-standard-op.trail.ts +76 -0
- package/src/trails/incomplete-crud.trail.ts +39 -0
- package/src/trails/index.ts +40 -7
- package/src/trails/intent-propagation.trail.ts +30 -0
- package/src/trails/missing-reconcile.trail.ts +33 -0
- package/src/trails/missing-visibility.trail.ts +22 -0
- package/src/trails/no-throw-in-detour-recover.trail.ts +24 -0
- package/src/trails/on-references-exist.trail.ts +21 -0
- package/src/trails/orphaned-signal.trail.ts +36 -0
- package/src/trails/permit-governance.trail.ts +51 -0
- package/src/trails/reference-exists.trail.ts +25 -0
- package/src/trails/{provision-declarations.trail.ts → resource-declarations.trail.ts} +6 -6
- package/src/trails/{provision-exists.trail.ts → resource-exists.trail.ts} +7 -7
- package/src/trails/resource-id-grammar.trail.ts +39 -0
- package/src/trails/run.ts +121 -24
- package/src/trails/schema.ts +66 -4
- package/src/trails/unreachable-detour-shadowing.trail.ts +45 -0
- package/src/trails/valid-detour-contract.trail.ts +71 -0
- package/src/trails/warden-export-symmetry.trail.ts +16 -0
- package/src/trails/warden-rules-use-ast.trail.ts +45 -0
- package/src/trails/wrap-rule.ts +104 -12
- package/tsconfig.tests.json +10 -0
- package/tsconfig.tsbuildinfo +1 -1
- package/dist/rules/follow-declarations.d.ts +0 -13
- package/dist/rules/follow-declarations.d.ts.map +0 -1
- package/dist/rules/follow-declarations.js +0 -264
- package/dist/rules/follow-declarations.js.map +0 -1
- package/dist/rules/provision-declarations.d.ts +0 -14
- package/dist/rules/provision-declarations.d.ts.map +0 -1
- package/dist/rules/provision-declarations.js +0 -344
- package/dist/rules/provision-declarations.js.map +0 -1
- package/dist/rules/provision-exists.d.ts +0 -6
- package/dist/rules/provision-exists.d.ts.map +0 -1
- package/dist/rules/provision-exists.js +0 -89
- package/dist/rules/provision-exists.js.map +0 -1
- package/dist/rules/service-declarations.d.ts +0 -16
- package/dist/rules/service-declarations.d.ts.map +0 -1
- package/dist/rules/service-declarations.js +0 -346
- package/dist/rules/service-declarations.js.map +0 -1
- package/dist/rules/service-exists.d.ts +0 -8
- package/dist/rules/service-exists.d.ts.map +0 -1
- package/dist/rules/service-exists.js +0 -91
- package/dist/rules/service-exists.js.map +0 -1
- package/dist/trails/follow-declarations.trail.d.ts.map +0 -1
- package/dist/trails/follow-declarations.trail.js +0 -22
- package/dist/trails/follow-declarations.trail.js.map +0 -1
- package/dist/trails/provision-declarations.trail.d.ts.map +0 -1
- package/dist/trails/provision-declarations.trail.js.map +0 -1
- package/dist/trails/provision-exists.trail.d.ts +0 -15
- package/dist/trails/provision-exists.trail.d.ts.map +0 -1
- package/dist/trails/provision-exists.trail.js.map +0 -1
- package/dist/trails/service-declarations.trail.d.ts +0 -26
- package/dist/trails/service-declarations.trail.d.ts.map +0 -1
- package/dist/trails/service-declarations.trail.js +0 -27
- package/dist/trails/service-declarations.trail.js.map +0 -1
- package/dist/trails/service-exists.trail.d.ts +0 -32
- package/dist/trails/service-exists.trail.d.ts.map +0 -1
- package/dist/trails/service-exists.trail.js +0 -29
- package/dist/trails/service-exists.trail.js.map +0 -1
- package/src/__tests__/no-throw-in-detour-target.test.ts +0 -78
- package/src/__tests__/provision-declarations.test.ts +0 -318
- package/src/__tests__/provision-exists.test.ts +0 -122
- package/src/rules/no-throw-in-detour-target.ts +0 -150
- package/src/rules/valid-detour-refs.ts +0 -187
- package/src/trails/no-throw-in-detour-target.trail.ts +0 -20
- package/src/trails/valid-detour-refs.trail.ts +0 -24
package/dist/trails/schema.js
CHANGED
|
@@ -22,18 +22,71 @@ export const ruleInput = z.object({
|
|
|
22
22
|
* Extended input for project-aware warden rule trails.
|
|
23
23
|
*
|
|
24
24
|
* Adds `knownTrailIds` so the caller can supply cross-file context and avoid
|
|
25
|
-
* false positives for
|
|
26
|
-
* files.
|
|
25
|
+
* false positives for `@see` references or cross-file contour relationships.
|
|
27
26
|
*/
|
|
28
27
|
export const projectAwareRuleInput = ruleInput.extend({
|
|
29
|
-
|
|
28
|
+
contourReferencesByName: z
|
|
29
|
+
.record(z.string(), z.array(z.string()))
|
|
30
|
+
.optional()
|
|
31
|
+
.describe('Declared contour references keyed by source contour name'),
|
|
32
|
+
crossTargetTrailIds: z
|
|
33
|
+
.array(z.string())
|
|
34
|
+
.optional()
|
|
35
|
+
.describe('Trail IDs referenced by crosses arrays across the project'),
|
|
36
|
+
crudCoverageByEntity: z
|
|
37
|
+
.record(z.string(), z.array(z.string()))
|
|
38
|
+
.optional()
|
|
39
|
+
.describe('CRUD operation coverage per entity aggregated across the project'),
|
|
40
|
+
crudTableIds: z
|
|
41
|
+
.array(z.string())
|
|
42
|
+
.optional()
|
|
43
|
+
.describe('Store table IDs used with CRUD factories across the project'),
|
|
44
|
+
knownContourIds: z
|
|
45
|
+
.array(z.string())
|
|
46
|
+
.optional()
|
|
47
|
+
.describe('Contour names known across the project'),
|
|
48
|
+
knownResourceIds: z
|
|
49
|
+
.array(z.string())
|
|
50
|
+
.optional()
|
|
51
|
+
.describe('Resource IDs known across the project'),
|
|
52
|
+
knownSignalIds: z
|
|
30
53
|
.array(z.string())
|
|
31
54
|
.optional()
|
|
32
|
-
.describe('
|
|
55
|
+
.describe('Signal IDs known across the project'),
|
|
33
56
|
knownTrailIds: z
|
|
34
57
|
.array(z.string())
|
|
35
58
|
.optional()
|
|
36
59
|
.describe('Trail IDs known across the project'),
|
|
60
|
+
onTargetSignalIds: z
|
|
61
|
+
.array(z.string())
|
|
62
|
+
.optional()
|
|
63
|
+
.describe('Signal IDs referenced by trail on arrays across the project'),
|
|
64
|
+
reconcileTableIds: z
|
|
65
|
+
.array(z.string())
|
|
66
|
+
.optional()
|
|
67
|
+
.describe('Store table IDs used with reconcile trails across the project'),
|
|
68
|
+
trailIntentsById: z
|
|
69
|
+
.record(z.string(), z.enum(['read', 'write', 'destroy']))
|
|
70
|
+
.optional()
|
|
71
|
+
.describe('Normalized trail intents keyed by trail ID'),
|
|
72
|
+
});
|
|
73
|
+
/**
|
|
74
|
+
* Input for topo-aware warden rule trails.
|
|
75
|
+
*
|
|
76
|
+
* The `Topo` graph is not a serializable value, so the schema accepts it
|
|
77
|
+
* as an opaque `z.custom`. Topo-aware rules are invoked from the warden
|
|
78
|
+
* runtime with a live, resolved topo reference — they are not expected
|
|
79
|
+
* to be called across a network boundary.
|
|
80
|
+
*/
|
|
81
|
+
export const topoAwareRuleInput = z.object({
|
|
82
|
+
topo: z
|
|
83
|
+
.custom((value) => typeof value === 'object' &&
|
|
84
|
+
value !== null &&
|
|
85
|
+
'trails' in value &&
|
|
86
|
+
'resources' in value &&
|
|
87
|
+
'contours' in value &&
|
|
88
|
+
'signals' in value, { message: 'Expected a resolved Topo instance' })
|
|
89
|
+
.describe('Resolved topo graph under inspection'),
|
|
37
90
|
});
|
|
38
91
|
/** Output returned by every warden rule trail. */
|
|
39
92
|
export const ruleOutput = z.object({
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trails/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;
|
|
1
|
+
{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trails/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACjE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACtC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACpE,CAAC,CAAC;AAEH,iDAAiD;AACjD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACxD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACvD,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,MAAM,CAAC;IACpD,uBAAuB,EAAE,CAAC;SACvB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SACvC,QAAQ,EAAE;SACV,QAAQ,CAAC,0DAA0D,CAAC;IACvE,mBAAmB,EAAE,CAAC;SACnB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,2DAA2D,CAAC;IACxE,oBAAoB,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SACvC,QAAQ,EAAE;SACV,QAAQ,CACP,kEAAkE,CACnE;IACH,YAAY,EAAE,CAAC;SACZ,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,6DAA6D,CAAC;IAC1E,eAAe,EAAE,CAAC;SACf,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,wCAAwC,CAAC;IACrD,gBAAgB,EAAE,CAAC;SAChB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,uCAAuC,CAAC;IACpD,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,qCAAqC,CAAC;IAClD,aAAa,EAAE,CAAC;SACb,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,oCAAoC,CAAC;IACjD,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,6DAA6D,CAAC;IAC1E,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,+DAA+D,CAAC;IAC5E,gBAAgB,EAAE,CAAC;SAChB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;SACxD,QAAQ,EAAE;SACV,QAAQ,CAAC,4CAA4C,CAAC;CAC1D,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC;SACJ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,QAAQ,IAAI,KAAK;QACjB,WAAW,IAAI,KAAK;QACpB,UAAU,IAAI,KAAK;QACnB,SAAS,IAAI,KAAK,EACpB,EAAE,OAAO,EAAE,mCAAmC,EAAE,CACjD;SACA,QAAQ,CAAC,sCAAsC,CAAC;CACpD,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC;CACrE,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
export declare const unreachableDetourShadowingTrail: import("packages/core/src/trail.js").Trail<{
|
|
2
|
+
filePath: string;
|
|
3
|
+
sourceCode: string;
|
|
4
|
+
}, {
|
|
5
|
+
diagnostics: {
|
|
6
|
+
filePath: string;
|
|
7
|
+
line: number;
|
|
8
|
+
message: string;
|
|
9
|
+
rule: string;
|
|
10
|
+
severity: "error" | "warn";
|
|
11
|
+
}[];
|
|
12
|
+
}, never>;
|
|
13
|
+
//# sourceMappingURL=unreachable-detour-shadowing.trail.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"unreachable-detour-shadowing.trail.d.ts","sourceRoot":"","sources":["../../src/trails/unreachable-detour-shadowing.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,+BAA+B;;;;;;;;;;;SAyC1C,CAAC"}
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
import { unreachableDetourShadowing } from '../rules/unreachable-detour-shadowing.js';
|
|
2
|
+
import { wrapRule } from './wrap-rule.js';
|
|
3
|
+
export const unreachableDetourShadowingTrail = wrapRule({
|
|
4
|
+
examples: [
|
|
5
|
+
{
|
|
6
|
+
expected: { diagnostics: [] },
|
|
7
|
+
input: {
|
|
8
|
+
filePath: 'clean.ts',
|
|
9
|
+
sourceCode: `trail("entity.save", {
|
|
10
|
+
detours: [
|
|
11
|
+
{ on: ConflictError, recover: async () => Result.ok({ winner: "specific" }) },
|
|
12
|
+
{ on: TrailsError, recover: async () => Result.ok({ winner: "broad" }) },
|
|
13
|
+
],
|
|
14
|
+
});`,
|
|
15
|
+
},
|
|
16
|
+
name: 'Specific detours can precede broader ones',
|
|
17
|
+
},
|
|
18
|
+
{
|
|
19
|
+
expected: {
|
|
20
|
+
diagnostics: [
|
|
21
|
+
{
|
|
22
|
+
filePath: 'shadowed.ts',
|
|
23
|
+
line: 4,
|
|
24
|
+
message: 'Trail "entity.save" declares detour on "ConflictError" after earlier detour on "TrailsError". Because "TrailsError" matches "ConflictError" first, the later detour is unreachable.',
|
|
25
|
+
rule: 'unreachable-detour-shadowing',
|
|
26
|
+
severity: 'error',
|
|
27
|
+
},
|
|
28
|
+
],
|
|
29
|
+
},
|
|
30
|
+
input: {
|
|
31
|
+
filePath: 'shadowed.ts',
|
|
32
|
+
sourceCode: `trail("entity.save", {
|
|
33
|
+
detours: [
|
|
34
|
+
{ on: TrailsError, recover: async () => Result.ok({ winner: "broad" }) },
|
|
35
|
+
{ on: ConflictError, recover: async () => Result.ok({ winner: "specific" }) },
|
|
36
|
+
],
|
|
37
|
+
});`,
|
|
38
|
+
},
|
|
39
|
+
name: 'Broader detours declared first shadow later specific ones',
|
|
40
|
+
},
|
|
41
|
+
],
|
|
42
|
+
rule: unreachableDetourShadowing,
|
|
43
|
+
});
|
|
44
|
+
//# sourceMappingURL=unreachable-detour-shadowing.trail.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"unreachable-detour-shadowing.trail.js","sourceRoot":"","sources":["../../src/trails/unreachable-detour-shadowing.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACtD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;;IAKhB;aACG;YACD,IAAI,EAAE,2CAA2C;SAClD;QACD;YACE,QAAQ,EAAE;gBACR,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,aAAa;wBACvB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,qLAAqL;wBACvL,IAAI,EAAE,8BAA8B;wBACpC,QAAQ,EAAE,OAAO;qBAClB;iBACF;aACF;YACD,KAAK,EAAE;gBACL,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE;;;;;IAKhB;aACG;YACD,IAAI,EAAE,2DAA2D;SAClE;KACF;IACD,IAAI,EAAE,0BAA0B;CACjC,CAAC,CAAC"}
|
|
@@ -1,8 +1,17 @@
|
|
|
1
|
-
export declare const validDescribeRefsTrail: import("
|
|
1
|
+
export declare const validDescribeRefsTrail: import("packages/core/src/trail.js").Trail<{
|
|
2
2
|
filePath: string;
|
|
3
3
|
sourceCode: string;
|
|
4
|
-
|
|
4
|
+
contourReferencesByName?: Record<string, string[]> | undefined;
|
|
5
|
+
crossTargetTrailIds?: string[] | undefined;
|
|
6
|
+
crudCoverageByEntity?: Record<string, string[]> | undefined;
|
|
7
|
+
crudTableIds?: string[] | undefined;
|
|
8
|
+
knownContourIds?: string[] | undefined;
|
|
9
|
+
knownResourceIds?: string[] | undefined;
|
|
10
|
+
knownSignalIds?: string[] | undefined;
|
|
5
11
|
knownTrailIds?: string[] | undefined;
|
|
12
|
+
onTargetSignalIds?: string[] | undefined;
|
|
13
|
+
reconcileTableIds?: string[] | undefined;
|
|
14
|
+
trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
|
|
6
15
|
}, {
|
|
7
16
|
diagnostics: {
|
|
8
17
|
filePath: string;
|
|
@@ -11,5 +20,5 @@ export declare const validDescribeRefsTrail: import("@ontrails/core").Trail<{
|
|
|
11
20
|
rule: string;
|
|
12
21
|
severity: "error" | "warn";
|
|
13
22
|
}[];
|
|
14
|
-
}>;
|
|
23
|
+
}, never>;
|
|
15
24
|
//# sourceMappingURL=valid-describe-refs.trail.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"valid-describe-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-describe-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB
|
|
1
|
+
{"version":3,"file":"valid-describe-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-describe-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;SAcjC,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
export declare const validDetourContractTrail: import("@ontrails/core").Trail<{
|
|
2
|
+
topo: import("@ontrails/core").Topo;
|
|
3
|
+
}, {
|
|
4
|
+
diagnostics: {
|
|
5
|
+
filePath: string;
|
|
6
|
+
line: number;
|
|
7
|
+
message: string;
|
|
8
|
+
rule: string;
|
|
9
|
+
severity: "error" | "warn";
|
|
10
|
+
}[];
|
|
11
|
+
}, never>;
|
|
12
|
+
//# sourceMappingURL=valid-detour-contract.trail.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"valid-detour-contract.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-contract.trail.ts"],"names":[],"mappings":"AA+BA,eAAO,MAAM,wBAAwB;;;;;;;;;;SAuCnC,CAAC"}
|
|
@@ -0,0 +1,66 @@
|
|
|
1
|
+
import { ConflictError, Result, topo, trail } from '@ontrails/core';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
import { validDetourContract } from '../rules/valid-detour-contract.js';
|
|
4
|
+
import { wrapTopoRule } from './wrap-rule.js';
|
|
5
|
+
const validTrail = trail('entity.save', {
|
|
6
|
+
blaze: () => Result.ok({ ok: true }),
|
|
7
|
+
detours: [
|
|
8
|
+
{
|
|
9
|
+
on: ConflictError,
|
|
10
|
+
recover: async () => {
|
|
11
|
+
const result = await Promise.resolve(Result.ok({ ok: true }));
|
|
12
|
+
return result;
|
|
13
|
+
},
|
|
14
|
+
},
|
|
15
|
+
],
|
|
16
|
+
input: z.object({}),
|
|
17
|
+
output: z.object({ ok: z.boolean() }),
|
|
18
|
+
});
|
|
19
|
+
const invalidContractTrail = {
|
|
20
|
+
...validTrail,
|
|
21
|
+
detours: [
|
|
22
|
+
{
|
|
23
|
+
on: 'ConflictError',
|
|
24
|
+
recover: 'not a function',
|
|
25
|
+
},
|
|
26
|
+
],
|
|
27
|
+
};
|
|
28
|
+
export const validDetourContractTrail = wrapTopoRule({
|
|
29
|
+
examples: [
|
|
30
|
+
{
|
|
31
|
+
expected: { diagnostics: [] },
|
|
32
|
+
input: {
|
|
33
|
+
topo: topo('trl-380-valid-detour-contract', { validTrail }),
|
|
34
|
+
},
|
|
35
|
+
name: 'Detours with an error constructor and recover function stay clean',
|
|
36
|
+
},
|
|
37
|
+
{
|
|
38
|
+
expected: {
|
|
39
|
+
diagnostics: [
|
|
40
|
+
{
|
|
41
|
+
filePath: '<topo>',
|
|
42
|
+
line: 1,
|
|
43
|
+
message: 'Trail "entity.save" detour[0] must declare an error constructor in on:. Received ConflictError.',
|
|
44
|
+
rule: 'valid-detour-contract',
|
|
45
|
+
severity: 'error',
|
|
46
|
+
},
|
|
47
|
+
{
|
|
48
|
+
filePath: '<topo>',
|
|
49
|
+
line: 1,
|
|
50
|
+
message: 'Trail "entity.save" detour[0] must declare a callable recover function.',
|
|
51
|
+
rule: 'valid-detour-contract',
|
|
52
|
+
severity: 'error',
|
|
53
|
+
},
|
|
54
|
+
],
|
|
55
|
+
},
|
|
56
|
+
input: {
|
|
57
|
+
topo: topo('trl-380-invalid-detour-contract', {
|
|
58
|
+
invalidContractTrail,
|
|
59
|
+
}),
|
|
60
|
+
},
|
|
61
|
+
name: 'Malformed detour contracts emit diagnostics',
|
|
62
|
+
},
|
|
63
|
+
],
|
|
64
|
+
rule: validDetourContract,
|
|
65
|
+
});
|
|
66
|
+
//# sourceMappingURL=valid-detour-contract.trail.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"valid-detour-contract.trail.js","sourceRoot":"","sources":["../../src/trails/valid-detour-contract.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,EAAE;IACtC,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACpC,OAAO,EAAE;QACP;YACE,EAAE,EAAE,aAAa;YACjB,OAAO,EAAE,KAAK,IAAI,EAAE;gBAClB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC9D,OAAO,MAAM,CAAC;YAChB,CAAC;SACF;KACF;IACD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IACnB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;CACtC,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG;IAC3B,GAAG,UAAU;IACb,OAAO,EAAE;QACP;YACE,EAAE,EAAE,eAAe;YACnB,OAAO,EAAE,gBAAgB;SAC1B;KACF;CAC8B,CAAC;AAElC,MAAM,CAAC,MAAM,wBAAwB,GAAG,YAAY,CAAC;IACnD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,IAAI,EAAE,IAAI,CAAC,+BAA+B,EAAE,EAAE,UAAU,EAAE,CAAC;aAC5D;YACD,IAAI,EAAE,mEAAmE;SAC1E;QACD;YACE,QAAQ,EAAE;gBACR,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,QAAQ;wBAClB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,iGAAiG;wBACnG,IAAI,EAAE,uBAAuB;wBAC7B,QAAQ,EAAE,OAAO;qBAClB;oBACD;wBACE,QAAQ,EAAE,QAAQ;wBAClB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,yEAAyE;wBAC3E,IAAI,EAAE,uBAAuB;wBAC7B,QAAQ,EAAE,OAAO;qBAClB;iBACF;aACF;YACD,KAAK,EAAE;gBACL,IAAI,EAAE,IAAI,CAAC,iCAAiC,EAAE;oBAC5C,oBAAoB;iBACM,CAAC;aAC9B;YACD,IAAI,EAAE,6CAA6C;SACpD;KACF;IACD,IAAI,EAAE,mBAAmB;CAC1B,CAAC,CAAC"}
|
|
@@ -1,8 +1,18 @@
|
|
|
1
|
-
export declare const validDetourRefsTrail: import("
|
|
1
|
+
export declare const validDetourRefsTrail: import("packages/core/src/trail.js").Trail<{
|
|
2
2
|
filePath: string;
|
|
3
3
|
sourceCode: string;
|
|
4
|
-
|
|
4
|
+
contourReferencesByName?: Record<string, string[]> | undefined;
|
|
5
|
+
crossTargetTrailIds?: string[] | undefined;
|
|
6
|
+
crudCoverageByEntity?: Record<string, string[]> | undefined;
|
|
7
|
+
crudTableIds?: string[] | undefined;
|
|
8
|
+
detourTargetTrailIds?: string[] | undefined;
|
|
9
|
+
knownContourIds?: string[] | undefined;
|
|
10
|
+
knownResourceIds?: string[] | undefined;
|
|
11
|
+
knownSignalIds?: string[] | undefined;
|
|
5
12
|
knownTrailIds?: string[] | undefined;
|
|
13
|
+
onTargetSignalIds?: string[] | undefined;
|
|
14
|
+
reconcileTableIds?: string[] | undefined;
|
|
15
|
+
trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
|
|
6
16
|
}, {
|
|
7
17
|
diagnostics: {
|
|
8
18
|
filePath: string;
|
|
@@ -11,5 +21,5 @@ export declare const validDetourRefsTrail: import("@ontrails/core").Trail<{
|
|
|
11
21
|
rule: string;
|
|
12
22
|
severity: "error" | "warn";
|
|
13
23
|
}[];
|
|
14
|
-
}>;
|
|
24
|
+
}, never>;
|
|
15
25
|
//# sourceMappingURL=valid-detour-refs.trail.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"valid-detour-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB
|
|
1
|
+
{"version":3,"file":"valid-detour-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;SAoB/B,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
export declare const wardenExportSymmetryTrail: import("packages/core/src/trail.js").Trail<{
|
|
2
|
+
filePath: string;
|
|
3
|
+
sourceCode: string;
|
|
4
|
+
}, {
|
|
5
|
+
diagnostics: {
|
|
6
|
+
filePath: string;
|
|
7
|
+
line: number;
|
|
8
|
+
message: string;
|
|
9
|
+
rule: string;
|
|
10
|
+
severity: "error" | "warn";
|
|
11
|
+
}[];
|
|
12
|
+
}, never>;
|
|
13
|
+
//# sourceMappingURL=warden-export-symmetry.trail.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"warden-export-symmetry.trail.d.ts","sourceRoot":"","sources":["../../src/trails/warden-export-symmetry.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,yBAAyB;;;;;;;;;;;SAYpC,CAAC"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
import { wardenExportSymmetry } from '../rules/warden-export-symmetry.js';
|
|
2
|
+
import { wrapRule } from './wrap-rule.js';
|
|
3
|
+
export const wardenExportSymmetryTrail = wrapRule({
|
|
4
|
+
examples: [
|
|
5
|
+
{
|
|
6
|
+
expected: { diagnostics: [] },
|
|
7
|
+
input: {
|
|
8
|
+
filePath: 'packages/other-pkg/src/index.ts',
|
|
9
|
+
sourceCode: `export { somethingElse } from './other.js';\n`,
|
|
10
|
+
},
|
|
11
|
+
name: 'Ignores files outside the warden barrel',
|
|
12
|
+
},
|
|
13
|
+
],
|
|
14
|
+
rule: wardenExportSymmetry,
|
|
15
|
+
});
|
|
16
|
+
//# sourceMappingURL=warden-export-symmetry.trail.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"warden-export-symmetry.trail.js","sourceRoot":"","sources":["../../src/trails/warden-export-symmetry.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAChD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,iCAAiC;gBAC3C,UAAU,EAAE,+CAA+C;aAC5D;YACD,IAAI,EAAE,yCAAyC;SAChD;KACF;IACD,IAAI,EAAE,oBAAoB;CAC3B,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
export declare const wardenRulesUseAstTrail: import("packages/core/src/trail.js").Trail<{
|
|
2
|
+
filePath: string;
|
|
3
|
+
sourceCode: string;
|
|
4
|
+
}, {
|
|
5
|
+
diagnostics: {
|
|
6
|
+
filePath: string;
|
|
7
|
+
line: number;
|
|
8
|
+
message: string;
|
|
9
|
+
rule: string;
|
|
10
|
+
severity: "error" | "warn";
|
|
11
|
+
}[];
|
|
12
|
+
}, never>;
|
|
13
|
+
//# sourceMappingURL=warden-rules-use-ast.trail.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"warden-rules-use-ast.trail.d.ts","sourceRoot":"","sources":["../../src/trails/warden-rules-use-ast.trail.ts"],"names":[],"mappings":"AAaA,eAAO,MAAM,sBAAsB;;;;;;;;;;;SA+BjC,CAAC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
import { fileURLToPath } from 'node:url';
|
|
2
|
+
import { wardenRulesUseAst } from '../rules/warden-rules-use-ast.js';
|
|
3
|
+
import { wrapRule } from './wrap-rule.js';
|
|
4
|
+
/**
|
|
5
|
+
* Resolve a filePath inside this package's `src/rules/` directory so the
|
|
6
|
+
* positive example fires the path-anchored scope check. Anchoring via
|
|
7
|
+
* `import.meta.url` keeps the example robust to the cwd under which tests run.
|
|
8
|
+
*/
|
|
9
|
+
const fakeRulePath = fileURLToPath(new URL('../rules/fake-rule.ts', import.meta.url));
|
|
10
|
+
export const wardenRulesUseAstTrail = wrapRule({
|
|
11
|
+
examples: [
|
|
12
|
+
{
|
|
13
|
+
expected: { diagnostics: [] },
|
|
14
|
+
input: {
|
|
15
|
+
filePath: 'packages/other-pkg/src/index.ts',
|
|
16
|
+
sourceCode: `const lines = sourceCode.split('\\n');\n`,
|
|
17
|
+
},
|
|
18
|
+
name: 'Ignores files outside the warden rules directory',
|
|
19
|
+
},
|
|
20
|
+
{
|
|
21
|
+
expected: {
|
|
22
|
+
diagnostics: [
|
|
23
|
+
{
|
|
24
|
+
filePath: fakeRulePath,
|
|
25
|
+
line: 1,
|
|
26
|
+
message: 'warden-rules-use-ast: sourceCode.split(...) treats source text as a string. Warden rules must inspect the AST via packages/warden/src/rules/ast.ts helpers, not regex-scan raw source text. Use findStringLiterals, findTrailDefinitions, findConfigProperty, or a similar AST walker. Raw-text scanning produces false positives on string literals, template payloads, and docstrings — see TRL-335, ADR-0036.',
|
|
27
|
+
rule: 'warden-rules-use-ast',
|
|
28
|
+
severity: 'error',
|
|
29
|
+
},
|
|
30
|
+
],
|
|
31
|
+
},
|
|
32
|
+
input: {
|
|
33
|
+
filePath: fakeRulePath,
|
|
34
|
+
sourceCode: `export const r = { check(sourceCode: string) { return sourceCode.split('\\n'); } };\n`,
|
|
35
|
+
},
|
|
36
|
+
name: 'Flags sourceCode.split(...) in a rule file',
|
|
37
|
+
},
|
|
38
|
+
],
|
|
39
|
+
rule: wardenRulesUseAst,
|
|
40
|
+
});
|
|
41
|
+
//# sourceMappingURL=warden-rules-use-ast.trail.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"warden-rules-use-ast.trail.js","sourceRoot":"","sources":["../../src/trails/warden-rules-use-ast.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;;;GAIG;AACH,MAAM,YAAY,GAAG,aAAa,CAChC,IAAI,GAAG,CAAC,uBAAuB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAClD,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC7C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,iCAAiC;gBAC3C,UAAU,EAAE,0CAA0C;aACvD;YACD,IAAI,EAAE,kDAAkD;SACzD;QACD;YACE,QAAQ,EAAE;gBACR,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,YAAY;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,kZAAkZ;wBACpZ,IAAI,EAAE,sBAAsB;wBAC5B,QAAQ,EAAE,OAAO;qBAClB;iBACF;aACF;YACD,KAAK,EAAE;gBACL,QAAQ,EAAE,YAAY;gBACtB,UAAU,EAAE,uFAAuF;aACpG;YACD,IAAI,EAAE,4CAA4C;SACnD;KACF;IACD,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC"}
|
|
@@ -4,8 +4,8 @@
|
|
|
4
4
|
* Keeps each rule trail file minimal — just the import + examples.
|
|
5
5
|
*/
|
|
6
6
|
import type { Trail } from '@ontrails/core';
|
|
7
|
-
import type { ProjectAwareWardenRule, WardenRule } from '../rules/types.js';
|
|
8
|
-
import type { ProjectAwareRuleInput, RuleInput, RuleOutput } from './schema.js';
|
|
7
|
+
import type { ProjectAwareWardenRule, TopoAwareWardenRule, WardenRule } from '../rules/types.js';
|
|
8
|
+
import type { ProjectAwareRuleInput, RuleInput, RuleOutput, TopoAwareRuleInput } from './schema.js';
|
|
9
9
|
interface WrapRuleOptions {
|
|
10
10
|
/** The existing warden rule to wrap. */
|
|
11
11
|
readonly rule: WardenRule;
|
|
@@ -25,5 +25,19 @@ interface WrapProjectAwareRuleOptions {
|
|
|
25
25
|
*/
|
|
26
26
|
export declare function wrapRule(options: WrapProjectAwareRuleOptions): Trail<ProjectAwareRuleInput, RuleOutput>;
|
|
27
27
|
export declare function wrapRule(options: WrapRuleOptions): Trail<RuleInput, RuleOutput>;
|
|
28
|
+
interface WrapTopoRuleOptions {
|
|
29
|
+
/** The existing topo-aware warden rule to wrap. */
|
|
30
|
+
readonly rule: TopoAwareWardenRule;
|
|
31
|
+
/** Trail examples for testing and documentation. */
|
|
32
|
+
readonly examples: Trail<TopoAwareRuleInput, RuleOutput>['examples'];
|
|
33
|
+
}
|
|
34
|
+
/**
|
|
35
|
+
* Wrap an existing `TopoAwareWardenRule` as a trail.
|
|
36
|
+
*
|
|
37
|
+
* Mirrors `wrapRule` for the per-topo dispatch path. Topo-aware rules run
|
|
38
|
+
* once per topo against the compiled runtime graph rather than per file,
|
|
39
|
+
* so the trail accepts the live `Topo` as input.
|
|
40
|
+
*/
|
|
41
|
+
export declare const wrapTopoRule: (options: WrapTopoRuleOptions) => Trail<TopoAwareRuleInput, RuleOutput>;
|
|
28
42
|
export {};
|
|
29
43
|
//# sourceMappingURL=wrap-rule.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"wrap-rule.d.ts","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,KAAK,EACV,sBAAsB,EAEtB,UAAU,EACX,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"wrap-rule.d.ts","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,KAAK,EACV,sBAAsB,EAEtB,mBAAmB,EACnB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EACV,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,EACnB,MAAM,aAAa,CAAC;AAErB,UAAU,eAAe;IACvB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CAC7D;AAED,UAAU,2BAA2B;IACnC,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CACzE;AAiDD;;;;GAIG;AACH,wBAAgB,QAAQ,CACtB,OAAO,EAAE,2BAA2B,GACnC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC;AAC5C,wBAAgB,QAAQ,CACtB,OAAO,EAAE,eAAe,GACvB,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AA4ChC,UAAU,mBAAmB;IAC3B,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CACtE;AAED;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,SAAS,mBAAmB,KAC3B,KAAK,CAAC,kBAAkB,EAAE,UAAU,CAwBtC,CAAC"}
|
package/dist/trails/wrap-rule.js
CHANGED
|
@@ -3,8 +3,48 @@
|
|
|
3
3
|
*
|
|
4
4
|
* Keeps each rule trail file minimal — just the import + examples.
|
|
5
5
|
*/
|
|
6
|
-
import { trail, Result } from '@ontrails/core';
|
|
7
|
-
import { projectAwareRuleInput, ruleInput, ruleOutput } from './schema.js';
|
|
6
|
+
import { InternalError, trail, Result } from '@ontrails/core';
|
|
7
|
+
import { projectAwareRuleInput, ruleInput, ruleOutput, topoAwareRuleInput, } from './schema.js';
|
|
8
|
+
const buildProjectContext = (input) => ({
|
|
9
|
+
...(input.contourReferencesByName
|
|
10
|
+
? {
|
|
11
|
+
contourReferencesByName: new Map(Object.entries(input.contourReferencesByName)),
|
|
12
|
+
}
|
|
13
|
+
: {}),
|
|
14
|
+
...(input.crudTableIds ? { crudTableIds: new Set(input.crudTableIds) } : {}),
|
|
15
|
+
...(input.crudCoverageByEntity
|
|
16
|
+
? {
|
|
17
|
+
crudCoverageByEntity: new Map(Object.entries(input.crudCoverageByEntity).map(([entityId, operations]) => [
|
|
18
|
+
entityId,
|
|
19
|
+
new Set(operations),
|
|
20
|
+
])),
|
|
21
|
+
}
|
|
22
|
+
: {}),
|
|
23
|
+
...(input.knownContourIds
|
|
24
|
+
? { knownContourIds: new Set(input.knownContourIds) }
|
|
25
|
+
: {}),
|
|
26
|
+
knownTrailIds: input.knownTrailIds
|
|
27
|
+
? new Set(input.knownTrailIds)
|
|
28
|
+
: new Set(),
|
|
29
|
+
...(input.crossTargetTrailIds
|
|
30
|
+
? { crossTargetTrailIds: new Set(input.crossTargetTrailIds) }
|
|
31
|
+
: {}),
|
|
32
|
+
...(input.knownResourceIds
|
|
33
|
+
? { knownResourceIds: new Set(input.knownResourceIds) }
|
|
34
|
+
: {}),
|
|
35
|
+
...(input.knownSignalIds
|
|
36
|
+
? { knownSignalIds: new Set(input.knownSignalIds) }
|
|
37
|
+
: {}),
|
|
38
|
+
...(input.onTargetSignalIds
|
|
39
|
+
? { onTargetSignalIds: new Set(input.onTargetSignalIds) }
|
|
40
|
+
: {}),
|
|
41
|
+
...(input.reconcileTableIds
|
|
42
|
+
? { reconcileTableIds: new Set(input.reconcileTableIds) }
|
|
43
|
+
: {}),
|
|
44
|
+
...(input.trailIntentsById
|
|
45
|
+
? { trailIntentsById: new Map(Object.entries(input.trailIntentsById)) }
|
|
46
|
+
: {}),
|
|
47
|
+
});
|
|
8
48
|
export function wrapRule(options) {
|
|
9
49
|
const { rule, examples } = options;
|
|
10
50
|
const isProjectAware = 'checkWithContext' in rule;
|
|
@@ -12,15 +52,7 @@ export function wrapRule(options) {
|
|
|
12
52
|
const projectAwareRule = rule;
|
|
13
53
|
return trail(`warden.rule.${rule.name}`, {
|
|
14
54
|
blaze: (input) => {
|
|
15
|
-
const
|
|
16
|
-
knownProvisionIds: input.knownProvisionIds
|
|
17
|
-
? new Set(input.knownProvisionIds)
|
|
18
|
-
: undefined,
|
|
19
|
-
knownTrailIds: input.knownTrailIds
|
|
20
|
-
? new Set(input.knownTrailIds)
|
|
21
|
-
: new Set(),
|
|
22
|
-
};
|
|
23
|
-
const diagnostics = projectAwareRule.checkWithContext(input.sourceCode, input.filePath, context);
|
|
55
|
+
const diagnostics = projectAwareRule.checkWithContext(input.sourceCode, input.filePath, buildProjectContext(input));
|
|
24
56
|
return Result.ok({ diagnostics: [...diagnostics] });
|
|
25
57
|
},
|
|
26
58
|
description: rule.description,
|
|
@@ -44,4 +76,32 @@ export function wrapRule(options) {
|
|
|
44
76
|
output: ruleOutput,
|
|
45
77
|
});
|
|
46
78
|
}
|
|
79
|
+
/**
|
|
80
|
+
* Wrap an existing `TopoAwareWardenRule` as a trail.
|
|
81
|
+
*
|
|
82
|
+
* Mirrors `wrapRule` for the per-topo dispatch path. Topo-aware rules run
|
|
83
|
+
* once per topo against the compiled runtime graph rather than per file,
|
|
84
|
+
* so the trail accepts the live `Topo` as input.
|
|
85
|
+
*/
|
|
86
|
+
export const wrapTopoRule = (options) => {
|
|
87
|
+
const { rule, examples } = options;
|
|
88
|
+
return trail(`warden.rule.${rule.name}`, {
|
|
89
|
+
blaze: async (input) => {
|
|
90
|
+
try {
|
|
91
|
+
const diagnostics = await rule.checkTopo(input.topo);
|
|
92
|
+
return Result.ok({ diagnostics: [...diagnostics] });
|
|
93
|
+
}
|
|
94
|
+
catch (error) {
|
|
95
|
+
const cause = error instanceof Error ? error : new Error(String(error));
|
|
96
|
+
return Result.err(new InternalError(`Topo-aware rule "${rule.name}" threw while inspecting topo: ${cause.message}`, { cause }));
|
|
97
|
+
}
|
|
98
|
+
},
|
|
99
|
+
description: rule.description,
|
|
100
|
+
examples,
|
|
101
|
+
input: topoAwareRuleInput,
|
|
102
|
+
intent: 'read',
|
|
103
|
+
meta: { category: 'governance', severity: rule.severity },
|
|
104
|
+
output: ruleOutput,
|
|
105
|
+
});
|
|
106
|
+
};
|
|
47
107
|
//# sourceMappingURL=wrap-rule.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"wrap-rule.js","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"wrap-rule.js","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAS9D,OAAO,EACL,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,GACnB,MAAM,aAAa,CAAC;AAsBrB,MAAM,mBAAmB,GAAG,CAAC,KAA4B,EAAkB,EAAE,CAAC,CAAC;IAC7E,GAAG,CAAC,KAAK,CAAC,uBAAuB;QAC/B,CAAC,CAAC;YACE,uBAAuB,EAAE,IAAI,GAAG,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAC9C;SACF;QACH,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,GAAG,CAAC,KAAK,CAAC,oBAAoB;QAC5B,CAAC,CAAC;YACE,oBAAoB,EAAE,IAAI,GAAG,CAC3B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAC5C,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;gBAC1B,QAAQ;gBACR,IAAI,GAAG,CAAC,UAAU,CAAwB;aAC3C,CACF,CACF;SACF;QACH,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,eAAe;QACvB,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE;QACrD,CAAC,CAAC,EAAE,CAAC;IACP,aAAa,EAAE,KAAK,CAAC,aAAa;QAChC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;QAC9B,CAAC,CAAC,IAAI,GAAG,EAAU;IACrB,GAAG,CAAC,KAAK,CAAC,mBAAmB;QAC3B,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE;QAC7D,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,gBAAgB;QACxB,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,cAAc;QACtB,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE;QACnD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,iBAAiB;QACzB,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE;QACzD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,iBAAiB;QACzB,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE;QACzD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,gBAAgB;QACxB,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,EAAE;QACvE,CAAC,CAAC,EAAE,CAAC;CACR,CAAC,CAAC;AAaH,MAAM,UAAU,QAAQ,CACtB,OAAsD;IAEtD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,MAAM,cAAc,GAAG,kBAAkB,IAAI,IAAI,CAAC;IAElD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,gBAAgB,GAAG,IAA8B,CAAC;QACxD,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;YACvC,KAAK,EAAE,CAAC,KAA4B,EAAE,EAAE;gBACtC,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACnD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,mBAAmB,CAAC,KAAK,CAAC,CAC3B,CAAC;gBACF,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,QAGG;YACb,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;YACzD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,KAAK,EAAE,CAAC,KAAgB,EAAE,EAAE;YAC1B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjE,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,QAAoD;QAC9D,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QACzD,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC;AASD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAA4B,EACW,EAAE;IACzC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,KAAK,EAAE,KAAK,EAAE,KAAyB,EAAE,EAAE;YACzC,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrD,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxE,OAAO,MAAM,CAAC,GAAG,CACf,IAAI,aAAa,CACf,oBAAoB,IAAI,CAAC,IAAI,kCAAkC,KAAK,CAAC,OAAO,EAAE,EAC9E,EAAE,KAAK,EAAE,CACV,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ;QACR,KAAK,EAAE,kBAAkB;QACzB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QACzD,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@ontrails/warden",
|
|
3
|
-
"version": "1.0.0-beta.
|
|
3
|
+
"version": "1.0.0-beta.15",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./src/index.ts",
|
|
@@ -13,14 +13,17 @@
|
|
|
13
13
|
"lint": "oxlint ./src",
|
|
14
14
|
"clean": "rm -rf dist *.tsbuildinfo"
|
|
15
15
|
},
|
|
16
|
+
"dependencies": {
|
|
17
|
+
"@ontrails/permits": "^1.0.0-beta.14"
|
|
18
|
+
},
|
|
16
19
|
"devDependencies": {
|
|
17
|
-
"@ontrails/testing": "^1.0.0-beta.
|
|
20
|
+
"@ontrails/testing": "^1.0.0-beta.14",
|
|
18
21
|
"@oxc-project/types": "^0.122.0",
|
|
19
22
|
"oxc-parser": "^0.121.0",
|
|
20
23
|
"zod": "^4.3.5"
|
|
21
24
|
},
|
|
22
25
|
"peerDependencies": {
|
|
23
|
-
"@ontrails/core": "^1.0.0-beta.
|
|
24
|
-
"@ontrails/schema": "^1.0.0-beta.
|
|
26
|
+
"@ontrails/core": "^1.0.0-beta.14",
|
|
27
|
+
"@ontrails/schema": "^1.0.0-beta.14"
|
|
25
28
|
}
|
|
26
29
|
}
|