Files
SGF/docs/proofs/stock-read-composition-20261102.json
2026-11-02 20:29:34 +02:00

158 lines
5.5 KiB
JSON

{
"date": "2026-11-02",
"increment": "COMMON-STOCK-READ-COMPOSITION-SIM-v1",
"status": "two_application_read_api_compositions_verified",
"package": {
"id": "tempo-inventory-read",
"version": "0.1.0",
"manifest_sha256": "bbd97f63b0eeb671bd3ad57bbd62bd34fcf67b8e943320423715d514a2a2c19c",
"files": {
"bootstrap.php": "65cba0924869ba93afa00a4786b361ad71d5c2e67bd021b3d1fda172b1190476",
"src/InventoryReader.php": "9b0591600da07719d655324ccf0b740f06de07db2806540684c9730d048e44b6",
"src/InventoryReadSession.php": "e5ea1ec6771e34478367218d73ba1d1d90464ddc87d1c5fa3d679622ffb81111"
},
"identical_verified_artifact": true,
"customer_dependency_on_sgf_source": false
},
"tests": {
"compras": {
"tests": 1,
"assertions": 73,
"errors": 0,
"failures": 0,
"sha256": "8424556122bc597b2de9a7af6fbaf18e278df4ebbf2f9eec9da82172f854c1af"
},
"sgf_functional": {
"tests": 2,
"assertions": 77,
"errors": 0,
"failures": 0,
"sha256": "093a0b0f6a59e86e86a1c0a70c7f92a78b3ba13a81cd4bb5bbb9e572ba10d649"
},
"two_composition_parity": {
"tests": 1,
"assertions": 48,
"errors": 0,
"failures": 0,
"sha256": "fce35672024498620638d783ca9bbef3949cafa2ea40de24ab53423ad03d03c3"
}
},
"cases": {
"view=items&per_page=25": {
"sha256": "0b1258720163f692a209578ca0c54efc960701272df814f4f435bf7cfebb799d",
"total": 101,
"equivalent": true
},
"view=items&per_page=100": {
"sha256": "3da79fc189150f7ce2b1977dadbc0b100aa956deaea9cc6366aa3cb35a134ef2",
"total": 101,
"equivalent": true
},
"view=warehouses&per_page=25": {
"sha256": "a612221561c03a3c2f5b3673d60df66647fa953a36531d0069dd5df2b1c8b36d",
"total": 2,
"equivalent": true
},
"view=warehouses&per_page=100": {
"sha256": "c3a7b2fe624c60f1d1f872ad743e6daf1b665fc1a652227d7f2d7bce38270014",
"total": 2,
"equivalent": true
},
"view=balances&per_page=25": {
"sha256": "f28f5bb8ab8ad9ac1f45c22a7ff743f7a87f25cac6734bc354910563237bfbcc",
"total": 100,
"equivalent": true
},
"view=balances&per_page=100": {
"sha256": "d33ef5f1cce5181f6bd6f5e3fa9bc57c719712e609001ce729f13fa182a0f554",
"total": 100,
"equivalent": true
},
"view=movements&per_page=25": {
"sha256": "db9ac3c0ba4acbcc90058fc0c836bd0778b3b77ec850cb686a9cd9ec6eaeaef5",
"total": 200,
"equivalent": true
},
"view=movements&per_page=100": {
"sha256": "9d1354e38caae00733732ab79f60637b88afce8633f244314ef515364838b6a0",
"total": 200,
"equivalent": true
},
"view=balances&per_page=25&page=2": {
"sha256": "8c5fbc2cee5d017612863fe1313e12df74d60933a9eef08a6b96f933a752fa3b",
"total": 100,
"equivalent": true
},
"view=items&per_page=25&page=5": {
"sha256": "9966a26f6f61c4a49c6787990867383326e6ebeb41319ed2e90a1ff86a0c66d0",
"total": 101,
"equivalent": true
},
"view=balances&warehouse_id=12": {
"sha256": "d23d7f73218fe90f1b07e734252e2bf135e7bb1dd03e6d039be6c63b6a6d129f",
"total": 0,
"equivalent": true
},
"view=items&search=QA-000001": {
"sha256": "33ee125e781da9e0d544853c57d24586fd7566cb7055e6790437a4fff59e1f36",
"total": 1,
"equivalent": true
}
},
"cross_host_token_refused": true,
"native_checks": {
"roles_and_configured_profiles": true,
"warehouse_isolation": true,
"stale_snapshot": true,
"unknown_source": true
},
"source_hashes": {
"sgf_adapter": "9df30b043568b8f2df1bb38346b19cfef5c5820282c4bf7c82536194c5669d74",
"compras_adapter": "06990fd57a265b57d031b130027c5814d8550665450d662a9dbee3e16ad295f4"
},
"preservation": {
"native_read_only_postcheck": {
"database": "stock_read_compras_c76629d0f45d",
"role": "stock_read_qa_c76629d0f45d",
"cluster": "sgf_modular_regression_2576427d1939",
"superuser": false,
"create_database": false,
"create_role": false,
"replication": false,
"bypass_rls": false
},
"sgf_read_only_postcheck": {
"identity": {
"database": "sgf_tempo_test",
"role": "sgf_test_runner",
"port": 55439,
"cluster": "sgf_modular_regression_2576427d1939"
},
"read_only": true,
"temporary_stock_grants_remaining": 0,
"original_constraint_restored_without_stock_right": true,
"constraint_sha256": "40046092cba51f1b46d26d5f0da8af47e8336e90a8d50b8de3a8c390758f1783",
"operational_source_bindings": 0
},
"new_native_qa_database_retained": true,
"existing_databases_migrated": false,
"prior_association_proofs_unchanged": true,
"existing_stock_load_reused_sha256": "4fc1d7d13d480a30966b259611de1066fc22ef31f7a0e782da4872211801c72e",
"protected_six_records_untouched": true,
"blocked_cache_untouched": true,
"public_rights_changed": false,
"purchasing_candidate_activated": false,
"demos_updated": false,
"publication": false,
"checkpoint": false
},
"limits": [
"Real application kernels/routes/middleware, preauthenticated synthetic users; no network login/MFA/TLS/browser proof.",
"Read-only API composition; existing native Stock page/writer unchanged.",
"Stock source is QA fixture, not migrated customer data; no receipt/consumption/business command executed.",
"No new load measurements; reader SQL unchanged and valid historical load retained."
],
"visual_review_pending": true,
"deployment_capacity_validated": false
}