@jantstack/adonis-authz 2.0.0-alpha.1 → 2.4.0-alpha.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +693 -36
- package/build/commands/authz_catalog_diff.js +1 -1
- package/build/commands/authz_catalog_diff.js.map +1 -1
- package/build/commands/authz_catalog_prune_orphans.d.ts +78 -0
- package/build/commands/authz_catalog_prune_orphans.d.ts.map +1 -0
- package/build/commands/authz_catalog_prune_orphans.js +136 -0
- package/build/commands/authz_catalog_prune_orphans.js.map +1 -0
- package/build/commands/authz_catalog_sync.d.ts +17 -0
- package/build/commands/authz_catalog_sync.d.ts.map +1 -1
- package/build/commands/authz_catalog_sync.js +27 -4
- package/build/commands/authz_catalog_sync.js.map +1 -1
- package/build/commands/authz_freeze.d.ts +44 -0
- package/build/commands/authz_freeze.d.ts.map +1 -0
- package/build/commands/authz_freeze.js +95 -0
- package/build/commands/authz_freeze.js.map +1 -0
- package/build/commands/authz_reconcile.d.ts +102 -0
- package/build/commands/authz_reconcile.d.ts.map +1 -0
- package/build/commands/authz_reconcile.js +294 -0
- package/build/commands/authz_reconcile.js.map +1 -0
- package/build/commands/authz_relations_reconcile.d.ts +97 -0
- package/build/commands/authz_relations_reconcile.d.ts.map +1 -0
- package/build/commands/authz_relations_reconcile.js +313 -0
- package/build/commands/authz_relations_reconcile.js.map +1 -0
- package/build/commands/authz_scopes_relay.d.ts +47 -0
- package/build/commands/authz_scopes_relay.d.ts.map +1 -0
- package/build/commands/authz_scopes_relay.js +141 -0
- package/build/commands/authz_scopes_relay.js.map +1 -0
- package/build/commands/authz_unfreeze.d.ts +37 -0
- package/build/commands/authz_unfreeze.d.ts.map +1 -0
- package/build/commands/authz_unfreeze.js +92 -0
- package/build/commands/authz_unfreeze.js.map +1 -0
- package/build/commands/main.d.ts +6 -1
- package/build/commands/main.d.ts.map +1 -1
- package/build/commands/main.js +6 -1
- package/build/commands/main.js.map +1 -1
- package/build/commands/openfga_provision.d.ts +46 -4
- package/build/commands/openfga_provision.d.ts.map +1 -1
- package/build/commands/openfga_provision.js +90 -7
- package/build/commands/openfga_provision.js.map +1 -1
- package/build/configure.d.ts +11 -0
- package/build/configure.d.ts.map +1 -1
- package/build/configure.js +37 -1
- package/build/configure.js.map +1 -1
- package/build/index.d.ts +50 -10
- package/build/index.d.ts.map +1 -1
- package/build/index.js +45 -6
- package/build/index.js.map +1 -1
- package/build/providers/authz_provider.d.ts +26 -2
- package/build/providers/authz_provider.d.ts.map +1 -1
- package/build/providers/authz_provider.js +55 -2
- package/build/providers/authz_provider.js.map +1 -1
- package/build/services/relations.d.ts +14 -0
- package/build/services/relations.d.ts.map +1 -0
- package/build/services/relations.js +17 -0
- package/build/services/relations.js.map +1 -0
- package/build/src/{catalog.d.ts → catalog/catalog.d.ts} +41 -2
- package/build/src/catalog/catalog.d.ts.map +1 -0
- package/build/src/{catalog.js → catalog/catalog.js} +120 -14
- package/build/src/catalog/catalog.js.map +1 -0
- package/build/src/{catalog_cache.d.ts → catalog/catalog_cache.d.ts} +46 -22
- package/build/src/catalog/catalog_cache.d.ts.map +1 -0
- package/build/src/{catalog_cache.js → catalog/catalog_cache.js} +53 -43
- package/build/src/catalog/catalog_cache.js.map +1 -0
- package/build/src/define_config.d.ts +137 -3
- package/build/src/define_config.d.ts.map +1 -1
- package/build/src/define_config.js.map +1 -1
- package/build/src/drivers/database_driver.d.ts +128 -7
- package/build/src/drivers/database_driver.d.ts.map +1 -1
- package/build/src/drivers/database_driver.js +510 -24
- package/build/src/drivers/database_driver.js.map +1 -1
- package/build/src/drivers/database_relations_driver.d.ts +113 -0
- package/build/src/drivers/database_relations_driver.d.ts.map +1 -0
- package/build/src/drivers/database_relations_driver.js +679 -0
- package/build/src/drivers/database_relations_driver.js.map +1 -0
- package/build/src/drivers/openfga_driver.d.ts +729 -122
- package/build/src/drivers/openfga_driver.d.ts.map +1 -1
- package/build/src/drivers/openfga_driver.js +2083 -476
- package/build/src/drivers/openfga_driver.js.map +1 -1
- package/build/src/drivers/openfga_facts.d.ts +384 -0
- package/build/src/drivers/openfga_facts.d.ts.map +1 -0
- package/build/src/drivers/openfga_facts.js +836 -0
- package/build/src/drivers/openfga_facts.js.map +1 -0
- package/build/src/drivers/openfga_relations_driver.d.ts +141 -0
- package/build/src/drivers/openfga_relations_driver.d.ts.map +1 -0
- package/build/src/drivers/openfga_relations_driver.js +590 -0
- package/build/src/drivers/openfga_relations_driver.js.map +1 -0
- package/build/src/errors.d.ts +290 -5
- package/build/src/errors.d.ts.map +1 -1
- package/build/src/errors.js +296 -7
- package/build/src/errors.js.map +1 -1
- package/build/src/freeze.d.ts +141 -0
- package/build/src/freeze.d.ts.map +1 -0
- package/build/src/freeze.js +217 -0
- package/build/src/freeze.js.map +1 -0
- package/build/src/http/app_access_middleware.d.ts.map +1 -0
- package/build/src/http/app_access_middleware.js.map +1 -0
- package/build/src/http/resource_access_middleware.d.ts +105 -0
- package/build/src/http/resource_access_middleware.d.ts.map +1 -0
- package/build/src/http/resource_access_middleware.js +81 -0
- package/build/src/http/resource_access_middleware.js.map +1 -0
- package/build/src/identity.d.ts +74 -1
- package/build/src/identity.d.ts.map +1 -1
- package/build/src/identity.js +100 -2
- package/build/src/identity.js.map +1 -1
- package/build/src/manager.d.ts +330 -4
- package/build/src/manager.d.ts.map +1 -1
- package/build/src/manager.js +1285 -188
- package/build/src/manager.js.map +1 -1
- package/build/src/models/authz_assignment.d.ts +7 -7
- package/build/src/models/authz_assignment.d.ts.map +1 -1
- package/build/src/models/authz_deny.d.ts +7 -7
- package/build/src/models/authz_deny.d.ts.map +1 -1
- package/build/src/models/authz_permission.d.ts +7 -7
- package/build/src/models/authz_permission.d.ts.map +1 -1
- package/build/src/models/authz_role.d.ts +7 -7
- package/build/src/models/authz_role.d.ts.map +1 -1
- package/build/src/models/authz_role_permission.d.ts +7 -7
- package/build/src/models/authz_role_permission.d.ts.map +1 -1
- package/build/src/openfga.d.ts +18 -2
- package/build/src/openfga.d.ts.map +1 -1
- package/build/src/openfga.js +15 -1
- package/build/src/openfga.js.map +1 -1
- package/build/src/reconcile.d.ts +37 -0
- package/build/src/reconcile.d.ts.map +1 -0
- package/build/src/reconcile.js +69 -0
- package/build/src/reconcile.js.map +1 -0
- package/build/src/relation_partition_trigger.d.ts +8 -0
- package/build/src/relation_partition_trigger.d.ts.map +1 -0
- package/build/src/relation_partition_trigger.js +93 -0
- package/build/src/relation_partition_trigger.js.map +1 -0
- package/build/src/relations/define_relations_config.d.ts +75 -0
- package/build/src/relations/define_relations_config.d.ts.map +1 -0
- package/build/src/relations/define_relations_config.js +173 -0
- package/build/src/relations/define_relations_config.js.map +1 -0
- package/build/src/relations/manager.d.ts +60 -0
- package/build/src/relations/manager.d.ts.map +1 -0
- package/build/src/relations/manager.js +213 -0
- package/build/src/relations/manager.js.map +1 -0
- package/build/src/relations/reconcile.d.ts +111 -0
- package/build/src/relations/reconcile.d.ts.map +1 -0
- package/build/src/relations/reconcile.js +200 -0
- package/build/src/relations/reconcile.js.map +1 -0
- package/build/src/relations_config_store.d.ts +22 -0
- package/build/src/relations_config_store.d.ts.map +1 -0
- package/build/src/relations_config_store.js +74 -0
- package/build/src/relations_config_store.js.map +1 -0
- package/build/src/scope_outbox.d.ts +69 -0
- package/build/src/scope_outbox.d.ts.map +1 -0
- package/build/src/scope_outbox.js +298 -0
- package/build/src/scope_outbox.js.map +1 -0
- package/build/src/{drivers → shared}/backend_guard.d.ts +42 -0
- package/build/src/shared/backend_guard.d.ts.map +1 -0
- package/build/src/{drivers → shared}/backend_guard.js +78 -1
- package/build/src/shared/backend_guard.js.map +1 -0
- package/build/src/shared/sql_expiry.d.ts.map +1 -0
- package/build/src/shared/sql_expiry.js.map +1 -0
- package/build/src/shared/transaction_guard.d.ts +50 -0
- package/build/src/shared/transaction_guard.d.ts.map +1 -0
- package/build/src/shared/transaction_guard.js +60 -0
- package/build/src/shared/transaction_guard.js.map +1 -0
- package/build/src/sql_descendants.d.ts +47 -1
- package/build/src/sql_descendants.d.ts.map +1 -1
- package/build/src/sql_descendants.js +75 -1
- package/build/src/sql_descendants.js.map +1 -1
- package/build/src/testing/contract.d.ts +129 -4
- package/build/src/testing/contract.d.ts.map +1 -1
- package/build/src/testing/contract.js +912 -177
- package/build/src/testing/contract.js.map +1 -1
- package/build/src/testing/main.d.ts +8 -2
- package/build/src/testing/main.d.ts.map +1 -1
- package/build/src/testing/main.js +4 -1
- package/build/src/testing/main.js.map +1 -1
- package/build/src/testing/migration_contract.d.ts +284 -0
- package/build/src/testing/migration_contract.d.ts.map +1 -0
- package/build/src/testing/migration_contract.js +586 -0
- package/build/src/testing/migration_contract.js.map +1 -0
- package/build/src/testing/relations_contract.d.ts +73 -0
- package/build/src/testing/relations_contract.d.ts.map +1 -0
- package/build/src/testing/relations_contract.js +1069 -0
- package/build/src/testing/relations_contract.js.map +1 -0
- package/build/src/testing/relations_reconcile_contract.d.ts +24 -0
- package/build/src/testing/relations_reconcile_contract.d.ts.map +1 -0
- package/build/src/testing/relations_reconcile_contract.js +220 -0
- package/build/src/testing/relations_reconcile_contract.js.map +1 -0
- package/build/src/traits/authz_scopes.js +1 -1
- package/build/src/traits/authz_scopes.js.map +1 -1
- package/build/src/traits/has_uuid.d.ts +8 -8
- package/build/src/traits/has_uuid.d.ts.map +1 -1
- package/build/src/types.d.ts +1053 -83
- package/build/src/types.d.ts.map +1 -1
- package/build/src/types.js +10 -0
- package/build/src/types.js.map +1 -1
- package/build/stubs/config/authorization.stub +104 -4
- package/build/stubs/migration.stub +136 -0
- package/build/stubs/scopes_outbox_migration.stub +57 -0
- package/package.json +4 -2
- package/build/commands/openfga_import.d.ts +0 -34
- package/build/commands/openfga_import.d.ts.map +0 -1
- package/build/commands/openfga_import.js +0 -97
- package/build/commands/openfga_import.js.map +0 -1
- package/build/src/catalog.d.ts.map +0 -1
- package/build/src/catalog.js.map +0 -1
- package/build/src/catalog_cache.d.ts.map +0 -1
- package/build/src/catalog_cache.js.map +0 -1
- package/build/src/drivers/backend_guard.d.ts.map +0 -1
- package/build/src/drivers/backend_guard.js.map +0 -1
- package/build/src/drivers/sql_expiry.d.ts.map +0 -1
- package/build/src/drivers/sql_expiry.js.map +0 -1
- package/build/src/middleware/app_access_middleware.d.ts.map +0 -1
- package/build/src/middleware/app_access_middleware.js.map +0 -1
- /package/build/src/{middleware → http}/app_access_middleware.d.ts +0 -0
- /package/build/src/{middleware → http}/app_access_middleware.js +0 -0
- /package/build/src/{drivers → shared}/sql_expiry.d.ts +0 -0
- /package/build/src/{drivers → shared}/sql_expiry.js +0 -0
package/build/src/errors.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,OAAO,yBAA0B,SAAQ,SAAS;IACtD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,6BAA6B,CAAA;IAE3C,YAAY,MAAc,EAAE,SAAiB,EAAE,KAAc;QAC3D,KAAK,CAAC,+BAA+B,MAAM,mBAAmB,SAAS,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IACxF,CAAC;;AAGH;;;;;GAKG;AACH,MAAM,OAAO,gCAAiC,SAAQ,yBAAyB;IAC7E,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;IAEvC,YAAY,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAE,KAAe;QAC/E,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC/B,IAAI,CAAC,OAAO,GAAG,+BAA+B,MAAM,qBAAqB,SAAS,QAAQ,SAAS,GAAG,CAAA;IACxG,CAAC;;AAGH;;;;GAIG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;IAEvC,YAAY,SAAiB,EAAE,KAAc;QAC3C,KAAK,CAAC,8CAA8C,SAAS,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IAC9E,CAAC;;AAGH;;;;;GAKG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,sBAAsB,CAAA;;AAGtC;;;;GAIG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gBAAgB,CAAA;;AAGhC;;;;GAIG;AACH,MAAM,OAAO,0BAA2B,SAAQ,SAAS;IACvD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,kBAAkB,CAAA;;AAGlC;;;;;;GAMG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,uBAAuB,CAAA;;AAGvC;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,2BAA2B,CAAA;;AAG3C;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,sBAAsB,CAAA;IAEpC,YAAY,UAAkB,EAAE,SAAkB;QAChD,KAAK,CACH,SAAS,KAAK,SAAS;YACrB,CAAC,CAAC,iBAAiB,UAAU,4BAA4B;YACzD,CAAC,CAAC,QAAQ,UAAU,6CAA6C,SAAS,GAAG,CAChF,CAAA;IACH,CAAC;;AAGH;;;;;;GAMG;AACH,MAAM,OAAO,mBAAoB,SAAQ,SAAS;IAChD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;;;;;;GASG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gCAAgC,CAAA;;AAGhD;;;;;GAKG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;;;GAMG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gCAAgC,CAAA;;AAGhD;;;;;;;GAOG;AACH,MAAM,OAAO,2BAA4B,SAAQ,SAAS;IACxD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,kCAAkC,CAAA;;AAGlD;;;;;GAKG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,uBAAuB,CAAA;;AAGvC;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C,8EAA8E;AAC9E,MAAM,OAAO,sBAAuB,SAAQ,SAAS;IACnD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,4BAA4B,CAAA;IAE1C,YAAY,IAAY;QACtB,KAAK,CAAC,YAAY,IAAI,4BAA4B,CAAC,CAAA;IACrD,CAAC;;AAGH;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,4BAA4B,CAAA;IAE1C,YAAY,IAAa;QACvB,KAAK,CACH,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oDAAoD;YAC3F,8EAA8E;YAC9E,iFAAiF;YACjF,4CAA4C,CAC/C,CAAA;IACH,CAAC;;AAGH;;;;;GAKG;AACH,MAAM,OAAO,eAAgB,SAAQ,SAAS;IAC5C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,qBAAqB,CAAA;;AAGrC;;;;GAIG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C
|
|
1
|
+
{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,OAAO,yBAA0B,SAAQ,SAAS;IACtD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,6BAA6B,CAAA;IAE3C,YAAY,MAAc,EAAE,SAAiB,EAAE,KAAc;QAC3D,KAAK,CAAC,+BAA+B,MAAM,mBAAmB,SAAS,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IACxF,CAAC;;AAGH;;;;;GAKG;AACH,MAAM,OAAO,gCAAiC,SAAQ,yBAAyB;IAC7E,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;IAEvC,YAAY,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAE,KAAe;QAC/E,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC/B,IAAI,CAAC,OAAO,GAAG,+BAA+B,MAAM,qBAAqB,SAAS,QAAQ,SAAS,GAAG,CAAA;IACxG,CAAC;;AAGH;;;;GAIG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;IAEvC,YAAY,SAAiB,EAAE,KAAc;QAC3C,KAAK,CAAC,8CAA8C,SAAS,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IAC9E,CAAC;;AAGH;;;;;GAKG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,sBAAsB,CAAA;;AAGtC;;;;GAIG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gBAAgB,CAAA;;AAGhC;;;;GAIG;AACH,MAAM,OAAO,0BAA2B,SAAQ,SAAS;IACvD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,kBAAkB,CAAA;;AAGlC;;;;;;GAMG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,uBAAuB,CAAA;;AAGvC;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,2BAA2B,CAAA;;AAG3C;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,sBAAsB,CAAA;IAEpC,YAAY,UAAkB,EAAE,SAAkB;QAChD,KAAK,CACH,SAAS,KAAK,SAAS;YACrB,CAAC,CAAC,iBAAiB,UAAU,4BAA4B;YACzD,CAAC,CAAC,QAAQ,UAAU,6CAA6C,SAAS,GAAG,CAChF,CAAA;IACH,CAAC;;AAGH;;;;;;GAMG;AACH,MAAM,OAAO,mBAAoB,SAAQ,SAAS;IAChD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;;;;;;GASG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gCAAgC,CAAA;;AAGhD;;;;;GAKG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;;;GAMG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gCAAgC,CAAA;;AAGhD;;;;;;;GAOG;AACH,MAAM,OAAO,2BAA4B,SAAQ,SAAS;IACxD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,kCAAkC,CAAA;;AAGlD;;;;;GAKG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,uBAAuB,CAAA;;AAGvC;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C,8EAA8E;AAC9E,MAAM,OAAO,sBAAuB,SAAQ,SAAS;IACnD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,4BAA4B,CAAA;IAE1C,YAAY,IAAY;QACtB,KAAK,CAAC,YAAY,IAAI,4BAA4B,CAAC,CAAA;IACrD,CAAC;;AAGH;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,4BAA4B,CAAA;IAE1C,YAAY,IAAa;QACvB,KAAK,CACH,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oDAAoD;YAC3F,8EAA8E;YAC9E,iFAAiF;YACjF,4CAA4C,CAC/C,CAAA;IACH,CAAC;;AAGH;;;;;GAKG;AACH,MAAM,OAAO,eAAgB,SAAQ,SAAS;IAC5C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,qBAAqB,CAAA;;AAGrC;;;;GAIG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C;;;;;;;;;;GAUG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;GAIG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;;;;GAOG;AACH,MAAM,OAAO,cAAe,SAAQ,SAAS;IAC3C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,oBAAoB,CAAA;;AAGpC;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,SAAS;IAChD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;;AAGzC;;;;;;GAMG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,+BAA+B,CAAA;;AAG/C;;;;;;GAMG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;;AAGzC;;;;GAIG;AACH,MAAM,OAAO,uBAAwB,SAAQ,SAAS;IACpD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,6BAA6B,CAAA;;AAG7C;;;;;GAKG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,wBAAwB,CAAA;;AAGxC;;;;;GAKG;AACH,MAAM,OAAO,yBAA0B,SAAQ,SAAS;IACtD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,qBAAqB,CAAA;IAEnC,YAAY,MAAc,EAAE,SAAiB,EAAE,MAAc,EAAE,IAAa;QAC1E,KAAK,CACH,GAAG,SAAS,cAAc,MAAM,kBAAkB,MAAM,gDAAgD;YACtG,yEAAyE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACvG,CAAA;IACH,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,aAAa,CAAC,SAAiB,EAAE,MAAc,EAAE,IAA2B;QACjF,MAAM,KAAK,GAAG,IAAI,yBAAyB,CAAC,qBAAqB,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;QACrF,KAAK,CAAC,OAAO;YACX,GAAG,SAAS,uFAAuF,MAAM,IAAI;gBAC7G,0GAA0G;gBAC1G,8GAA8G;gBAC9G,kDAAkD,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,MAAM;gBAC1G,qEAAqE;gBACrE,GAAG,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,EAAE,mCAAmC;gBAChH,qEAAqE,CAAA;QACvE,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;;;;;;;OAUG;IACH,MAAM,CAAC,mBAAmB,CAAC,SAAiB,EAAE,MAAc,EAAE,IAA2B;QACvF,MAAM,KAAK,GAAG,yBAAyB,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;QAC9E,KAAK,CAAC,OAAO;YACX,6BAA6B,MAAM,wEAAwE;gBAC3G,4GAA4G;gBAC5G,6HAA6H,CAAA;QAC/H,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,oBAAoB,CAAC,SAAiB;QAC3C,MAAM,KAAK,GAAG,IAAI,yBAAyB,CAAC,qBAAqB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;QACxF,KAAK,CAAC,OAAO;YACX,GAAG,SAAS,qFAAqF;gBACjG,+GAA+G;gBAC/G,8GAA8G;gBAC9G,oFAAoF,CAAA;QACtF,OAAO,KAAK,CAAA;IACd,CAAC;;AAGH;;;;;;GAMG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,sBAAsB,CAAA;;AAGtC;;;;GAIG;AACH,MAAM,OAAO,0BAA2B,SAAQ,SAAS;IACvD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,iCAAiC,CAAA;;AAGjD;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,qBAAsB,SAAQ,SAAS;IAClD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,4BAA4B,CAAA;;AAG5C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,qBAAsB,SAAQ,SAAS;IAMvC;IACA;IANX,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,2BAA2B,CAAA;IAEzC,YACE,OAAe,EACN,MAAuF,EACvF,OAAkH,EAC3H,OAAsB;QAEtB,KAAK,CAAC,OAAO,EAAE,OAAc,CAAC,CAAA;QAJrB,WAAM,GAAN,MAAM,CAAiF;QACvF,YAAO,GAAP,OAAO,CAA2G;IAI7H,CAAC;;AAGH;;;;;;GAMG;AACH,MAAM,OAAO,sBAAuB,SAAQ,SAAS;IACnD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,8BAA8B,CAAA;;AAG9C;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;;AAGzC;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,mBAAoB,SAAQ,SAAS;IAChD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,yBAAyB,CAAA;;AAGzC;;;;;;;;GAQG;AACH,MAAM,OAAO,mBAAoB,SAAQ,SAAS;IAChD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA;;AAG1C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gBAAgB,CAAA;IAE9B,uEAAuE;IAC9D,SAAS,GAAG,IAAI,CAAA;;AAG3B;;;;;;;;;;GAUG;AACH,MAAM,OAAO,eAAgB,SAAQ,SAAS;IAC5C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,qBAAqB,CAAA;;AAGrC;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,yBAA0B,SAAQ,SAAS;IACtD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,gCAAgC,CAAA;;AAGhD;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,sBAAuB,SAAQ,SAAS;IACnD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,6BAA6B,CAAA;;AAG7C;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,+BAA+B,CAAA;;AAG/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,+BAA+B,CAAA;;AAG/C;;;;;;;GAOG;AACH,MAAM,OAAO,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,MAAM,CAAC,IAAI,GAAG,0BAA0B,CAAA"}
|
|
@@ -0,0 +1,141 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* El **freeze DURABLE** (3b-7; decisión del dueño del 2026-08-31 (3b):
|
|
3
|
+
* B + E-analista). Primitivas SQL puras; la policy (quién congela, el
|
|
4
|
+
* anidado, el contexto del operador) vive en el manager.
|
|
5
|
+
*
|
|
6
|
+
* El freeze cuelga de la fila `id = 2` de `authz_catalog_version` — la señal
|
|
7
|
+
* entre procesos que el paquete ya usa (invariante 14). La colocación está
|
|
8
|
+
* MEDIDA (panel 3, analista §4.1): en la fila `id = 1` la renovación del
|
|
9
|
+
* lease espera al `FOR UPDATE` de `withAuthzCatalogWrite` (816 ms en PG /
|
|
10
|
+
* 805 en MySQL con un sync de 800 ms); en su propia fila, 10-12 ms. Y la
|
|
11
|
+
* consulta de la barrera es PROPIA y sin memo (juez C2): colgarse del memo
|
|
12
|
+
* del catálogo haría del freeze «una ventana acotada de freeze que todavía
|
|
13
|
+
* no aplica» con `catalogRevalidate: { everyMs }`. El coste que se publica
|
|
14
|
+
* es el medido: +0,14 ms p50 por escritura (PG; +0,11 MySQL), 0 por
|
|
15
|
+
* `authorize`.
|
|
16
|
+
*
|
|
17
|
+
* Las tres reglas del protocolo:
|
|
18
|
+
* - **Token de dueño** (`fence` + `holder`): `acquire` sube el fence y solo
|
|
19
|
+
* hay UN freeze vivo a la vez; `release`/`renew` son condicionales por
|
|
20
|
+
* token, así que un `unfreeze` ajeno o rezagado es un no-op (auditor
|
|
21
|
+
* A1.3: el `finally` de una ventana interior ya no puede levantar la
|
|
22
|
+
* barrera de otra).
|
|
23
|
+
* - **Lease**: `untilMs` en ms de PARED (el reloj del config, el mismo que
|
|
24
|
+
* decide caducidades). Vencido ⇒ el freeze deja de estar vivo y la flota
|
|
25
|
+
* vuelve a escribir SOLA — tras un `SIGKILL` nadie limpia nada (medido:
|
|
26
|
+
* 2 527 ms con lease de 3 000). `untilMs: null` = sin caducidad (la
|
|
27
|
+
* ventana del operador).
|
|
28
|
+
* - **Fence publicado**: la renovación exige `freeze_until_ms > now`; una
|
|
29
|
+
* renovación que toca 0 filas significa que el lease se PERDIÓ a mitad
|
|
30
|
+
* (pausa de GC, base caída más tiempo que el lease) y quien lo sostiene
|
|
31
|
+
* lo marca `lapsed` — la pasada no se certifica (juez C4).
|
|
32
|
+
*
|
|
33
|
+
* La fila ausente (o las columnas: una base migrada con el stub < 2.3) es
|
|
34
|
+
* **503 «migración 2.0 no aplicada»** en toda escritura, jamás «no
|
|
35
|
+
* congelado»: el mismo patrón que la fila `id = 1` del memo. Un upsert
|
|
36
|
+
* perezoso desde la barrera sería una escritura en el camino de lectura,
|
|
37
|
+
* fuera de `withAuthzCatalogWrite`, y una carrera gratis.
|
|
38
|
+
*
|
|
39
|
+
* **La barrera se lee SIEMPRE por la conexión del motor, nunca por un
|
|
40
|
+
* cliente del llamante** (L-1 · 🟠 8, dictamen del juez del panel `{trx}`).
|
|
41
|
+
* Hasta L-1 `readFreezeRow` aceptaba `client` —la transacción del consumidor,
|
|
42
|
+
* «para no interbloquear un pool de 1»— y eso convertía la AUTORIDAD en una
|
|
43
|
+
* decisión del llamante: un cliente que responde «no congelado», o el
|
|
44
|
+
* snapshot REPEATABLE READ de una transacción abierta ANTES del freeze, dejaba
|
|
45
|
+
* entrar la escritura (medido: auditor C1 en SQLite; MySQL/PG en
|
|
46
|
+
* `freeze.spec.ts`). La regla: *la escritura va por tu transacción; la
|
|
47
|
+
* autoridad que decide si puedes escribir, nunca*. El precio, decidido por el
|
|
48
|
+
* dueño: `{ transaction }` exige pool ≥ 2 — con pool 1 la lectura de la
|
|
49
|
+
* barrera espera una conexión que el llamante sostiene y sale **503
|
|
50
|
+
* `E_AUTHZ_BACKEND_TIMEOUT` al vencer SU deadline** (`withDeadline`, porque
|
|
51
|
+
* el `timeout()` de knex NO cubre la espera del pool: medido, 60 s), jamás
|
|
52
|
+
* un cuelgue ni un bypass.
|
|
53
|
+
*/
|
|
54
|
+
/** La fila del freeze durable (la `id = 1` es la versión del catálogo). */
|
|
55
|
+
export declare const FREEZE_ROW_ID = 2;
|
|
56
|
+
/** Lease por defecto (analista §2.3): 15 s renovados cada 5 s cubren cualquier pausa razonable y acotan la parada tras un `SIGKILL`. */
|
|
57
|
+
export declare const DEFAULT_FREEZE_LEASE_MS = 15000;
|
|
58
|
+
/** Quién congela: el dueño va escrito en la fila (`<kind>:<pid>:<hex>`). */
|
|
59
|
+
export type FreezeKind = 'operator' | 'reconcile' | 'platform';
|
|
60
|
+
/** El token del dueño: lo devuelve `freeze()` y es lo ÚNICO que levanta o renueva ese freeze. */
|
|
61
|
+
export interface FreezeToken {
|
|
62
|
+
/** Número de generación: sube en cada `acquire`, nunca se reutiliza. */
|
|
63
|
+
fence: number;
|
|
64
|
+
/** `<kind>:<pid>:<hex>`: identifica al proceso que congeló. */
|
|
65
|
+
holder: string;
|
|
66
|
+
}
|
|
67
|
+
/** La fila del freeze, tal como está en la base. */
|
|
68
|
+
export interface FreezeRow {
|
|
69
|
+
reason: string | null;
|
|
70
|
+
holder: string | null;
|
|
71
|
+
untilMs: number | null;
|
|
72
|
+
fence: number;
|
|
73
|
+
}
|
|
74
|
+
export interface FreezeSqlOptions {
|
|
75
|
+
/** Etiqueta del driver en los errores 503 (default `freeze`). */
|
|
76
|
+
driver?: string;
|
|
77
|
+
/**
|
|
78
|
+
* Deadline TOTAL de cada consulta (default 5000), espera del pool incluida:
|
|
79
|
+
* vencido ⇒ 503 `E_AUTHZ_BACKEND_TIMEOUT`. No hay opción para leer por otro
|
|
80
|
+
* cliente: la barrera es autoridad y va por la conexión del motor (L-1).
|
|
81
|
+
*/
|
|
82
|
+
timeoutMs?: number;
|
|
83
|
+
}
|
|
84
|
+
/**
|
|
85
|
+
* Lee la fila del freeze **por la conexión del motor** (503 clasificado si la
|
|
86
|
+
* base no responde o el pool no da una conexión en `timeoutMs`; 503 «migración
|
|
87
|
+
* no aplicada» si no existe). No acepta cliente: es la autoridad (L-1 · 🟠 8).
|
|
88
|
+
*/
|
|
89
|
+
export declare function readFreezeRow(options?: FreezeSqlOptions): Promise<FreezeRow>;
|
|
90
|
+
/** ¿Está VIVO este freeze en el instante `nowMs`? (motivo puesto y lease sin vencer; `untilMs: null` no vence). */
|
|
91
|
+
export declare function freezeIsLive(row: FreezeRow, nowMs: number): boolean;
|
|
92
|
+
export interface FreezeBarrierOptions extends FreezeSqlOptions {
|
|
93
|
+
/** Milisegundos de PARED del reloj del config (el mismo que decide caducidades). */
|
|
94
|
+
nowMs: number;
|
|
95
|
+
}
|
|
96
|
+
/**
|
|
97
|
+
* **La barrera del freeze**, la MISMA para los dos motores (roles y
|
|
98
|
+
* relations, L-1 · J1): lee la fila por la conexión del motor y lanza 503
|
|
99
|
+
* `E_AUTHZ_FROZEN` (reintentable) si hay un freeze vivo en `nowMs`. Va
|
|
100
|
+
* delante de TODA escritura, antes de validar identidades o tocar el driver:
|
|
101
|
+
* durante una ventana una escritura no se valida a medias, se rechaza entera.
|
|
102
|
+
* Nunca recibe un cliente del llamante — ver el docblock del módulo.
|
|
103
|
+
*/
|
|
104
|
+
export declare function assertNotFrozenRow(operation: string, options: FreezeBarrierOptions): Promise<void>;
|
|
105
|
+
/**
|
|
106
|
+
* Toma el freeze si NADIE lo sostiene vivo (condicional y atómico: dos
|
|
107
|
+
* `acquire` a la vez acaban en exactamente uno). Devuelve el token, o `null`
|
|
108
|
+
* si hay un freeze vivo de otro dueño (el llamante decide si eso es 423 o un
|
|
109
|
+
* contexto que reconoce).
|
|
110
|
+
*/
|
|
111
|
+
export declare function acquireFreeze(input: {
|
|
112
|
+
reason: string;
|
|
113
|
+
holder: string;
|
|
114
|
+
untilMs: number | null;
|
|
115
|
+
nowMs: number;
|
|
116
|
+
}, options?: FreezeSqlOptions): Promise<FreezeToken | null>;
|
|
117
|
+
/**
|
|
118
|
+
* Renueva el lease, CONDICIONAL por token y solo si aún no venció
|
|
119
|
+
* (`freeze_until_ms > now`). `false` = el lease se PERDIÓ (caducó a mitad, o
|
|
120
|
+
* otro dueño tomó el freeze): el llamante lo marca `lapsed` y deja de
|
|
121
|
+
* renovar — nunca «recupera» un freeze que ya no es suyo.
|
|
122
|
+
*/
|
|
123
|
+
export declare function renewFreeze(token: FreezeToken, input: {
|
|
124
|
+
untilMs: number;
|
|
125
|
+
nowMs: number;
|
|
126
|
+
}, options?: FreezeSqlOptions): Promise<boolean>;
|
|
127
|
+
/**
|
|
128
|
+
* Levanta el freeze de ESTE token (condicional: uno ajeno o rezagado no toca
|
|
129
|
+
* nada). Devuelve además `lapsed`: si en el instante de cerrar el lease ya
|
|
130
|
+
* estaba vencido o el token ya no era el de la fila, hubo una ventana en la
|
|
131
|
+
* que otros procesos pudieron escribir — es lo que el reporte publica.
|
|
132
|
+
*/
|
|
133
|
+
export declare function releaseFreeze(token: FreezeToken, input: {
|
|
134
|
+
nowMs: number;
|
|
135
|
+
}, options?: FreezeSqlOptions): Promise<{
|
|
136
|
+
released: boolean;
|
|
137
|
+
lapsed: boolean;
|
|
138
|
+
}>;
|
|
139
|
+
/** El `kind` que el holder lleva escrito (`operator:123:ab…` → `operator`). */
|
|
140
|
+
export declare function freezeKindOf(holder: string | null): FreezeKind | 'unknown';
|
|
141
|
+
//# sourceMappingURL=freeze.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"freeze.d.ts","sourceRoot":"","sources":["../../src/freeze.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,2EAA2E;AAC3E,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B,wIAAwI;AACxI,eAAO,MAAM,uBAAuB,QAAS,CAAA;AAI7C,4EAA4E;AAC5E,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,CAAA;AAE9D,iGAAiG;AACjG,MAAM,WAAW,WAAW;IAC1B,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAA;IACb,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAA;CACf;AAED,oDAAoD;AACpD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,KAAK,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAyCD;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,OAAO,GAAE,gBAAqB,GAAG,OAAO,CAAC,SAAS,CAAC,CAkBtF;AAED,mHAAmH;AACnH,wBAAgB,YAAY,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAGnE;AAED,MAAM,WAAW,oBAAqB,SAAQ,gBAAgB;IAC5D,oFAAoF;IACpF,KAAK,EAAE,MAAM,CAAA;CACd;AAED;;;;;;;GAOG;AACH,wBAAsB,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC,CAQxG;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAChF,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CA8B7B;AAED;;;;;GAKG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EACzC,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,OAAO,CAAC,CAYlB;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,EACxB,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,CAejD;AAED,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU,GAAG,SAAS,CAG1E"}
|
|
@@ -0,0 +1,217 @@
|
|
|
1
|
+
import db from '@adonisjs/lucid/services/db';
|
|
2
|
+
import { guardSql, withDeadline } from './shared/backend_guard.js';
|
|
3
|
+
import { AuthorizationBackendError, AuthorizationBackendTimeoutError, AuthorizationFrozenError } from './errors.js';
|
|
4
|
+
import { CATALOG_VERSION_TABLE } from './catalog/catalog_cache.js';
|
|
5
|
+
/**
|
|
6
|
+
* El **freeze DURABLE** (3b-7; decisión del dueño del 2026-08-31 (3b):
|
|
7
|
+
* B + E-analista). Primitivas SQL puras; la policy (quién congela, el
|
|
8
|
+
* anidado, el contexto del operador) vive en el manager.
|
|
9
|
+
*
|
|
10
|
+
* El freeze cuelga de la fila `id = 2` de `authz_catalog_version` — la señal
|
|
11
|
+
* entre procesos que el paquete ya usa (invariante 14). La colocación está
|
|
12
|
+
* MEDIDA (panel 3, analista §4.1): en la fila `id = 1` la renovación del
|
|
13
|
+
* lease espera al `FOR UPDATE` de `withAuthzCatalogWrite` (816 ms en PG /
|
|
14
|
+
* 805 en MySQL con un sync de 800 ms); en su propia fila, 10-12 ms. Y la
|
|
15
|
+
* consulta de la barrera es PROPIA y sin memo (juez C2): colgarse del memo
|
|
16
|
+
* del catálogo haría del freeze «una ventana acotada de freeze que todavía
|
|
17
|
+
* no aplica» con `catalogRevalidate: { everyMs }`. El coste que se publica
|
|
18
|
+
* es el medido: +0,14 ms p50 por escritura (PG; +0,11 MySQL), 0 por
|
|
19
|
+
* `authorize`.
|
|
20
|
+
*
|
|
21
|
+
* Las tres reglas del protocolo:
|
|
22
|
+
* - **Token de dueño** (`fence` + `holder`): `acquire` sube el fence y solo
|
|
23
|
+
* hay UN freeze vivo a la vez; `release`/`renew` son condicionales por
|
|
24
|
+
* token, así que un `unfreeze` ajeno o rezagado es un no-op (auditor
|
|
25
|
+
* A1.3: el `finally` de una ventana interior ya no puede levantar la
|
|
26
|
+
* barrera de otra).
|
|
27
|
+
* - **Lease**: `untilMs` en ms de PARED (el reloj del config, el mismo que
|
|
28
|
+
* decide caducidades). Vencido ⇒ el freeze deja de estar vivo y la flota
|
|
29
|
+
* vuelve a escribir SOLA — tras un `SIGKILL` nadie limpia nada (medido:
|
|
30
|
+
* 2 527 ms con lease de 3 000). `untilMs: null` = sin caducidad (la
|
|
31
|
+
* ventana del operador).
|
|
32
|
+
* - **Fence publicado**: la renovación exige `freeze_until_ms > now`; una
|
|
33
|
+
* renovación que toca 0 filas significa que el lease se PERDIÓ a mitad
|
|
34
|
+
* (pausa de GC, base caída más tiempo que el lease) y quien lo sostiene
|
|
35
|
+
* lo marca `lapsed` — la pasada no se certifica (juez C4).
|
|
36
|
+
*
|
|
37
|
+
* La fila ausente (o las columnas: una base migrada con el stub < 2.3) es
|
|
38
|
+
* **503 «migración 2.0 no aplicada»** en toda escritura, jamás «no
|
|
39
|
+
* congelado»: el mismo patrón que la fila `id = 1` del memo. Un upsert
|
|
40
|
+
* perezoso desde la barrera sería una escritura en el camino de lectura,
|
|
41
|
+
* fuera de `withAuthzCatalogWrite`, y una carrera gratis.
|
|
42
|
+
*
|
|
43
|
+
* **La barrera se lee SIEMPRE por la conexión del motor, nunca por un
|
|
44
|
+
* cliente del llamante** (L-1 · 🟠 8, dictamen del juez del panel `{trx}`).
|
|
45
|
+
* Hasta L-1 `readFreezeRow` aceptaba `client` —la transacción del consumidor,
|
|
46
|
+
* «para no interbloquear un pool de 1»— y eso convertía la AUTORIDAD en una
|
|
47
|
+
* decisión del llamante: un cliente que responde «no congelado», o el
|
|
48
|
+
* snapshot REPEATABLE READ de una transacción abierta ANTES del freeze, dejaba
|
|
49
|
+
* entrar la escritura (medido: auditor C1 en SQLite; MySQL/PG en
|
|
50
|
+
* `freeze.spec.ts`). La regla: *la escritura va por tu transacción; la
|
|
51
|
+
* autoridad que decide si puedes escribir, nunca*. El precio, decidido por el
|
|
52
|
+
* dueño: `{ transaction }` exige pool ≥ 2 — con pool 1 la lectura de la
|
|
53
|
+
* barrera espera una conexión que el llamante sostiene y sale **503
|
|
54
|
+
* `E_AUTHZ_BACKEND_TIMEOUT` al vencer SU deadline** (`withDeadline`, porque
|
|
55
|
+
* el `timeout()` de knex NO cubre la espera del pool: medido, 60 s), jamás
|
|
56
|
+
* un cuelgue ni un bypass.
|
|
57
|
+
*/
|
|
58
|
+
/** La fila del freeze durable (la `id = 1` es la versión del catálogo). */
|
|
59
|
+
export const FREEZE_ROW_ID = 2;
|
|
60
|
+
/** Lease por defecto (analista §2.3): 15 s renovados cada 5 s cubren cualquier pausa razonable y acotan la parada tras un `SIGKILL`. */
|
|
61
|
+
export const DEFAULT_FREEZE_LEASE_MS = 15_000;
|
|
62
|
+
const DEFAULT_FREEZE_TIMEOUT_MS = 5_000;
|
|
63
|
+
function opts(options) {
|
|
64
|
+
return { driver: options.driver ?? 'freeze', timeoutMs: options.timeoutMs ?? DEFAULT_FREEZE_TIMEOUT_MS };
|
|
65
|
+
}
|
|
66
|
+
/**
|
|
67
|
+
* Una consulta del freeze con deadline TOTAL. `guardSql` fija el `timeout()`
|
|
68
|
+
* de knex, que solo cuenta desde que la consulta tiene conexión: si el pool
|
|
69
|
+
* está agotado (el llamante sostiene la única conexión de `:memory:`), la
|
|
70
|
+
* espera la gobierna `acquireConnectionTimeout` (60 s por defecto) — medido,
|
|
71
|
+
* L-1. `withDeadline` cubre también esa espera, así que con pool 1 la
|
|
72
|
+
* barrera responde 503 en `timeoutMs`, no en un minuto.
|
|
73
|
+
*/
|
|
74
|
+
function freezeSql(driver, operation, timeoutMs, fn) {
|
|
75
|
+
return withDeadline(guardSql(driver, operation, timeoutMs, fn), timeoutMs, () => new AuthorizationBackendTimeoutError(driver, operation, timeoutMs));
|
|
76
|
+
}
|
|
77
|
+
function missingRow(driver) {
|
|
78
|
+
const error = new AuthorizationBackendError(driver, 'freeze.row', new Error(`no hay fila id = ${FREEZE_ROW_ID} en ${CATALOG_VERSION_TABLE}`));
|
|
79
|
+
error.message =
|
|
80
|
+
`${driver}: no se puede leer el freeze compartido (${CATALOG_VERSION_TABLE}, id = ${FREEZE_ROW_ID}). ` +
|
|
81
|
+
`Probablemente la migración 2.0 no está aplicada (la siembra el stub publicado; la receta está en el CHANGELOG). ` +
|
|
82
|
+
`Sin la fila las escrituras NO proceden: tratarla como «no congelado» sería fail-open.`;
|
|
83
|
+
return error;
|
|
84
|
+
}
|
|
85
|
+
function toMs(raw) {
|
|
86
|
+
if (raw === null || raw === undefined)
|
|
87
|
+
return null;
|
|
88
|
+
const value = typeof raw === 'number' ? raw : Number(raw);
|
|
89
|
+
return Number.isFinite(value) ? value : null;
|
|
90
|
+
}
|
|
91
|
+
/**
|
|
92
|
+
* Lee la fila del freeze **por la conexión del motor** (503 clasificado si la
|
|
93
|
+
* base no responde o el pool no da una conexión en `timeoutMs`; 503 «migración
|
|
94
|
+
* no aplicada» si no existe). No acepta cliente: es la autoridad (L-1 · 🟠 8).
|
|
95
|
+
*/
|
|
96
|
+
export async function readFreezeRow(options = {}) {
|
|
97
|
+
const { driver, timeoutMs } = opts(options);
|
|
98
|
+
const rows = await freezeSql(driver, 'freeze.read', timeoutMs, () => db
|
|
99
|
+
.from(CATALOG_VERSION_TABLE)
|
|
100
|
+
.where('id', FREEZE_ROW_ID)
|
|
101
|
+
.select('freeze_reason', 'freeze_holder', 'freeze_until_ms', 'freeze_fence'));
|
|
102
|
+
if (rows.length === 0)
|
|
103
|
+
throw missingRow(driver);
|
|
104
|
+
const row = rows[0];
|
|
105
|
+
const fence = toMs(row.freeze_fence);
|
|
106
|
+
if (fence === null)
|
|
107
|
+
throw missingRow(driver);
|
|
108
|
+
return {
|
|
109
|
+
reason: row.freeze_reason === null || row.freeze_reason === undefined ? null : String(row.freeze_reason),
|
|
110
|
+
holder: row.freeze_holder === null || row.freeze_holder === undefined ? null : String(row.freeze_holder),
|
|
111
|
+
untilMs: toMs(row.freeze_until_ms),
|
|
112
|
+
fence,
|
|
113
|
+
};
|
|
114
|
+
}
|
|
115
|
+
/** ¿Está VIVO este freeze en el instante `nowMs`? (motivo puesto y lease sin vencer; `untilMs: null` no vence). */
|
|
116
|
+
export function freezeIsLive(row, nowMs) {
|
|
117
|
+
if (row.reason === null)
|
|
118
|
+
return false;
|
|
119
|
+
return row.untilMs === null || row.untilMs > nowMs;
|
|
120
|
+
}
|
|
121
|
+
/**
|
|
122
|
+
* **La barrera del freeze**, la MISMA para los dos motores (roles y
|
|
123
|
+
* relations, L-1 · J1): lee la fila por la conexión del motor y lanza 503
|
|
124
|
+
* `E_AUTHZ_FROZEN` (reintentable) si hay un freeze vivo en `nowMs`. Va
|
|
125
|
+
* delante de TODA escritura, antes de validar identidades o tocar el driver:
|
|
126
|
+
* durante una ventana una escritura no se valida a medias, se rechaza entera.
|
|
127
|
+
* Nunca recibe un cliente del llamante — ver el docblock del módulo.
|
|
128
|
+
*/
|
|
129
|
+
export async function assertNotFrozenRow(operation, options) {
|
|
130
|
+
const row = await readFreezeRow(options);
|
|
131
|
+
if (!freezeIsLive(row, options.nowMs))
|
|
132
|
+
return;
|
|
133
|
+
const lift = freezeKindOf(row.holder) === 'operator' ? ' (la levanta authz:unfreeze)' : '';
|
|
134
|
+
throw new AuthorizationFrozenError(`${operation}: el motor de autorización está congelado (${row.reason})${lift} y no acepta escrituras. ` +
|
|
135
|
+
`Las lecturas siguen funcionando; reintenta esta escritura cuando la ventana termine.`);
|
|
136
|
+
}
|
|
137
|
+
/**
|
|
138
|
+
* Toma el freeze si NADIE lo sostiene vivo (condicional y atómico: dos
|
|
139
|
+
* `acquire` a la vez acaban en exactamente uno). Devuelve el token, o `null`
|
|
140
|
+
* si hay un freeze vivo de otro dueño (el llamante decide si eso es 423 o un
|
|
141
|
+
* contexto que reconoce).
|
|
142
|
+
*/
|
|
143
|
+
export async function acquireFreeze(input, options = {}) {
|
|
144
|
+
const { driver, timeoutMs } = opts(options);
|
|
145
|
+
const updated = await freezeSql(driver, 'freeze.acquire', timeoutMs, () => db
|
|
146
|
+
.from(CATALOG_VERSION_TABLE)
|
|
147
|
+
.where('id', FREEZE_ROW_ID)
|
|
148
|
+
.where((q) => {
|
|
149
|
+
// Libre, o con el lease VENCIDO (un dueño muerto no bloquea la toma).
|
|
150
|
+
q.whereNull('freeze_reason').orWhere((expired) => {
|
|
151
|
+
expired.whereNotNull('freeze_until_ms').andWhere('freeze_until_ms', '<=', input.nowMs);
|
|
152
|
+
});
|
|
153
|
+
})
|
|
154
|
+
.update({
|
|
155
|
+
freeze_reason: input.reason,
|
|
156
|
+
freeze_holder: input.holder,
|
|
157
|
+
freeze_until_ms: input.untilMs,
|
|
158
|
+
freeze_fence: db.raw('freeze_fence + 1'),
|
|
159
|
+
updated_at: new Date(input.nowMs),
|
|
160
|
+
}));
|
|
161
|
+
if (Number(updated) === 0) {
|
|
162
|
+
// O hay un freeze vivo, o la fila no existe: distinguirlo es leerla.
|
|
163
|
+
const row = await readFreezeRow(options);
|
|
164
|
+
if (freezeIsLive(row, input.nowMs))
|
|
165
|
+
return null;
|
|
166
|
+
// Carrera minúscula (se liberó entre el UPDATE y el SELECT): reintenta una vez.
|
|
167
|
+
return acquireFreeze(input, options);
|
|
168
|
+
}
|
|
169
|
+
const row = await readFreezeRow(options);
|
|
170
|
+
if (row.holder !== input.holder)
|
|
171
|
+
return null; // otro acquire ganó justo después (no debería: el nuestro dejó la fila viva)
|
|
172
|
+
return { fence: row.fence, holder: input.holder };
|
|
173
|
+
}
|
|
174
|
+
/**
|
|
175
|
+
* Renueva el lease, CONDICIONAL por token y solo si aún no venció
|
|
176
|
+
* (`freeze_until_ms > now`). `false` = el lease se PERDIÓ (caducó a mitad, o
|
|
177
|
+
* otro dueño tomó el freeze): el llamante lo marca `lapsed` y deja de
|
|
178
|
+
* renovar — nunca «recupera» un freeze que ya no es suyo.
|
|
179
|
+
*/
|
|
180
|
+
export async function renewFreeze(token, input, options = {}) {
|
|
181
|
+
const { driver, timeoutMs } = opts(options);
|
|
182
|
+
const updated = await freezeSql(driver, 'freeze.renew', timeoutMs, () => db
|
|
183
|
+
.from(CATALOG_VERSION_TABLE)
|
|
184
|
+
.where('id', FREEZE_ROW_ID)
|
|
185
|
+
.where('freeze_fence', token.fence)
|
|
186
|
+
.where('freeze_holder', token.holder)
|
|
187
|
+
.where('freeze_until_ms', '>', input.nowMs)
|
|
188
|
+
.update({ freeze_until_ms: input.untilMs, updated_at: new Date(input.nowMs) }));
|
|
189
|
+
return Number(updated) > 0;
|
|
190
|
+
}
|
|
191
|
+
/**
|
|
192
|
+
* Levanta el freeze de ESTE token (condicional: uno ajeno o rezagado no toca
|
|
193
|
+
* nada). Devuelve además `lapsed`: si en el instante de cerrar el lease ya
|
|
194
|
+
* estaba vencido o el token ya no era el de la fila, hubo una ventana en la
|
|
195
|
+
* que otros procesos pudieron escribir — es lo que el reporte publica.
|
|
196
|
+
*/
|
|
197
|
+
export async function releaseFreeze(token, input, options = {}) {
|
|
198
|
+
const { driver, timeoutMs } = opts(options);
|
|
199
|
+
const row = await readFreezeRow(options);
|
|
200
|
+
const mine = row.fence === token.fence && row.holder === token.holder;
|
|
201
|
+
const lapsed = !mine || (row.untilMs !== null && row.untilMs <= input.nowMs);
|
|
202
|
+
if (!mine)
|
|
203
|
+
return { released: false, lapsed };
|
|
204
|
+
const updated = await freezeSql(driver, 'freeze.release', timeoutMs, () => db
|
|
205
|
+
.from(CATALOG_VERSION_TABLE)
|
|
206
|
+
.where('id', FREEZE_ROW_ID)
|
|
207
|
+
.where('freeze_fence', token.fence)
|
|
208
|
+
.where('freeze_holder', token.holder)
|
|
209
|
+
.update({ freeze_reason: null, freeze_holder: null, freeze_until_ms: null, updated_at: new Date(input.nowMs) }));
|
|
210
|
+
return { released: Number(updated) > 0, lapsed };
|
|
211
|
+
}
|
|
212
|
+
/** El `kind` que el holder lleva escrito (`operator:123:ab…` → `operator`). */
|
|
213
|
+
export function freezeKindOf(holder) {
|
|
214
|
+
const prefix = holder?.split(':', 1)[0];
|
|
215
|
+
return prefix === 'operator' || prefix === 'reconcile' || prefix === 'platform' ? prefix : 'unknown';
|
|
216
|
+
}
|
|
217
|
+
//# sourceMappingURL=freeze.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"freeze.js","sourceRoot":"","sources":["../../src/freeze.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,6BAA6B,CAAA;AAC5C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAClE,OAAO,EAAE,yBAAyB,EAAE,gCAAgC,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AACnH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAElE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAA;AAE9B,wIAAwI;AACxI,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAA;AAE7C,MAAM,yBAAyB,GAAG,KAAK,CAAA;AAgCvC,SAAS,IAAI,CAAC,OAAyB;IACrC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,yBAAyB,EAAE,CAAA;AAC1G,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAAI,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAE,EAAoB;IAC9F,OAAO,YAAY,CACjB,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,EAC1C,SAAS,EACT,GAAG,EAAE,CAAC,IAAI,gCAAgC,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CACzE,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc;IAChC,MAAM,KAAK,GAAG,IAAI,yBAAyB,CACzC,MAAM,EACN,YAAY,EACZ,IAAI,KAAK,CAAC,oBAAoB,aAAa,OAAO,qBAAqB,EAAE,CAAC,CAC3E,CAAA;IACD,KAAK,CAAC,OAAO;QACX,GAAG,MAAM,4CAA4C,qBAAqB,UAAU,aAAa,KAAK;YACtG,kHAAkH;YAClH,uFAAuF,CAAA;IACzF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,IAAI,CAAC,GAAY;IACxB,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IAClD,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACzD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,UAA4B,EAAE;IAChE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3C,MAAM,IAAI,GAAU,MAAM,SAAS,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,GAAG,EAAE,CACzE,EAAE;SACC,IAAI,CAAC,qBAAqB,CAAC;SAC3B,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;SAC1B,MAAM,CAAC,eAAe,EAAE,eAAe,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC/E,CAAA;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,UAAU,CAAC,MAAM,CAAC,CAAA;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IACpC,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,UAAU,CAAC,MAAM,CAAC,CAAA;IAC5C,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,aAAa,KAAK,IAAI,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;QACxG,MAAM,EAAE,GAAG,CAAC,aAAa,KAAK,IAAI,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;QACxG,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;QAClC,KAAK;KACN,CAAA;AACH,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,YAAY,CAAC,GAAc,EAAE,KAAa;IACxD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IACrC,OAAO,GAAG,CAAC,OAAO,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,GAAG,KAAK,CAAA;AACpD,CAAC;AAOD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,SAAiB,EAAE,OAA6B;IACvF,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;QAAE,OAAM;IAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1F,MAAM,IAAI,wBAAwB,CAChC,GAAG,SAAS,8CAA8C,GAAG,CAAC,MAAM,IAAI,IAAI,2BAA2B;QACrG,sFAAsF,CACzF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAgF,EAChF,UAA4B,EAAE;IAE9B,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3C,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,CACxE,EAAE;SACC,IAAI,CAAC,qBAAqB,CAAC;SAC3B,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;SAC1B,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE;QAChB,sEAAsE;QACtE,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,OAAY,EAAE,EAAE;YACpD,OAAO,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,iBAAiB,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACxF,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC;SACD,MAAM,CAAC;QACN,aAAa,EAAE,KAAK,CAAC,MAAM;QAC3B,aAAa,EAAE,KAAK,CAAC,MAAM;QAC3B,eAAe,EAAE,KAAK,CAAC,OAAO;QAC9B,YAAY,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACxC,UAAU,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;KAClC,CAAC,CACL,CAAA;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,qEAAqE;QACrE,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAA;QACxC,IAAI,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAA;QAC/C,gFAAgF;QAChF,OAAO,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACtC,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA,CAAC,6EAA6E;IAC1H,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAA;AACnD,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAAkB,EAClB,KAAyC,EACzC,UAA4B,EAAE;IAE9B,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3C,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,EAAE,CACtE,EAAE;SACC,IAAI,CAAC,qBAAqB,CAAC;SAC3B,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;SAC1B,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC;SAClC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;SACpC,KAAK,CAAC,iBAAiB,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC;SAC1C,MAAM,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CACjF,CAAA;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;AAC5B,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAkB,EAClB,KAAwB,EACxB,UAA4B,EAAE;IAE9B,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3C,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAA;IACrE,MAAM,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5E,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC7C,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,CACxE,EAAE;SACC,IAAI,CAAC,qBAAqB,CAAC;SAC3B,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;SAC1B,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC;SAClC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;SACpC,MAAM,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAClH,CAAA;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAA;AAClD,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,MAAqB;IAChD,MAAM,MAAM,GAAG,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,OAAO,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;AACtG,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"app_access_middleware.d.ts","sourceRoot":"","sources":["../../../src/http/app_access_middleware.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAMvD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,MAAM,CAAC,OAAO,OAAO,mBAAmB;IAChC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB;CAgDvE"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"app_access_middleware.js","sourceRoot":"","sources":["../../../src/http/app_access_middleware.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACrD,OAAO,aAAa,MAAM,wBAAwB,CAAA;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvC,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAsB7E,MAAM,CAAC,OAAO,OAAO,mBAAmB;IACtC,KAAK,CAAC,MAAM,CAAC,GAAgB,EAAE,IAAY,EAAE,OAAyB;QACpE,yEAAyE;QACzE,wDAAwD;QACxD,IAAI,OAAO,IAAI,MAAM,IAAK,OAAkB,EAAE,CAAC;YAC7C,MAAM,IAAI,oBAAoB,CAAE,OAAe,CAAC,IAAI,CAAC,CAAA;QACvD,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAChC,iGAAiG,CAClG,CAAA;QACH,CAAC;QAED,MAAM,MAAM,GAAI,GAAW,CAAC,IAAI,EAAE,IAA6D,CAAA;QAC/F,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QAC9F,CAAC;QAED,mEAAmE;QACnE,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAA;QACnC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,SAAS,CAAC,mEAAmE,EAAE;gBACvF,MAAM,EAAE,GAAG;aACZ,CAAC,CAAA;QACJ,CAAC;QAED,kEAAkE;QAClE,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,SAAS,CACjB,cAAc,KAAK,mEAAmE;gBACpF,sCAAsC,EACxC,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAA;QACH,CAAC;QAED,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAA;QAElD,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YAC7E,OAAO,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAC5B,OAAO,EAAE,sBAAsB;gBAC/B,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,EAAE;aACX,CAAC,CAAA;QACJ,CAAC;QAED,OAAO,IAAI,EAAE,CAAA;IACf,CAAC;CACF"}
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
import type { HttpContext } from '@adonisjs/core/http';
|
|
2
|
+
import type { NextFn } from '@adonisjs/core/types/http';
|
|
3
|
+
import type { ScopeRef } from '../types.js';
|
|
4
|
+
/**
|
|
5
|
+
* Enforcement de acceso A UN RECURSO concreto. COMPONE el `authorize` que ya
|
|
6
|
+
* existe: el consumidor dice CÓMO cargar el recurso (`load(ctx, id)`) y en qué
|
|
7
|
+
* `{ scope }` vive, y el middleware pregunta al motor sobre ese scope. No es un
|
|
8
|
+
* modelo ni un driver nuevo: es el borde HTTP del scope de un recurso.
|
|
9
|
+
*
|
|
10
|
+
* El ORDEN de las respuestas ES la propiedad de seguridad — un 403 donde
|
|
11
|
+
* debería ir un 404 filtra qué recursos existen (enumeración):
|
|
12
|
+
*
|
|
13
|
+
* 1. 401 si no hay usuario autenticado (antes de nada).
|
|
14
|
+
* 2. 403 si el `gate(ctx)` del consumidor (una ability previa, p. ej.
|
|
15
|
+
* «es admin del tenant») lo niega.
|
|
16
|
+
* 3. 404 si el CONTENEDOR no existe (`containerParam`, cuando se declara).
|
|
17
|
+
* 4. 404 si el RECURSO no existe (`load` ⇒ null) — MISMO cuerpo que el 404
|
|
18
|
+
* del contenedor, para no distinguir «no existe» de «no es tuyo».
|
|
19
|
+
* 5. authorize sobre el `{ scope }` que devolvió `load`, con `permission`
|
|
20
|
+
* (o `readPermission` en métodos seguros): un `false` aquí también
|
|
21
|
+
* es 404 con el MISMO cuerpo, NO un 403 — que no puedas verlo no
|
|
22
|
+
* revela que existe.
|
|
23
|
+
*
|
|
24
|
+
* Invariantes que NO se negocian:
|
|
25
|
+
* - `AuthorizationBackendError` (503) NUNCA se disfraza de 404/403: si el
|
|
26
|
+
* backend cae (`gate`/`load`/`authorize` lanzan), el error sube tal cual.
|
|
27
|
+
* Es lo que distingue «denegado» de «no pude comprobar». El middleware NO
|
|
28
|
+
* envuelve estas llamadas en try/catch a propósito.
|
|
29
|
+
* - Prohibido `role`: como `appAccess`, solo acepta `permission`/
|
|
30
|
+
* `readPermission`. `{ role }` es 500 con receta (membresía no es acceso, y
|
|
31
|
+
* el deny no la gobierna: toda decisión pasa por `authorize`).
|
|
32
|
+
* - Sin segundo `authorize`: se llama UNA sola vez. No re-autoriza.
|
|
33
|
+
*
|
|
34
|
+
* Limitación conocida — canal de TEMPORIZACIÓN (auditor Fase 5, ⚪): el status
|
|
35
|
+
* y el cuerpo de «no existe» y «existe pero no es tuyo» son idénticos, pero el
|
|
36
|
+
* TIEMPO no: un id inexistente responde 404 sin round-trip a `authorize`; uno
|
|
37
|
+
* ajeno responde el mismo 404 tras esa llamada. Es inherente a load→authorize
|
|
38
|
+
* (no se puede autorizar el scope de algo que no se ha cargado), no un defecto;
|
|
39
|
+
* quien necesite cerrar el canal iguala el tiempo en su capa (delay constante),
|
|
40
|
+
* no en el middleware.
|
|
41
|
+
*
|
|
42
|
+
* Pureza: el middleware NO importa aliases del consumidor; `load`/`gate` llegan
|
|
43
|
+
* INYECTADOS en las opciones de la ruta.
|
|
44
|
+
*
|
|
45
|
+
* Uso:
|
|
46
|
+
* router
|
|
47
|
+
* .get('/orgs/:orgId/documents/:id', [DocumentsController, 'show'])
|
|
48
|
+
* .use(middleware.resourceAccess({
|
|
49
|
+
* resource: 'document',
|
|
50
|
+
* param: 'id',
|
|
51
|
+
* containerParam: 'orgId',
|
|
52
|
+
* permission: 'documents:write',
|
|
53
|
+
* readPermission: 'documents:read',
|
|
54
|
+
* load: (ctx, id) => Document.query().where('id', id).first(),
|
|
55
|
+
* gate: (ctx) => ctx.auth.user!.isMemberOf(ctx.params.orgId),
|
|
56
|
+
* }))
|
|
57
|
+
*/
|
|
58
|
+
export interface ResourceAccessOptions {
|
|
59
|
+
/**
|
|
60
|
+
* Nombre del recurso. Es la clave bajo la que el recurso cargado (con su
|
|
61
|
+
* scope) se PROPAGA al `ctx` para el controlador (`ctx[resource]`), así que
|
|
62
|
+
* dos `resourceAccess` anidados no se pisan.
|
|
63
|
+
*/
|
|
64
|
+
resource: string;
|
|
65
|
+
/** Nombre del param de ruta que trae el id del recurso (`ctx.params[param]`). */
|
|
66
|
+
param: string;
|
|
67
|
+
/**
|
|
68
|
+
* Nombre del param de ruta del contenedor (p. ej. el tenant de una ruta
|
|
69
|
+
* anidada). Cuando se declara, un contenedor ausente en la ruta es 404 —el
|
|
70
|
+
* MISMO cuerpo que un recurso ausente— y se comprueba ANTES de cargar el
|
|
71
|
+
* recurso. La pertenencia real del recurso al contenedor la comprueba
|
|
72
|
+
* `load` (que ve `ctx.params`): devolver `null` allí es el mismo 404, así que
|
|
73
|
+
* «no existe» y «no está en este contenedor» son indistinguibles.
|
|
74
|
+
*/
|
|
75
|
+
containerParam?: string;
|
|
76
|
+
/** Permiso requerido (métodos que mutan, y lectura si no hay `readPermission`). */
|
|
77
|
+
permission: string;
|
|
78
|
+
/**
|
|
79
|
+
* Permiso requerido en métodos SEGUROS (GET/HEAD). Si se omite, una lectura
|
|
80
|
+
* exige `permission` — nunca es gratis. Suele ser el permiso MENOS
|
|
81
|
+
* privilegiado (ver vs escribir).
|
|
82
|
+
*/
|
|
83
|
+
readPermission?: string;
|
|
84
|
+
/**
|
|
85
|
+
* Carga el recurso por su id y devuelve dónde vive (`{ scope }`) o `null` si
|
|
86
|
+
* no existe / no es visible. Del consumidor: ve el `ctx` entero (params,
|
|
87
|
+
* usuario). Un throw es «no pude comprobar» (sube como 503), NO un 404.
|
|
88
|
+
*/
|
|
89
|
+
load: (ctx: HttpContext, id: string) => Promise<{
|
|
90
|
+
scope: ScopeRef;
|
|
91
|
+
} | null> | {
|
|
92
|
+
scope: ScopeRef;
|
|
93
|
+
} | null;
|
|
94
|
+
/**
|
|
95
|
+
* Ability previa del consumidor (p. ej. «es admin del tenant»). Opcional; si
|
|
96
|
+
* se declara y devuelve `false`, es 403 —una restricción ADICIONAL, evaluada
|
|
97
|
+
* antes de tocar el recurso—. Si se omite, no hay pre-check: la seguridad la
|
|
98
|
+
* da igualmente `authorize`.
|
|
99
|
+
*/
|
|
100
|
+
gate?: (ctx: HttpContext) => Promise<boolean> | boolean;
|
|
101
|
+
}
|
|
102
|
+
export default class ResourceAccessMiddleware {
|
|
103
|
+
handle(ctx: HttpContext, next: NextFn, options: ResourceAccessOptions): Promise<any>;
|
|
104
|
+
}
|
|
105
|
+
//# sourceMappingURL=resource_access_middleware.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"resource_access_middleware.d.ts","sourceRoot":"","sources":["../../../src/http/resource_access_middleware.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAGvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;;OAIG;IACH,QAAQ,EAAE,MAAM,CAAA;IAChB,iFAAiF;IACjF,KAAK,EAAE,MAAM,CAAA;IACb;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,mFAAmF;IACnF,UAAU,EAAE,MAAM,CAAA;IAClB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB;;;;OAIG;IACH,IAAI,EAAE,CACJ,GAAG,EAAE,WAAW,EAChB,EAAE,EAAE,MAAM,KACP,OAAO,CAAC;QAAE,KAAK,EAAE,QAAQ,CAAA;KAAE,GAAG,IAAI,CAAC,GAAG;QAAE,KAAK,EAAE,QAAQ,CAAA;KAAE,GAAG,IAAI,CAAA;IACrE;;;;;OAKG;IACH,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAA;CACxD;AAKD,MAAM,CAAC,OAAO,OAAO,wBAAwB;IACrC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB;CA6F5E"}
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
import { Exception } from '@adonisjs/core/exceptions';
|
|
2
|
+
import authorization from '../../services/main.js';
|
|
3
|
+
import { AuthorizationConfigError, RoleIsNotAccessError } from '../errors.js';
|
|
4
|
+
/** Métodos HTTP seguros: usan `readPermission` si se declara. */
|
|
5
|
+
const SAFE_METHODS = new Set(['GET', 'HEAD']);
|
|
6
|
+
export default class ResourceAccessMiddleware {
|
|
7
|
+
async handle(ctx, next, options) {
|
|
8
|
+
// Config PRIMERO, antes de mirar si hay usuario: una ruta mal declarada
|
|
9
|
+
// tiene que saltar en el primer request de desarrollo, autenticado o no.
|
|
10
|
+
if (options && 'role' in options) {
|
|
11
|
+
throw new RoleIsNotAccessError(options.role);
|
|
12
|
+
}
|
|
13
|
+
if (!options?.permission) {
|
|
14
|
+
throw new AuthorizationConfigError("middleware.resourceAccess requiere `{ permission }` (p. ej. resourceAccess({ permission: 'documents:write', ... }))");
|
|
15
|
+
}
|
|
16
|
+
if (!options.param) {
|
|
17
|
+
throw new AuthorizationConfigError('middleware.resourceAccess requiere `{ param }` — el nombre del param de ruta con el id del recurso');
|
|
18
|
+
}
|
|
19
|
+
if (typeof options.load !== 'function') {
|
|
20
|
+
throw new AuthorizationConfigError('middleware.resourceAccess requiere `load(ctx, id)` — cómo cargar el recurso y en qué `{ scope }` vive');
|
|
21
|
+
}
|
|
22
|
+
if (!options.resource) {
|
|
23
|
+
throw new AuthorizationConfigError('middleware.resourceAccess requiere `{ resource }` — el nombre bajo el que se propaga el recurso al controlador');
|
|
24
|
+
}
|
|
25
|
+
// ── 1. 401 ────────────────────────────────────────────────────────────
|
|
26
|
+
const holder = ctx.auth?.user;
|
|
27
|
+
if (!holder) {
|
|
28
|
+
return ctx.response.unauthorized({ message: 'No autenticado', statusCode: 401, errors: [] });
|
|
29
|
+
}
|
|
30
|
+
// El holder tiene que ser un subject válido (mismos guards que appAccess).
|
|
31
|
+
// Son errores de programación (500), no de acceso: nunca degradan a 404.
|
|
32
|
+
const morph = holder.__morphMapName;
|
|
33
|
+
if (!morph) {
|
|
34
|
+
throw new Exception('El modelo autenticado no tiene @MorphMap — no es un holder válido', {
|
|
35
|
+
status: 500,
|
|
36
|
+
});
|
|
37
|
+
}
|
|
38
|
+
if (!holder.uuid) {
|
|
39
|
+
throw new Exception(`El holder '${morph}' no expone 'uuid' — el motor identifica a los holders por uuid, ` +
|
|
40
|
+
`no por la clave primaria del modelo.`, { status: 500 });
|
|
41
|
+
}
|
|
42
|
+
const subject = { type: morph, uuid: holder.uuid };
|
|
43
|
+
// ── 2. 403 gate del consumidor ────────────────────────────────────────
|
|
44
|
+
// Sin try/catch: si el gate lanza (backend caído), el 503 sube tal cual.
|
|
45
|
+
if (options.gate && !(await options.gate(ctx))) {
|
|
46
|
+
return ctx.response.forbidden({ message: 'Permiso insuficiente', statusCode: 403, errors: [] });
|
|
47
|
+
}
|
|
48
|
+
// El 404 del contenedor, del recurso ausente y del authorize negativo
|
|
49
|
+
// comparten EXACTAMENTE el mismo cuerpo: nada distingue los tres.
|
|
50
|
+
const notFound = () => ctx.response.notFound({ message: 'Recurso no encontrado', statusCode: 404, errors: [] });
|
|
51
|
+
// ── 3. 404 contenedor (ANTES que el recurso) ──────────────────────────
|
|
52
|
+
if (options.containerParam) {
|
|
53
|
+
const containerId = ctx.params?.[options.containerParam];
|
|
54
|
+
if (!containerId)
|
|
55
|
+
return notFound();
|
|
56
|
+
}
|
|
57
|
+
// ── 4. 404 recurso ────────────────────────────────────────────────────
|
|
58
|
+
const id = ctx.params?.[options.param];
|
|
59
|
+
if (!id)
|
|
60
|
+
return notFound();
|
|
61
|
+
// Un throw de `load` NO se atrapa: «no pude comprobar» (503) ≠ «no existe».
|
|
62
|
+
const loaded = await options.load(ctx, String(id));
|
|
63
|
+
if (!loaded)
|
|
64
|
+
return notFound();
|
|
65
|
+
// ── 5. authorize (UNA vez) sobre el scope del recurso ─────────────────
|
|
66
|
+
const method = String(ctx.request?.method?.() ?? 'GET').toUpperCase();
|
|
67
|
+
const permission = SAFE_METHODS.has(method) && options.readPermission
|
|
68
|
+
? options.readPermission
|
|
69
|
+
: options.permission;
|
|
70
|
+
if (!(await authorization.authorize(subject, permission, loaded.scope))) {
|
|
71
|
+
// Negado ⇒ 404 con el MISMO cuerpo, NO 403: que no puedas verlo no
|
|
72
|
+
// revela que existe.
|
|
73
|
+
return notFound();
|
|
74
|
+
}
|
|
75
|
+
// El recurso cargado (con su scope) llega al controlador sin recargarlo.
|
|
76
|
+
;
|
|
77
|
+
ctx[options.resource] = loaded;
|
|
78
|
+
return next();
|
|
79
|
+
}
|
|
80
|
+
}
|
|
81
|
+
//# sourceMappingURL=resource_access_middleware.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"resource_access_middleware.js","sourceRoot":"","sources":["../../../src/http/resource_access_middleware.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACrD,OAAO,aAAa,MAAM,wBAAwB,CAAA;AAElD,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAoG7E,iEAAiE;AACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;AAE7C,MAAM,CAAC,OAAO,OAAO,wBAAwB;IAC3C,KAAK,CAAC,MAAM,CAAC,GAAgB,EAAE,IAAY,EAAE,OAA8B;QACzE,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,OAAO,IAAI,MAAM,IAAK,OAAkB,EAAE,CAAC;YAC7C,MAAM,IAAI,oBAAoB,CAAE,OAAe,CAAC,IAAI,CAAC,CAAA;QACvD,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAChC,qHAAqH,CACtH,CAAA;QACH,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACnB,MAAM,IAAI,wBAAwB,CAChC,oGAAoG,CACrG,CAAA;QACH,CAAC;QACD,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACvC,MAAM,IAAI,wBAAwB,CAChC,uGAAuG,CACxG,CAAA;QACH,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YACtB,MAAM,IAAI,wBAAwB,CAChC,gHAAgH,CACjH,CAAA;QACH,CAAC;QAED,yEAAyE;QACzE,MAAM,MAAM,GAAI,GAAW,CAAC,IAAI,EAAE,IAErB,CAAA;QACb,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QAC9F,CAAC;QAED,2EAA2E;QAC3E,yEAAyE;QACzE,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAA;QACnC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,SAAS,CAAC,mEAAmE,EAAE;gBACvF,MAAM,EAAE,GAAG;aACZ,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,SAAS,CACjB,cAAc,KAAK,mEAAmE;gBACpF,sCAAsC,EACxC,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAA;QACH,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAA;QAElD,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QACjG,CAAC;QAED,sEAAsE;QACtE,kEAAkE;QAClE,MAAM,QAAQ,GAAG,GAAG,EAAE,CACpB,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,uBAAuB,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QAE1F,yEAAyE;QACzE,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAI,GAAW,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;YACjE,IAAI,CAAC,WAAW;gBAAE,OAAO,QAAQ,EAAE,CAAA;QACrC,CAAC;QAED,yEAAyE;QACzE,MAAM,EAAE,GAAI,GAAW,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/C,IAAI,CAAC,EAAE;YAAE,OAAO,QAAQ,EAAE,CAAA;QAC1B,4EAA4E;QAC5E,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;QAClD,IAAI,CAAC,MAAM;YAAE,OAAO,QAAQ,EAAE,CAAA;QAE9B,yEAAyE;QACzE,MAAM,MAAM,GAAG,MAAM,CAAE,GAAW,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,CAAA;QAC9E,MAAM,UAAU,GACd,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,cAAc;YAChD,CAAC,CAAC,OAAO,CAAC,cAAc;YACxB,CAAC,CAAC,OAAO,CAAC,UAAU,CAAA;QAExB,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACxE,mEAAmE;YACnE,qBAAqB;YACrB,OAAO,QAAQ,EAAE,CAAA;QACnB,CAAC;QAED,yEAAyE;QACzE,CAAC;QAAC,GAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAA;QACxC,OAAO,IAAI,EAAE,CAAA;IACf,CAAC;CACF"}
|