Research note: retained-array catch-up in PR1664's transport moment; #1166 INIT64+d_A final-record route rejected in the model (3,648 / ≥2,496 / ≥1,344 ≥ 896)

research/retained-array-catch-up/SOURCES.json

@@ -0,0 +1,165 @@
+{
+  "schema_version": 1,
+  "base_commit": "de880ca1fa4540472ee8461d400914a60fc9dd41",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "input",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "889b95d936746df124872133ae1e7cc339adcb92",
+      "sha256": "7d185cd8c2af35988d638d969748ad7b670f902606444dbfc748e4402c340df6"
+    },
+    {
+      "path": "research/centre-owner-observation-floor/README.md",
+      "usage": "input",
+      "git_blob": "22522cb5e6d057f219da6a592ecf24fd24a5da74",
+      "sha256": "5f9079af7f45bff8d0b0acc8366f9c0def90fad9c8a38bab772b0ef13e3d5be0"
+    },
+    {
+      "path": "research/community-frontier1042-audit/selected-replay.tar.gz",
+      "usage": "input",
+      "git_blob": "6f4dc6fe7631d8aacf8081fcaecf32197181685b",
+      "sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754"
+    },
+    {
+      "path": "research/community-frontier1094-audit/selected-replay.tar.gz",
+      "usage": "input",
+      "git_blob": "c24daf067f9c543421d89ca2eeaa4eb78a57fb6f",
+      "sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6"
+    },
+    {
+      "path": "research/complex-local-word-ceiling/README.md",
+      "usage": "input",
+      "git_blob": "f5f742f8196da29d2c3f4dffb3c27685ca9401f6",
+      "sha256": "b60be039cb0e03e064a27407d0bce9e58908d793da5ee405c876de5aebfa5f81"
+    },
+    {
+      "path": "research/complex-local-word-ceiling/ceiling.py",
+      "usage": "input",
+      "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c",
+      "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc"
+    },
+    {
+      "path": "research/dirty-host-cutrank-audit/PROOF.md",
+      "usage": "input",
+      "git_blob": "042fc663f14f0aff985984f201a1cdf89997d594",
+      "sha256": "2921c2c741ab5086a87c53340f18180ecc55675ca7dadc49579da32aba71d2f5"
+    },
+    {
+      "path": "research/idle-axis-hosting/PROOF.md",
+      "usage": "input",
+      "git_blob": "4468a00349b4f68dce103e785a8392099435e1d6",
+      "sha256": "cfe34bf0b64259661312dae22c3a23adc5bf6f6326951eee5c1488ccfc347542"
+    },
+    {
+      "path": "research/joint-query/README.md",
+      "usage": "input",
+      "git_blob": "2bf4fc0aa252c01242278cb58befc350acf7c85f",
+      "sha256": "419f076e46f5a6ce43efe30a608baed0a535034c388e1ac76a29a2026685ba77"
+    },
+    {
+      "path": "research/joint-query/evidence/CONSERVED-QQ16.md",
+      "usage": "input",
+      "git_blob": "4639583c1be02c2fb60ed8a8072c9969ef1569ce",
+      "sha256": "60f0de3a7205ba5046b5ae7ffa8bf2b1ea42ea46b498face0a77966b59e7f3fb"
+    },
+    {
+      "path": "research/qq16-complete-native-decoder/PROOF.md",
+      "usage": "input",
+      "git_blob": "6ae136c8baef4793f4f7ae630720afff6c23a953",
+      "sha256": "09d587f1d6bc250e90e29fa8751a40f45be79f1a8a56af0b645c144cefaefa46"
+    },
+    {
+      "path": "research/qq16-cut-retention-census/README.md",
+      "usage": "input",
+      "git_blob": "83d2b42eed128a7a9e2151e47990ac8966b6d4f9",
+      "sha256": "796636d4d9824bc4959b00d9d2cbbfafec07c14e6845a1e238fb668a2f3d8adf"
+    },
+    {
+      "path": "research/qq16-entry-frame-tariff/README.md",
+      "usage": "input",
+      "git_blob": "c53ee2870d1f8f92be80502b342a941fdbfefa2f",
+      "sha256": "cb0e658cfbdd3fb74a43b195665d3b13d5eb8e74294831daa05165128ad9ef5d"
+    },
+    {
+      "path": "research/qq16-final-record-obstruction/PROOF.md",
+      "usage": "input",
+      "git_blob": "894b0281522cbf1c8183a6375cb3b76173aecc46",
+      "sha256": "109490f1d9c4288445e11e65e77616d84555ce9f212df97c81e6efde0c2ebf43"
+    },
+    {
+      "path": "research/qq16-private-da-frame-floor-seed81b017/README.md",
+      "usage": "input",
+      "git_blob": "9ac44dcd2bae0482b3dbe2abc5ca2719de989cda",
+      "sha256": "8e4c3f1d2e76b110ef47aecdce8098c84403b969f8d6e386b0ecabb8173f091b"
+    },
+    {
+      "path": "research/selected-centre-chrono-source-census/README.md",
+      "usage": "input",
+      "git_blob": "4fc0643eb118157575e60449820939809825a030",
+      "sha256": "0db44f2ce702ee1e5b11c9f8cd05517593bd259f45ae897437c58a1bd81b2943"
+    },
+    {
+      "path": "research/selected-centre-quarter-native/README.md",
+      "usage": "input",
+      "git_blob": "8c9c6e182ca775e9f361545213c69348ecf4696d",
+      "sha256": "bfae0aff6aefc90b2afb8da76bc6d07b698deeabdbd758d01910d9fdb937ec72"
+    }
+  ],
+  "external_read_as_data": [
+    {
+      "repository": "philippeVV/integer-mult-bounds",
+      "commit": "9fcd3d899cc5bad2e27ab1d3d64d241cbfe30793",
+      "path": "research/joint-query-first-pair-catalogue/final-record/price_gate.py",
+      "sha256": "d4c2c07758b589a619fd1821b1c70f1fc48eec1e07b37a27a89234f8ecd4cb39",
+      "usage": "capture-time premise and INIT_AC/DA_AC lifetimes; never executed"
+    },
+    {
+      "repository": "philippeVV/integer-mult-bounds",
+      "commit": "9fcd3d899cc5bad2e27ab1d3d64d241cbfe30793",
+      "path": "research/joint-query-first-pair-catalogue/final-record/PRICE-GATE.json",
+      "sha256": "78eed8a0ab9ac703ce6b43645d745c7837f1920fbb8e788c9e857b33b8a353d0",
+      "usage": "storage_readsFalse, breakeven_storage, breakeven_centre (reproduced by verify.py)"
+    },
+    {
+      "repository": "philippeVV/integer-mult-bounds",
+      "commit": "9fcd3d899cc5bad2e27ab1d3d64d241cbfe30793",
+      "path": "research/joint-query-first-pair-catalogue/final-record/README.md",
+      "sha256": "fc29c926948a85ce241f7b768941f2d0ecf2d5bede0da9bb71e2542e2c934925",
+      "usage": "contract and census description"
+    },
+    {
+      "repository": "philippeVV/integer-mult-bounds",
+      "commit": "b5ce9d223feeed73d07e2a07321f7a025bd5865e",
+      "path": "research/complex-budget-law/closures-2/sibling-helpers/README.md",
+      "usage": "precursor quotation (LOCAL-ONLY note, concurrent)"
+    },
+    {
+      "discussion": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2074",
+      "comments": [
+        "c18940190 (Theorem B; fork 680d0997621a2cecfef2186ab143377658687825)",
+        "c18950410 (final-record census and price gate)",
+        "c18950926 (derived decoders; all-initial variant)"
+      ],
+      "usage": "premises and route definitions"
+    },
+    {
+      "discussion": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166",
+      "comments": [
+        "c18956869 (the request answered here)"
+      ],
+      "usage": "question"
+    },
+    {
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "0b61b222fcf5c96ba50cc9cee2eeb976d5a74b7f",
+      "path": "research/qq16-line-normalized-decoder/README.md; research/community-efficient1600-audit/combined-2707-review.json",
+      "usage": "#2707 comparison and maintainer review, incorporated after this package's base (cited, not pinned)"
+    }
+  ]
+}