@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
|
@@ -3,8 +3,17 @@ import { mkdirSync, rmSync, writeFileSync } from 'node:fs';
|
|
|
3
3
|
import { join } from 'node:path';
|
|
4
4
|
import { tmpdir } from 'node:os';
|
|
5
5
|
|
|
6
|
-
import { trail, topo, Result } from '@ontrails/core';
|
|
7
|
-
import {
|
|
6
|
+
import { createTopoStore, trail, topo, Result } from '@ontrails/core';
|
|
7
|
+
import { createTopoSnapshot } from '@ontrails/core/internal/topo-store';
|
|
8
|
+
import {
|
|
9
|
+
openWriteTrailsDb,
|
|
10
|
+
deriveTrailsDir,
|
|
11
|
+
} from '@ontrails/core/internal/trails-db';
|
|
12
|
+
import {
|
|
13
|
+
deriveSurfaceMapHash,
|
|
14
|
+
deriveSurfaceMap,
|
|
15
|
+
writeSurfaceLock,
|
|
16
|
+
} from '@ontrails/schema';
|
|
8
17
|
import { z } from 'zod';
|
|
9
18
|
|
|
10
19
|
import { checkDrift } from '../drift.js';
|
|
@@ -24,6 +33,28 @@ const createTempDir = (): string => {
|
|
|
24
33
|
return dir;
|
|
25
34
|
};
|
|
26
35
|
|
|
36
|
+
const committedLockDir = (dir: string): string => {
|
|
37
|
+
const trailsDir = deriveTrailsDir({ rootDir: dir });
|
|
38
|
+
mkdirSync(trailsDir, { recursive: true });
|
|
39
|
+
return trailsDir;
|
|
40
|
+
};
|
|
41
|
+
|
|
42
|
+
const seedSavedTopo = (dir: string): string | undefined => {
|
|
43
|
+
const db = openWriteTrailsDb({ rootDir: dir });
|
|
44
|
+
try {
|
|
45
|
+
const result = createTopoSnapshot(db, makeTopo(), {
|
|
46
|
+
createdAt: '2026-04-03T15:00:00.000Z',
|
|
47
|
+
});
|
|
48
|
+
if (result.isErr()) {
|
|
49
|
+
throw result.error;
|
|
50
|
+
}
|
|
51
|
+
} finally {
|
|
52
|
+
db.close();
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
return createTopoStore({ rootDir: dir }).exports.get()?.surfaceHash;
|
|
56
|
+
};
|
|
57
|
+
|
|
27
58
|
describe('checkDrift', () => {
|
|
28
59
|
test('returns stale: false when no topo is provided', async () => {
|
|
29
60
|
const result = await checkDrift('/tmp');
|
|
@@ -43,12 +74,28 @@ describe('checkDrift', () => {
|
|
|
43
74
|
}
|
|
44
75
|
});
|
|
45
76
|
|
|
77
|
+
test('uses the latest saved topo hash when no live topo is provided', async () => {
|
|
78
|
+
const dir = createTempDir();
|
|
79
|
+
try {
|
|
80
|
+
const expectedHash = seedSavedTopo(dir);
|
|
81
|
+
const result = await checkDrift(dir);
|
|
82
|
+
|
|
83
|
+
expect(result.stale).toBe(false);
|
|
84
|
+
expect(result.currentHash).toBe(expectedHash);
|
|
85
|
+
} finally {
|
|
86
|
+
rmSync(dir, { force: true, recursive: true });
|
|
87
|
+
}
|
|
88
|
+
});
|
|
89
|
+
|
|
46
90
|
test('returns stale: false when lock matches current hash', async () => {
|
|
47
91
|
const dir = createTempDir();
|
|
48
92
|
try {
|
|
49
93
|
const tp = makeTopo();
|
|
50
|
-
const hash =
|
|
51
|
-
|
|
94
|
+
const hash = deriveSurfaceMapHash(deriveSurfaceMap(tp));
|
|
95
|
+
await writeSurfaceLock(
|
|
96
|
+
{ hash, version: 1 },
|
|
97
|
+
{ dir: committedLockDir(dir) }
|
|
98
|
+
);
|
|
52
99
|
|
|
53
100
|
const result = await checkDrift(dir, tp);
|
|
54
101
|
expect(result.stale).toBe(false);
|
|
@@ -62,7 +109,10 @@ describe('checkDrift', () => {
|
|
|
62
109
|
test('returns stale: true when lock does not match', async () => {
|
|
63
110
|
const dir = createTempDir();
|
|
64
111
|
try {
|
|
65
|
-
writeFileSync(
|
|
112
|
+
writeFileSync(
|
|
113
|
+
join(committedLockDir(dir), 'trails.lock'),
|
|
114
|
+
'outdated-hash\n'
|
|
115
|
+
);
|
|
66
116
|
|
|
67
117
|
const result = await checkDrift(dir, makeTopo());
|
|
68
118
|
expect(result.stale).toBe(true);
|
|
@@ -71,4 +121,24 @@ describe('checkDrift', () => {
|
|
|
71
121
|
rmSync(dir, { force: true, recursive: true });
|
|
72
122
|
}
|
|
73
123
|
});
|
|
124
|
+
|
|
125
|
+
test('blocks drift calculation when draft state remains in the topo', async () => {
|
|
126
|
+
const dir = createTempDir();
|
|
127
|
+
try {
|
|
128
|
+
const draftTrail = trail('test.hello', {
|
|
129
|
+
blaze: () => Result.ok({ greeting: 'hi' }),
|
|
130
|
+
crosses: ['_draft.test.prepare'],
|
|
131
|
+
input: z.object({ name: z.string() }),
|
|
132
|
+
output: z.object({ greeting: z.string() }),
|
|
133
|
+
});
|
|
134
|
+
|
|
135
|
+
const result = await checkDrift(dir, topo('test-app', { draftTrail }));
|
|
136
|
+
|
|
137
|
+
expect(result.stale).toBe(true);
|
|
138
|
+
expect(result.blockedReason).toContain('draft');
|
|
139
|
+
expect(result.currentHash).toBe('blocked');
|
|
140
|
+
} finally {
|
|
141
|
+
rmSync(dir, { force: true, recursive: true });
|
|
142
|
+
}
|
|
143
|
+
});
|
|
74
144
|
});
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import { describe, expect, test } from 'bun:test';
|
|
2
|
+
|
|
3
|
+
import { errorMappingCompleteness } from '../rules/error-mapping-completeness.js';
|
|
4
|
+
|
|
5
|
+
const TEST_FILE = 'transport-error-map.ts';
|
|
6
|
+
|
|
7
|
+
describe('error-mapping-completeness', () => {
|
|
8
|
+
test('passes complete mapper registrations', () => {
|
|
9
|
+
const code = `
|
|
10
|
+
import { createTransportErrorMapper } from '@ontrails/core';
|
|
11
|
+
|
|
12
|
+
const cliMapper = createTransportErrorMapper({
|
|
13
|
+
auth: 9,
|
|
14
|
+
cancelled: 130,
|
|
15
|
+
conflict: 3,
|
|
16
|
+
internal: 8,
|
|
17
|
+
network: 7,
|
|
18
|
+
not_found: 2,
|
|
19
|
+
permission: 4,
|
|
20
|
+
rate_limit: 6,
|
|
21
|
+
timeout: 5,
|
|
22
|
+
validation: 1,
|
|
23
|
+
});
|
|
24
|
+
`;
|
|
25
|
+
|
|
26
|
+
const diagnostics = errorMappingCompleteness.check(code, TEST_FILE);
|
|
27
|
+
|
|
28
|
+
expect(diagnostics).toHaveLength(0);
|
|
29
|
+
});
|
|
30
|
+
|
|
31
|
+
test('catches incomplete mapper registrations resolved through object properties', () => {
|
|
32
|
+
const code = `
|
|
33
|
+
import { createTransportErrorMapper } from '@ontrails/core';
|
|
34
|
+
|
|
35
|
+
const transportErrorMap = {
|
|
36
|
+
cli: {
|
|
37
|
+
conflict: 3,
|
|
38
|
+
internal: 8,
|
|
39
|
+
not_found: 2,
|
|
40
|
+
validation: 1,
|
|
41
|
+
},
|
|
42
|
+
};
|
|
43
|
+
|
|
44
|
+
const cliMapper = createTransportErrorMapper(transportErrorMap.cli);
|
|
45
|
+
`;
|
|
46
|
+
|
|
47
|
+
const diagnostics = errorMappingCompleteness.check(code, TEST_FILE);
|
|
48
|
+
|
|
49
|
+
expect(diagnostics).toHaveLength(1);
|
|
50
|
+
expect(diagnostics[0]?.rule).toBe('error-mapping-completeness');
|
|
51
|
+
expect(diagnostics[0]?.severity).toBe('error');
|
|
52
|
+
expect(diagnostics[0]?.message).toContain('auth');
|
|
53
|
+
expect(diagnostics[0]?.message).toContain('cancelled');
|
|
54
|
+
expect(diagnostics[0]?.line).toBeGreaterThan(0);
|
|
55
|
+
});
|
|
56
|
+
});
|
|
@@ -0,0 +1,101 @@
|
|
|
1
|
+
import { describe, expect, test } from 'bun:test';
|
|
2
|
+
|
|
3
|
+
import { exampleValid } from '../rules/example-valid.js';
|
|
4
|
+
|
|
5
|
+
const TEST_FILE = 'contours.ts';
|
|
6
|
+
|
|
7
|
+
describe('example-valid', () => {
|
|
8
|
+
test('passes when contour examples match the schema', () => {
|
|
9
|
+
const code = `
|
|
10
|
+
import { contour } from '@ontrails/core';
|
|
11
|
+
import { z } from 'zod';
|
|
12
|
+
|
|
13
|
+
const user = contour('user', {
|
|
14
|
+
id: z.string().uuid(),
|
|
15
|
+
name: z.string(),
|
|
16
|
+
}, {
|
|
17
|
+
examples: [{
|
|
18
|
+
id: '550e8400-e29b-41d4-a716-446655440000',
|
|
19
|
+
name: 'Ada',
|
|
20
|
+
}],
|
|
21
|
+
identity: 'id',
|
|
22
|
+
});
|
|
23
|
+
`;
|
|
24
|
+
|
|
25
|
+
expect(exampleValid.check(code, TEST_FILE)).toEqual([]);
|
|
26
|
+
});
|
|
27
|
+
|
|
28
|
+
test('flags invalid contour examples', () => {
|
|
29
|
+
const code = `
|
|
30
|
+
import { contour } from '@ontrails/core';
|
|
31
|
+
import { z } from 'zod';
|
|
32
|
+
|
|
33
|
+
const user = contour('user', {
|
|
34
|
+
id: z.string().uuid(),
|
|
35
|
+
name: z.string(),
|
|
36
|
+
}, {
|
|
37
|
+
examples: [{
|
|
38
|
+
id: 'not-a-uuid',
|
|
39
|
+
name: 42,
|
|
40
|
+
}],
|
|
41
|
+
identity: 'id',
|
|
42
|
+
});
|
|
43
|
+
`;
|
|
44
|
+
|
|
45
|
+
const diagnostics = exampleValid.check(code, TEST_FILE);
|
|
46
|
+
|
|
47
|
+
expect(diagnostics).toHaveLength(1);
|
|
48
|
+
expect(diagnostics[0]?.rule).toBe('example-valid');
|
|
49
|
+
expect(diagnostics[0]?.message).toContain('example 0 is invalid');
|
|
50
|
+
});
|
|
51
|
+
|
|
52
|
+
test('skips unsupported example expressions instead of guessing', () => {
|
|
53
|
+
const code = `
|
|
54
|
+
import { contour } from '@ontrails/core';
|
|
55
|
+
import { z } from 'zod';
|
|
56
|
+
|
|
57
|
+
const buildExample = () => ({
|
|
58
|
+
id: '550e8400-e29b-41d4-a716-446655440000',
|
|
59
|
+
name: 'Ada',
|
|
60
|
+
});
|
|
61
|
+
|
|
62
|
+
const user = contour('user', {
|
|
63
|
+
id: z.string().uuid(),
|
|
64
|
+
name: z.string(),
|
|
65
|
+
}, {
|
|
66
|
+
examples: [buildExample()],
|
|
67
|
+
identity: 'id',
|
|
68
|
+
});
|
|
69
|
+
`;
|
|
70
|
+
|
|
71
|
+
expect(exampleValid.check(code, TEST_FILE)).toEqual([]);
|
|
72
|
+
});
|
|
73
|
+
|
|
74
|
+
test('keeps dependent contour validation alive when base contours omit options', () => {
|
|
75
|
+
const code = `
|
|
76
|
+
import { contour } from '@ontrails/core';
|
|
77
|
+
import { z } from 'zod';
|
|
78
|
+
|
|
79
|
+
const base = contour('base', {
|
|
80
|
+
id: z.string().uuid(),
|
|
81
|
+
});
|
|
82
|
+
|
|
83
|
+
const child = contour('child', {
|
|
84
|
+
id: z.string().uuid(),
|
|
85
|
+
baseId: base.id(),
|
|
86
|
+
}, {
|
|
87
|
+
examples: [{
|
|
88
|
+
id: '550e8400-e29b-41d4-a716-446655440000',
|
|
89
|
+
baseId: 'not-a-uuid',
|
|
90
|
+
}],
|
|
91
|
+
identity: 'id',
|
|
92
|
+
});
|
|
93
|
+
`;
|
|
94
|
+
|
|
95
|
+
const diagnostics = exampleValid.check(code, TEST_FILE);
|
|
96
|
+
|
|
97
|
+
expect(diagnostics).toHaveLength(1);
|
|
98
|
+
expect(diagnostics[0]?.rule).toBe('example-valid');
|
|
99
|
+
expect(diagnostics[0]?.message).toContain('child');
|
|
100
|
+
});
|
|
101
|
+
});
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import { describe, expect, test } from 'bun:test';
|
|
2
|
+
|
|
3
|
+
import { firesDeclarations } from '../rules/fires-declarations.js';
|
|
4
|
+
|
|
5
|
+
const TEST_FILE = 'test.ts';
|
|
6
|
+
|
|
7
|
+
describe('fires-declarations — parameter-level destructure', () => {
|
|
8
|
+
test('parameter-level { fire } destructure is tracked (clean)', () => {
|
|
9
|
+
const code = `
|
|
10
|
+
trail('paramDestructure', {
|
|
11
|
+
fires: ['entity.created'],
|
|
12
|
+
blaze: async (input, { fire }) => {
|
|
13
|
+
await fire('entity.created', { name: input.name });
|
|
14
|
+
return Result.ok({});
|
|
15
|
+
},
|
|
16
|
+
});
|
|
17
|
+
`;
|
|
18
|
+
|
|
19
|
+
const diagnostics = firesDeclarations.check(code, TEST_FILE);
|
|
20
|
+
expect(diagnostics.length).toBe(0);
|
|
21
|
+
});
|
|
22
|
+
|
|
23
|
+
test('parameter-level { fire } destructure flags undeclared signal', () => {
|
|
24
|
+
const code = `
|
|
25
|
+
trail('paramDestructureUndeclared', {
|
|
26
|
+
blaze: async (input, { fire }) => {
|
|
27
|
+
await fire('undeclared.signal', { name: input.name });
|
|
28
|
+
return Result.ok({});
|
|
29
|
+
},
|
|
30
|
+
});
|
|
31
|
+
`;
|
|
32
|
+
|
|
33
|
+
const diagnostics = firesDeclarations.check(code, TEST_FILE);
|
|
34
|
+
expect(diagnostics.length).toBe(1);
|
|
35
|
+
expect(diagnostics[0]?.severity).toBe('error');
|
|
36
|
+
expect(diagnostics[0]?.message).toContain("'undeclared.signal'");
|
|
37
|
+
});
|
|
38
|
+
|
|
39
|
+
test('parameter-level { fire: emit } rename is tracked', () => {
|
|
40
|
+
const code = `
|
|
41
|
+
trail('paramRename', {
|
|
42
|
+
blaze: async (input, { fire: emit }) => {
|
|
43
|
+
await emit('undeclared.renamed', { name: input.name });
|
|
44
|
+
return Result.ok({});
|
|
45
|
+
},
|
|
46
|
+
});
|
|
47
|
+
`;
|
|
48
|
+
|
|
49
|
+
const diagnostics = firesDeclarations.check(code, TEST_FILE);
|
|
50
|
+
expect(diagnostics.length).toBe(1);
|
|
51
|
+
expect(diagnostics[0]?.severity).toBe('error');
|
|
52
|
+
expect(diagnostics[0]?.message).toContain("'undeclared.renamed'");
|
|
53
|
+
});
|
|
54
|
+
});
|