diff --git a/ctx/agent4-GB-8v.md b/ctx/agent4-GB-8v.md new file mode 100644 index 000000000..f3154a156 --- /dev/null +++ b/ctx/agent4-GB-8v.md @@ -0,0 +1,47 @@ +# ctx: agent 4 — GB-8v (RETRO-MATH-BIND-02) + +**NOT A RESULT.** Organizational. credit 0 · OBL OPEN · sci NONE · no flags. Classification ceiling AUTHOR_SIDE_CANDIDATE. + +## What this PR is +- Lane GB-8v per CoS assignment main#475/6369972075 (PICKUP 539/6372635580); unit list from `docs/retro/RETRO-MATH-BIND-01.slices.json` (#527, merged as a258693a). Same format as GB-8d (#536). +- Data file: `docs/retro/GB-8v.agent4.node-candidates.json` (proposal format, **not** the v2 bindings file). `architecture/graph-artifact-bindings.v2.json` is unchanged. +- No v2 record is added: none of these units has a node in node_source `d6g8k5htny-coder/Math-:frontiers/downstream_gate_20260925/GRAPH.json@dbe6c0a1b1a22c7404b0fd173ee0043b98a08cde` (49 nodes; 0 reference these paths), and the v2 bindings file at main a487cfd4 mentions none of them. GB-5 (#522, e1d1ebc2) Q6. +- Pins: Math- cut `9f3fb6918b28e6378c034ebc19e76d432f5391cb`. Trees are pinned by tree sha, files by blob sha, every file with sha256. Implementation = code files in the unit plus workflows at the cut that mention the unit path. First-add and last-change commits are provenance only. Nothing tracks a branch tip. +- `proposed_node_id` values (`cand.` prefix) are proposals derived from the path, not existing IDs. +- `referenced_unit_paths`: other unit paths a unit's files mention (regex scan, textual only). A navigation hint, not a verified relation. + +## Units (13) +| unit | Math- kind | sha @cut | files | impl | impl status | other repo (main) | proposed node | +|---|---|---|---|---|---|---|---| +| `reviews/iba2_012_log_cap_concentration_20261006` | tree | `8989ea8f5cf0` | 5 | 2 | PINNED | n/a | `cand.reviews.iba2-012-log-cap-concentration` | +| `reviews/iba2_012_log_cap_transfer_20261006` | tree | `5aaee06c44e4` | 5 | 2 | PINNED | n/a | `cand.reviews.iba2-012-log-cap-transfer` | +| `reviews/iba2_012_marked_sector_20261006` | tree | `3ad7a7f6e536` | 5 | 2 | PINNED | n/a | `cand.reviews.iba2-012-marked-sector` | +| `reviews/literature_classical_neighbors_20261001` | tree | `6b2ad5b3e3ee` | 5 | 3 | PINNED | n/a | `cand.reviews.literature-classical-neighbors` | +| `reviews/p15_full_price_nonauthor_20260926` | tree | `ea65ded23d30` | 2 | 2 | PINNED | n/a | `cand.reviews.p15-full-price-nonauthor` | +| `reviews/p15_overlap_tail_claude_20260928` | tree | `a20b7d90e640` | 4 | 2 | PINNED | n/a | `cand.reviews.p15-overlap-tail-claude` | +| `reviews/pr125_shrinking_witness_nonauthor_20260926` | tree | `e7909e85eb2d` | 2 | 1 | PINNED | n/a | `cand.reviews.pr125-shrinking-witness-nonauthor` | +| `reviews/pr16_fixed_transverse_nonauthor_20260925` | tree | `fc3fa1d11cd9` | 2 | 2 | PINNED | n/a | `cand.reviews.pr16-fixed-transverse-nonauthor` | +| `reviews/pr25_contact_kernel_20260925` | tree | `7b6969b09e0a` | 2 | 1 | PINNED | n/a | `cand.reviews.pr25-contact-kernel` | +| `reviews/pr25_typed_transfer_nonauthor_20260925` | tree | `d47987731096` | 2 | 1 | PINNED | n/a | `cand.reviews.pr25-typed-transfer-nonauthor` | +| `reviews/pr36_kernel_tail_nonauthor_20260926` | tree | `58b3ef399aac` | 2 | 1 | PINNED | n/a | `cand.reviews.pr36-kernel-tail-nonauthor` | +| `reviews/proof_dependencies_20261008` | tree | `eace54863660` | 16 | 1 | PINNED | n/a | `cand.reviews.proof-dependencies` | +| `reviews/radial_moment_corollaries_20260930` | tree | `4713c3a0b88b` | 17 | 2 | PINNED | n/a | `cand.reviews.radial-moment-corollaries` | + +Status: 13 pinned in Math-; 0 v2 records added; all unbound_artifact; 0 existing-node matches. + +## Missing evidence (explicit) +- Every unit has at least one implementation pin (code file or referencing workflow). +- Whether the referencing workflows ran green at the cut: NOT EXECUTED. + +## Cross-repo / overlap +- No unit is in another GB-8 lane's list. I did not scan Math- open PRs for Codex-stalled overlap (NOT EXECUTED); none was flagged on the board for these paths. + +## Drive / Dropbox +- Drive (read-only title search): `iba2`, `proof dependencies`, `radial moment`. 1 leads. LEADS_FOUND_NOT_IMPORTED: 1 title-only lead (radial moment); its contents were not opened and it names no lane unit path, so nothing is bound or copied under imports/historical/GB-8v/. Other search hits without a title match were discarded. Mapping it is DRV-H1..H3 work. Drive file IDs are WITHHELD (OP-PRIVACY) per CoS 539/6372537095; titles kept. + - `WITHHELD (OP-PRIVACY)` REVIEWED-LIFETIME-RADIAL-MOMENT-CONSUMERS-20260930-C28.zip (2026-09-30T09:47:59Z) +- Dropbox: no access (no connector), not worked around. + +## NOT EXECUTED +- Math content review of any unit; Lean build; per-unit workflow run history; Drive full-text search; GRAPH.json node creation. + +Integrator: agent 5 (non-author). Merge commit only. No self-merge. Respect any active CoS main merge hold. diff --git a/docs/retro/GB-8v.agent4.node-candidates.json b/docs/retro/GB-8v.agent4.node-candidates.json new file mode 100644 index 000000000..f5742254f --- /dev/null +++ b/docs/retro/GB-8v.agent4.node-candidates.json @@ -0,0 +1,1042 @@ +{ + "author": "Grok Bot agent 4", + "codex_stalled_prs_seen": [], + "cuts": { + "Math-": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "node_source": "d6g8k5htny-coder/Math-:frontiers/downstream_gate_20260925/GRAPH.json@dbe6c0a1b1a22c7404b0fd173ee0043b98a08cde" + }, + "drive": { + "leads": [ + { + "file_id": "WITHHELD (OP-PRIVACY)", + "name": "REVIEWED-LIFETIME-RADIAL-MOMENT-CONSUMERS-20260930-C28.zip", + "modified_time": "2026-09-30T09:47:59Z", + "size_bytes": 8346368, + "match": "title contains 'RADIAL-MOMENT'" + } + ], + "method": "read-only title search (Google Drive-xai)", + "queries": [ + "iba2", + "proof dependencies", + "radial moment" + ], + "status": "LEADS_FOUND_NOT_IMPORTED: 1 title-only lead (radial moment); its contents were not opened and it names no lane unit path, so nothing is bound or copied under imports/historical/GB-8v/. Other search hits without a title match were discarded. Mapping it is DRV-H1..H3 work. Drive file IDs are WITHHELD (OP-PRIVACY) per CoS 539/6372537095; titles kept." + }, + "dropbox": "MISSING: no access (no connector); not worked around", + "fail_closed": { + "NOT_A_RESULT": true, + "OBL": "OPEN", + "credit": 0, + "flags_flipped": false, + "sci": "NONE" + }, + "graph_node_count": 49, + "integrator": "Grok Bot agent 5", + "lane": "GB-8v", + "overlap_notes": [], + "schema": "retro-node-candidates/proposal (NOT v2, NOT A RESULT)", + "units": [ + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "8989ea8f5cf053885e4cbf8974ea4fb0bd0205f9", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/iba2_012_log_cap_concentration_20261006@9f3fb6918b28e6378c034ebc19e76d432f5391cb#8989ea8f5cf053885e4cbf8974ea4fb0bd0205f9", + "docs": [ + "reviews/iba2_012_log_cap_concentration_20261006/NOTE.md", + "reviews/iba2_012_log_cap_concentration_20261006/README.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 5, + "files": [ + { + "blob_sha": "e37ea10e426b8e7ec415e252232d7c73d6ccafed", + "path": "reviews/iba2_012_log_cap_concentration_20261006/NOTE.md", + "sha256": "8f523d01d418a42b13e26c07063f2342d8f01811bf820bbed3724ba1fcface39" + }, + { + "blob_sha": "9410d195eedbaee2f460dcd7cf6491c90909d962", + "path": "reviews/iba2_012_log_cap_concentration_20261006/README.md", + "sha256": "7ad6c74d7d5151c52f821cbbca33c5e8ad123d67a8d576f4362c4ae7b92f4848" + }, + { + "blob_sha": "a344f1a623725f6c443e6993896cef1a76e7cc28", + "path": "reviews/iba2_012_log_cap_concentration_20261006/SOURCES.json", + "sha256": "1ff607d99cb53ac020e07fa4bceef82cd9b8d4f5673fa13489aeae09016c89d0" + }, + { + "blob_sha": "d166606b0ac29140d9b11d1fbf172817a3696860", + "path": "reviews/iba2_012_log_cap_concentration_20261006/concentration_check.py", + "sha256": "07a65c9162aeab799d360e04bc728524af8d7810477a61e7a25ba998b8363604" + }, + { + "blob_sha": "518167dddad03a9f67c502fd6d5f661e5c7f720f", + "path": "reviews/iba2_012_log_cap_concentration_20261006/test_concentration.py", + "sha256": "ac0aca56d52ee13672018567fbbe859876490a6c602eec5266f5a953d08c06fe" + } + ], + "first_commit": "44ba6e9c3f2a04e84d5791bcbfa20e1735bd2e33", + "first_commit_time": "2026-10-05T20:41:03-07:00", + "implementation": [ + { + "blob_sha": "d166606b0ac29140d9b11d1fbf172817a3696860", + "path": "reviews/iba2_012_log_cap_concentration_20261006/concentration_check.py", + "sha256": "07a65c9162aeab799d360e04bc728524af8d7810477a61e7a25ba998b8363604" + }, + { + "blob_sha": "518167dddad03a9f67c502fd6d5f661e5c7f720f", + "path": "reviews/iba2_012_log_cap_concentration_20261006/test_concentration.py", + "sha256": "ac0aca56d52ee13672018567fbbe859876490a6c602eec5266f5a953d08c06fe" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "44ba6e9c3f2a04e84d5791bcbfa20e1735bd2e33", + "proposed_node_id": "cand.reviews.iba2-012-log-cap-concentration", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/c6_sharpened_20260929", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "1f4a25d7a1e024620ba7b03a76ec0ebc9dbb3ab6" + }, + { + "path": "imports/lifetime_parent_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "288e18c02717dd05922c53103058fb8cf3708167" + }, + { + "path": "reviews/iba2_012_count_transfer_20261006", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "d08212cdc63e4f697bb3d41ade998e8b7539773b" + }, + { + "path": "reviews/iba2_012_finite_radius_20261005", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "3c89898c67e6234faae6a81498c7dd7cf0b711a9" + }, + { + "path": "reviews/iba2_012_log_cap_transfer_20261006", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "5aaee06c44e48dfc1c05602e1186efa2fb6c42a8" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/iba2_012_log_cap_concentration_20261006" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "5aaee06c44e48dfc1c05602e1186efa2fb6c42a8", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/iba2_012_log_cap_transfer_20261006@9f3fb6918b28e6378c034ebc19e76d432f5391cb#5aaee06c44e48dfc1c05602e1186efa2fb6c42a8", + "docs": [ + "reviews/iba2_012_log_cap_transfer_20261006/NOTE.md", + "reviews/iba2_012_log_cap_transfer_20261006/README.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 5, + "files": [ + { + "blob_sha": "b158965faf0f4113309d825ce1892743910fc028", + "path": "reviews/iba2_012_log_cap_transfer_20261006/NOTE.md", + "sha256": "e975dc65e67d8631cbbd16568f92361731eb572fa88687c0b6e8eeb1af7313fe" + }, + { + "blob_sha": "a8774b57d148c492298a58661d09ce206f66d89c", + "path": "reviews/iba2_012_log_cap_transfer_20261006/README.md", + "sha256": "587a4b61cb798b4e167d8ba1c31b44f79893da4236b3357c0c24ad09c2259bb4" + }, + { + "blob_sha": "d947a1ed502624f647040cadd202aaffd42c24d0", + "path": "reviews/iba2_012_log_cap_transfer_20261006/SOURCES.json", + "sha256": "6692e1495e54b0e3c0f3fc50c389e6365fd189252c3a4734b5853cfe6a2c2b2e" + }, + { + "blob_sha": "2e6a19bf5907585fbbf63485916876e65dbe8567", + "path": "reviews/iba2_012_log_cap_transfer_20261006/log_cap_check.py", + "sha256": "ef6accc5112c1ebc5ea9c07e88e01d8c816705b271aa294a9ffc64e29b7a8089" + }, + { + "blob_sha": "7ef45c589e65fbdf6eaed39142873c2bd383fffc", + "path": "reviews/iba2_012_log_cap_transfer_20261006/test_log_cap.py", + "sha256": "add5a4781838daadd56851c0b93714f43f4e37201f811c3eb90797400231d31b" + } + ], + "first_commit": "e71fd6ecd59071181d4e476d0e4e87287d4488b1", + "first_commit_time": "2026-10-05T19:50:40-07:00", + "implementation": [ + { + "blob_sha": "2e6a19bf5907585fbbf63485916876e65dbe8567", + "path": "reviews/iba2_012_log_cap_transfer_20261006/log_cap_check.py", + "sha256": "ef6accc5112c1ebc5ea9c07e88e01d8c816705b271aa294a9ffc64e29b7a8089" + }, + { + "blob_sha": "7ef45c589e65fbdf6eaed39142873c2bd383fffc", + "path": "reviews/iba2_012_log_cap_transfer_20261006/test_log_cap.py", + "sha256": "add5a4781838daadd56851c0b93714f43f4e37201f811c3eb90797400231d31b" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "e71fd6ecd59071181d4e476d0e4e87287d4488b1", + "proposed_node_id": "cand.reviews.iba2-012-log-cap-transfer", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/c6_sharpened_20260929", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "1f4a25d7a1e024620ba7b03a76ec0ebc9dbb3ab6" + }, + { + "path": "imports/lifetime_parent_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "288e18c02717dd05922c53103058fb8cf3708167" + }, + { + "path": "reviews/iba2_012_count_transfer_20261006", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "d08212cdc63e4f697bb3d41ade998e8b7539773b" + }, + { + "path": "reviews/iba2_012_finite_radius_20261005", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "3c89898c67e6234faae6a81498c7dd7cf0b711a9" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/iba2_012_log_cap_transfer_20261006" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "3ad7a7f6e53601e7e43507714897c3464e3ce234", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/iba2_012_marked_sector_20261006@9f3fb6918b28e6378c034ebc19e76d432f5391cb#3ad7a7f6e53601e7e43507714897c3464e3ce234", + "docs": [ + "reviews/iba2_012_marked_sector_20261006/NOTE.md", + "reviews/iba2_012_marked_sector_20261006/README.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 5, + "files": [ + { + "blob_sha": "aaa5126088b8b8542a5a0ca03b3d6f1dcf9f85d4", + "path": "reviews/iba2_012_marked_sector_20261006/NOTE.md", + "sha256": "9293821dc1b1b13e2d00c0b9fbfa4e65a054e46a95963e492d5ed2d9103ebedb" + }, + { + "blob_sha": "969c156f5be3e1c542d2ccc3f2fe4a2d6f79d79f", + "path": "reviews/iba2_012_marked_sector_20261006/README.md", + "sha256": "f4ae08d15f7cc74965e93047d0f68f0efe1a12d0619294875062c618f18fc47a" + }, + { + "blob_sha": "474565d0a075329e2b9e3bcac2d8aed3469b1b43", + "path": "reviews/iba2_012_marked_sector_20261006/SOURCES.json", + "sha256": "dbf202923ba25a13217253d888a4858ec4c9b1ec0f958f4261572d925bbb8f30" + }, + { + "blob_sha": "9a667f0d01b2ce9d5aaf204a953e46e5824d1d00", + "path": "reviews/iba2_012_marked_sector_20261006/marked_entropy_check.py", + "sha256": "4b511af1c8c51ed1fa343ebe461315eafcd8553cffcbbcab3c3038c874e9f339" + }, + { + "blob_sha": "5d58754736ff5fbd46983c39108eb5a5b1ac03ef", + "path": "reviews/iba2_012_marked_sector_20261006/test_marked_entropy.py", + "sha256": "d4768f5bd20f3696b11c094b401e8935fb30819b37ee8861bef5de8599ba8436" + } + ], + "first_commit": "f098915bc480f3412af92a649808edca318e48d1", + "first_commit_time": "2026-10-05T20:41:29-07:00", + "implementation": [ + { + "blob_sha": "9a667f0d01b2ce9d5aaf204a953e46e5824d1d00", + "path": "reviews/iba2_012_marked_sector_20261006/marked_entropy_check.py", + "sha256": "4b511af1c8c51ed1fa343ebe461315eafcd8553cffcbbcab3c3038c874e9f339" + }, + { + "blob_sha": "5d58754736ff5fbd46983c39108eb5a5b1ac03ef", + "path": "reviews/iba2_012_marked_sector_20261006/test_marked_entropy.py", + "sha256": "d4768f5bd20f3696b11c094b401e8935fb30819b37ee8861bef5de8599ba8436" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "f098915bc480f3412af92a649808edca318e48d1", + "proposed_node_id": "cand.reviews.iba2-012-marked-sector", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/c6_marked_fourier_20260929", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "b6fbc5833551593df23b721261ee74c896e86404" + }, + { + "path": "reviews/iba2_012_finite_radius_20261005", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "3c89898c67e6234faae6a81498c7dd7cf0b711a9" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/iba2_012_marked_sector_20261006" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "6b2ad5b3e3eee83e25cfaa1e571b9e1a806f34a2", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/literature_classical_neighbors_20261001@9f3fb6918b28e6378c034ebc19e76d432f5391cb#6b2ad5b3e3eee83e25cfaa1e571b9e1a806f34a2", + "docs": [ + "reviews/literature_classical_neighbors_20261001/ADDENDUM.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 5, + "files": [ + { + "blob_sha": "b289c7cd4be29fad6913aa4d753899cb0ef851aa", + "path": "reviews/literature_classical_neighbors_20261001/ADDENDUM.md", + "sha256": "5e3903ad05b0566a1e999b0e69b309a4165578705d687f4a3021d22ebd1e1e42" + }, + { + "blob_sha": "9ec189aeee8a65f8012114ffa75dc559e15f67cf", + "path": "reviews/literature_classical_neighbors_20261001/D1_RICE.json", + "sha256": "ec4d1fefc92b43db567779d49c464169132505f04b2f96f82776a320667c2443" + }, + { + "blob_sha": "6772ad0615fa71c255d35796d924fdd92cc868b9", + "path": "reviews/literature_classical_neighbors_20261001/PROTOCOL.json", + "sha256": "a265bb4718e830f088811633883591d0ba9c9fb5c1b4730ba4d5c1b6580dbc27" + }, + { + "blob_sha": "9dc1f4a658a4f827b67c742562b8344c3f7a9be0", + "path": "reviews/literature_classical_neighbors_20261001/SOURCE_FILES.json", + "sha256": "98fa288c642bc33486ead89bbb81986c4d62da1cda96c0c7ae5fd39fc4d1ceb2" + }, + { + "blob_sha": "68958e338f26b7a357ece131b34a40ea96f390d9", + "path": "reviews/literature_classical_neighbors_20261001/d1_rice_check.py", + "sha256": "e263adb339883d81d811ea73f391ffb2cd5320c3cd76a044f4d3e3ccbff50d6c" + } + ], + "first_commit": "1f126950fc0d117fde273ea2a7870f964518bf8a", + "first_commit_time": "2026-10-01T02:11:42Z", + "implementation": [ + { + "blob_sha": "68958e338f26b7a357ece131b34a40ea96f390d9", + "path": "reviews/literature_classical_neighbors_20261001/d1_rice_check.py", + "sha256": "e263adb339883d81d811ea73f391ffb2cd5320c3cd76a044f4d3e3ccbff50d6c" + }, + { + "blob_sha": "68b548a32bba09abace9036139f2f3b6e22a6991", + "path": ".github/workflows/d1-line.yml", + "role": "workflow-reference", + "sha256": "b5f79b070c9457b091e40c5e1cc4fd88d9c66679c9885396921626eb87f22893" + }, + { + "blob_sha": "4c53aa4011b6353ce46de6836a5b14d78e7c4cb8", + "path": ".github/workflows/literature-classical-neighbors.yml", + "role": "workflow-reference", + "sha256": "b1125373b834c31b576f19c8d1d6ea7f1cedf0ff2fd45aefbf29f3dbbf1b7115" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "213dd9eb8ba83de242516b10c999fbe56d17fd3f", + "proposed_node_id": "cand.reviews.literature-classical-neighbors", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/d1_third_order_law_20261001", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "d1c60cff48361a11e1f2770b33b6ee0146555afb" + }, + { + "path": "imports/lifetime_parent_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "288e18c02717dd05922c53103058fb8cf3708167" + }, + { + "path": "reviews/literature_lifetime_law_recon_20260929", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "7f4d184c12466075ba3969750b8ea93ded582cc9" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/literature_classical_neighbors_20261001" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "ea65ded23d30e4d856797026716d97fd8d09c1bb", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/p15_full_price_nonauthor_20260926@9f3fb6918b28e6378c034ebc19e76d432f5391cb#ea65ded23d30e4d856797026716d97fd8d09c1bb", + "docs": [ + "reviews/p15_full_price_nonauthor_20260926/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 2, + "files": [ + { + "blob_sha": "07db19f826763b8faa7414ba2e403d9c45bc0b6e", + "path": "reviews/p15_full_price_nonauthor_20260926/REVIEW.md", + "sha256": "691ea0db5c0f073326c9f7208c9804c6f5d0daf92ba7467529c9d57e08b15eb7" + }, + { + "blob_sha": "a7c7ed2bd6243533696187007b29885859f5b98c", + "path": "reviews/p15_full_price_nonauthor_20260926/algebra_check.py", + "sha256": "68c66cbeaab7941cafa7cf2d6f93d2e98543b5a040b7eede1433ffa2127cf4e9" + } + ], + "first_commit": "cab2db513b71761c36f8f60175395f02b7593fb7", + "first_commit_time": "2026-09-26T01:25:27Z", + "implementation": [ + { + "blob_sha": "a7c7ed2bd6243533696187007b29885859f5b98c", + "path": "reviews/p15_full_price_nonauthor_20260926/algebra_check.py", + "sha256": "68c66cbeaab7941cafa7cf2d6f93d2e98543b5a040b7eede1433ffa2127cf4e9" + }, + { + "blob_sha": "74bbb0b2a474e01b8f7d94482ab5ec0e0ceaf85b", + "path": ".github/workflows/register-alignment.yml", + "role": "workflow-reference", + "sha256": "027d3ff7ef172ef7db0ac2b06a162e85f4f37931b611f6a25fa178bf05fdf110" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "cab2db513b71761c36f8f60175395f02b7593fb7", + "proposed_node_id": "cand.reviews.p15-full-price-nonauthor", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/full_price_20260924", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "eb60aef49b726eebb80ac2b6f456a7c96d608edc" + }, + { + "path": "frontiers/three_fronts_20260924", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "f3377f9ee2f942b0359ce6465c6ab0f3b3628eb4" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/p15_full_price_nonauthor_20260926" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "a20b7d90e640e2576ca2d2aafac27fb3e0bce029", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/p15_overlap_tail_claude_20260928@9f3fb6918b28e6378c034ebc19e76d432f5391cb#a20b7d90e640e2576ca2d2aafac27fb3e0bce029", + "docs": [ + "reviews/p15_overlap_tail_claude_20260928/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 4, + "files": [ + { + "blob_sha": "60cec87c3cd25cd9400a8cc1df3427bbf2b7b0df", + "path": "reviews/p15_overlap_tail_claude_20260928/RESULTS.json", + "sha256": "87b52587cbed09cb893086c2db2d73992da8e0c940ffa156a56cd053361491d5" + }, + { + "blob_sha": "29ec33677854661964f2e659e7c9116a5749e95c", + "path": "reviews/p15_overlap_tail_claude_20260928/REVIEW.md", + "sha256": "7a425f7119dd8a0701fb241769a3e82d80fbd6b148d074f11e1015e826813268" + }, + { + "blob_sha": "eab24e7116fdc52d690b5de3ef1d6af99bcdf275", + "path": "reviews/p15_overlap_tail_claude_20260928/SOURCE_FILES.json", + "sha256": "4b0257252fb4d3f2f170f5cd416631c3fed771ff9ee1ff2dd597ac0085cf8d3a" + }, + { + "blob_sha": "378aa17fb47738d047fd6e4913670f9c8f07e583", + "path": "reviews/p15_overlap_tail_claude_20260928/p15_exact_check.py", + "sha256": "1c865eaca5b7e4fc815f1f050695dc5ed1acb0edbebb73824e93124916779540" + } + ], + "first_commit": "2968c61281d7b3887d43823200e4da84f0d42c41", + "first_commit_time": "2026-09-28T22:14:57Z", + "implementation": [ + { + "blob_sha": "378aa17fb47738d047fd6e4913670f9c8f07e583", + "path": "reviews/p15_overlap_tail_claude_20260928/p15_exact_check.py", + "sha256": "1c865eaca5b7e4fc815f1f050695dc5ed1acb0edbebb73824e93124916779540" + }, + { + "blob_sha": "7881207703c9a3704a4c2d9a7049e8e68f89a931", + "path": ".github/workflows/p15-overlap-tail-review.yml", + "role": "workflow-reference", + "sha256": "e18096118395ed2021d9838891b299159bc846aa74d854f83e32f75c1c9ca1dd" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "07cd645692a250f7d9d2d9ff0a7e5b016fea810a", + "proposed_node_id": "cand.reviews.p15-overlap-tail-claude", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/full_price_20260924", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "eb60aef49b726eebb80ac2b6f456a7c96d608edc" + }, + { + "path": "frontiers/p15_bipartite_overlap_20260928", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "71d34331da10f7969670aa876a2acbd45ce818cb" + }, + { + "path": "frontiers/p15_tail_load_20260928", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "b4fd184fb61d37368bfd65708c36ec462f05f7d6" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/p15_overlap_tail_claude_20260928" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "e7909e85eb2d1337d23c1d16482a6a196325f3d9", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/pr125_shrinking_witness_nonauthor_20260926@9f3fb6918b28e6378c034ebc19e76d432f5391cb#e7909e85eb2d1337d23c1d16482a6a196325f3d9", + "docs": [ + "reviews/pr125_shrinking_witness_nonauthor_20260926/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 2, + "files": [ + { + "blob_sha": "c337823b58cfec062fea27be7c3ab71dc2115a7b", + "path": "reviews/pr125_shrinking_witness_nonauthor_20260926/REVIEW.md", + "sha256": "615e32e4c958834abb388d9f2f735f5b3c2698c3ec3980153e074041946fa12a" + }, + { + "blob_sha": "8b9bd87ca30f78b52fa820e36574a58a3be4d9a6", + "path": "reviews/pr125_shrinking_witness_nonauthor_20260926/algebra_check.py", + "sha256": "2ffe3a18ee0ee38eca0b5e5be749f21fd5b7cecdcdad22c4212be80475c4269f" + } + ], + "first_commit": "408cdef786e755a56a03e6f0c8a4370606b1152c", + "first_commit_time": "2026-09-27T17:31:08Z", + "implementation": [ + { + "blob_sha": "8b9bd87ca30f78b52fa820e36574a58a3be4d9a6", + "path": "reviews/pr125_shrinking_witness_nonauthor_20260926/algebra_check.py", + "sha256": "2ffe3a18ee0ee38eca0b5e5be749f21fd5b7cecdcdad22c4212be80475c4269f" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "408cdef786e755a56a03e6f0c8a4370606b1152c", + "proposed_node_id": "cand.reviews.pr125-shrinking-witness-nonauthor", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/remote_window_20260924", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "749480a2b52731d3099116043d9c7f2d4013d150" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/pr125_shrinking_witness_nonauthor_20260926" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "fc3fa1d11cd99b01121ed610f5fdafca916c0a00", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/pr16_fixed_transverse_nonauthor_20260925@9f3fb6918b28e6378c034ebc19e76d432f5391cb#fc3fa1d11cd99b01121ed610f5fdafca916c0a00", + "docs": [ + "reviews/pr16_fixed_transverse_nonauthor_20260925/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 2, + "files": [ + { + "blob_sha": "4003ff13cf696389b9530fd445ee46daf3b4c646", + "path": "reviews/pr16_fixed_transverse_nonauthor_20260925/REVIEW.md", + "sha256": "20d6451412f304a20f70e0bc6aabb87bdd0bb9761b17834469d60867407ebd9c" + }, + { + "blob_sha": "383dc4fd5ce29e5ae7e8d0dcc1b823d23de10d3c", + "path": "reviews/pr16_fixed_transverse_nonauthor_20260925/algebra_check.py", + "sha256": "9f3580d4e6e99b7f3c7409a97123a2a1d20fa63f45a4cae0b8cbbe1046b98c38" + } + ], + "first_commit": "c360f46bf5d3e4bfbb77be98d5e671b5b834d403", + "first_commit_time": "2026-09-25T21:09:36Z", + "implementation": [ + { + "blob_sha": "383dc4fd5ce29e5ae7e8d0dcc1b823d23de10d3c", + "path": "reviews/pr16_fixed_transverse_nonauthor_20260925/algebra_check.py", + "sha256": "9f3580d4e6e99b7f3c7409a97123a2a1d20fa63f45a4cae0b8cbbe1046b98c38" + }, + { + "blob_sha": "9cde8e049501fe5ea98efdcf6d8bf9a24d2d7e4b", + "path": ".github/workflows/contact-small-gap.yml", + "role": "workflow-reference", + "sha256": "3937227a8a81803efb723c66764c7f1f5790e90e6767c726d99d412293f6b40f" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "c360f46bf5d3e4bfbb77be98d5e671b5b834d403", + "proposed_node_id": "cand.reviews.pr16-fixed-transverse-nonauthor", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "reviews/downstream_boundary_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "bd16462cf38d835d8ade3ef55485ecfe10dc3b38" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/pr16_fixed_transverse_nonauthor_20260925" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "7b6969b09e0a1b4527ad38232a67a568ce7f5b41", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/pr25_contact_kernel_20260925@9f3fb6918b28e6378c034ebc19e76d432f5391cb#7b6969b09e0a1b4527ad38232a67a568ce7f5b41", + "docs": [ + "reviews/pr25_contact_kernel_20260925/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 2, + "files": [ + { + "blob_sha": "ddf6859994d1b5cee855748520f8484b99a3a921", + "path": "reviews/pr25_contact_kernel_20260925/REVIEW.md", + "sha256": "d729cfa8cee17e7ac606b5e43103f6c544bd3b3f584dc1243040bcecf698e513" + }, + { + "blob_sha": "6a03bf5b2d85e171aa3efabbdb1d2bd67cf8317f", + "path": "reviews/pr25_contact_kernel_20260925/algebra_check.py", + "sha256": "51b208dfd397bd79b51a12f991115f218e84b9135c916614125cf8233acdde9c" + } + ], + "first_commit": "8373c3a7b9d8e5aebc69465d09fa7fcad437e8a5", + "first_commit_time": "2026-09-25T21:33:32Z", + "implementation": [ + { + "blob_sha": "6a03bf5b2d85e171aa3efabbdb1d2bd67cf8317f", + "path": "reviews/pr25_contact_kernel_20260925/algebra_check.py", + "sha256": "51b208dfd397bd79b51a12f991115f218e84b9135c916614125cf8233acdde9c" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "8373c3a7b9d8e5aebc69465d09fa7fcad437e8a5", + "proposed_node_id": "cand.reviews.pr25-contact-kernel", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "reviews/collision_mechanism_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "8001835fc03753d8962a3e6f38eb49918512f4b0" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/pr25_contact_kernel_20260925" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "d47987731096a9be68d60756a6d301586f2d26cc", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/pr25_typed_transfer_nonauthor_20260925@9f3fb6918b28e6378c034ebc19e76d432f5391cb#d47987731096a9be68d60756a6d301586f2d26cc", + "docs": [ + "reviews/pr25_typed_transfer_nonauthor_20260925/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 2, + "files": [ + { + "blob_sha": "fa8dbe8a5ca94ddfd5d0e7452e960eaa4a1d9c46", + "path": "reviews/pr25_typed_transfer_nonauthor_20260925/REVIEW.md", + "sha256": "468b47b83aa93ad2373e5304d6bc0061ae9c9cec385dbe4461445d7cba384003" + }, + { + "blob_sha": "a7cdfd598b6f4ce20690956281bd9e32202171b5", + "path": "reviews/pr25_typed_transfer_nonauthor_20260925/algebra_check.py", + "sha256": "f645c6f87714acb9c84b5163ffd05a008dc0f8b5d19e4b374f7e01a3c7342e0d" + } + ], + "first_commit": "189628119f65d845e270759e1b2b1e84ddb4cfe3", + "first_commit_time": "2026-09-25T21:40:59Z", + "implementation": [ + { + "blob_sha": "a7cdfd598b6f4ce20690956281bd9e32202171b5", + "path": "reviews/pr25_typed_transfer_nonauthor_20260925/algebra_check.py", + "sha256": "f645c6f87714acb9c84b5163ffd05a008dc0f8b5d19e4b374f7e01a3c7342e0d" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "189628119f65d845e270759e1b2b1e84ddb4cfe3", + "proposed_node_id": "cand.reviews.pr25-typed-transfer-nonauthor", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "reviews/collision_mechanism_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "8001835fc03753d8962a3e6f38eb49918512f4b0" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/pr25_typed_transfer_nonauthor_20260925" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "58b3ef399aacb7987f738976bd1fba6c72fbdd63", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/pr36_kernel_tail_nonauthor_20260926@9f3fb6918b28e6378c034ebc19e76d432f5391cb#58b3ef399aacb7987f738976bd1fba6c72fbdd63", + "docs": [ + "reviews/pr36_kernel_tail_nonauthor_20260926/REVIEW.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 2, + "files": [ + { + "blob_sha": "54986be8497f92318c90f67d3365ee7182e83ca2", + "path": "reviews/pr36_kernel_tail_nonauthor_20260926/REVIEW.md", + "sha256": "601deb1405383a383f98cb6d7ca0c11be01b944329639a61790cfe73ea80850b" + }, + { + "blob_sha": "63e3757b0efddced767f7c854d5762e7ba7f598e", + "path": "reviews/pr36_kernel_tail_nonauthor_20260926/algebra_check.py", + "sha256": "5c439b68ebb058e53137557bebb36d3886542fa19b53da21ace41590723fe332" + } + ], + "first_commit": "b63cccdd935bfa0d1bd5605c5e031413b510b1cd", + "first_commit_time": "2026-09-27T17:32:13Z", + "implementation": [ + { + "blob_sha": "63e3757b0efddced767f7c854d5762e7ba7f598e", + "path": "reviews/pr36_kernel_tail_nonauthor_20260926/algebra_check.py", + "sha256": "5c439b68ebb058e53137557bebb36d3886542fa19b53da21ace41590723fe332" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "b63cccdd935bfa0d1bd5605c5e031413b510b1cd", + "proposed_node_id": "cand.reviews.pr36-kernel-tail-nonauthor", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "reviews/collision_mechanism_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "8001835fc03753d8962a3e6f38eb49918512f4b0" + }, + { + "path": "reviews/contact_kernel_tail_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "e8aea5d8b55c882604235ba1923df199c1ac3420" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/pr36_kernel_tail_nonauthor_20260926" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "eace54863660f6a6f6d164bcd30c9e2c2be8890d", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/proof_dependencies_20261008@9f3fb6918b28e6378c034ebc19e76d432f5391cb#eace54863660f6a6f6d164bcd30c9e2c2be8890d", + "docs": [ + "reviews/proof_dependencies_20261008/CONTRACT.md", + "reviews/proof_dependencies_20261008/P_C/README.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 16, + "files": [ + { + "blob_sha": "f5b33c9846262ab96e9f9f0e02ddef683e3dd545", + "path": "reviews/proof_dependencies_20261008/CONTRACT.md", + "sha256": "13454cd50a70862ab58212a7a62a323e22c0f1a74b306a292d4d95bad1b4e13e" + }, + { + "blob_sha": "252f1f36bd8ddb4f6fe00c17dc1486836fe13198", + "path": "reviews/proof_dependencies_20261008/P_C/EXPECTED_INVENTORY.json", + "sha256": "bb764b4a5b440c63c176006e4187f8a9a38833cbc6086905123887f4397c17d3" + }, + { + "blob_sha": "1e6b4050083eadac62a64d3bae96066584b2370b", + "path": "reviews/proof_dependencies_20261008/P_C/PROOF_SLICE.json", + "sha256": "52201f54ee228812ec9af41f3f64bd9db84e3c29091a010c8001b3e263e8b7c2" + }, + { + "blob_sha": "9fc2888e13f7224a53d188c907caa8eeb467c28b", + "path": "reviews/proof_dependencies_20261008/P_C/README.md", + "sha256": "ff7eb7436d409b820355932eb19de808a5f17ceaaa4d23671e74c58ea869fdb0" + }, + { + "blob_sha": "4aa4d2d53ca7bdf4e4a260eed0e8cded5e989565", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6049443374-3726784e264a844dddab7f982419e751da96b7bb6661a1689518db9a6522c9f0.json", + "sha256": "9f02fcb4b06893a24318d9b6cfc9717ff6ebfcc2773e29c4ecfaeebda90f3d7a" + }, + { + "blob_sha": "a5027c7cb65628ad65eaf4a06b57e7003ef1950a", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6049548422-1c22188ec6395aceadbf5a34b0da5f83de95c84a6c619159f33aac23ca8f5466.json", + "sha256": "76db419ae0ff7ee12aaff899079bd4c0971b240db241527900d12c648407124c" + }, + { + "blob_sha": "0613e873188af9c0af270b6f1a6ecb17182050b8", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6049640627-ec0677b5e6e0630e444d8ae94cc4fc4572848241786e30e391897e068b9937dc.json", + "sha256": "051e05996e262ee7c90240c3673d731a2623cf232ba3b919a226b400957da6d6" + }, + { + "blob_sha": "f89947d8831e4cdb4e2374cdfe204c0f01c65d39", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6051274124-29e9a4db8bae928f9f7b9b5286db1cdf722e7ceb90b108fd09d53082b72edaba.json", + "sha256": "faf0ab8f880e64836e562c95f713036e41ea40a36e8a90f53563394b2163a4f1" + }, + { + "blob_sha": "772482d6b94ec49a2b0c6735099dfc688c943b05", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6053473777-1b5012b601bcefbb493a1f27b7e8526326ef0f0f44374f4862f211787d83943f.json", + "sha256": "8c2fc18f7ec449dd2856900b907b2f8c7b2b2e0c72de405937471b876918d850" + }, + { + "blob_sha": "ee240b6dc82c3b67319639958e91fdf62d625cab", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6053539516-edcf2e3d34f606c66fcb6f5391342802d9cb44cb35a6b59f5151a93e44641cc5.json", + "sha256": "38e72116a0fc465edfbb9d011d0ece026d94c095c65d1977cbc3168ba71d92a2" + }, + { + "blob_sha": "f8e3a4cd43ca4f562525d3e1310007b807875ac6", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6054305355-fb29f57919825c8e9f1fa80e241a0a1736e70b7565e101badc3de9730052bc66.json", + "sha256": "8b904bc6b8645f5c6d722cb4c6298e48ad378ecf37c95cce909305036d5ea35b" + }, + { + "blob_sha": "d8f6ffb3c81f1572ce72241436599556203a2025", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6054567951-d49e298d4bb3d585385028834f0f6db7dfb1de5accc955fac1b6c9f43cd30ca0.json", + "sha256": "fa1d89e82e56f75d292c95c7f1a7862f2144c4e6a58217113e21d4791e67c341" + }, + { + "blob_sha": "8b9eae60a4a90f8acebd2ff56c07a8fa4c153668", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6055282954-ee7bb9469d3aaecc8bd5afc6c8e463f6767132e91645fa5b4c36650a2f81700c.json", + "sha256": "c6e9cf5c27cb3f53dfe12ae21868e30db1e87eae287bec9810661b7c989e9353" + }, + { + "blob_sha": "f3eca077df8e10d17ceec05ddb30de44337c4604", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6055287391-420b04f3b14335559eccda7cf0bd3ae7ee88da8f532b9eac0e99ebb65a7140ef.json", + "sha256": "975dd03658607b0c1b9431001599745651978c1ac62e5417263432d1cd272985" + }, + { + "blob_sha": "5cf4114bd97c294bae2b690ee65c776dd3c1bf68", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6057972030-cd622caf140c346e07ec8775644789b4e82c648389c8beb161975ea76a6fd298.json", + "sha256": "a33d7e453cd14e0a6185094a8cd07e3e4ea96463379439e290d7f228443b4b27" + }, + { + "blob_sha": "2e7377908209c3b67a510a97641f5a92cb1d4b68", + "path": "reviews/proof_dependencies_20261008/P_C/records/comment-6064435898-139ffd12d0daa6d0dfaa4c3a1e6885c19e07c5286d25065c1163aedae9dc6792.json", + "sha256": "c653bbe351d27bc4110e831961030e13c276b165b43e496f3504eb325f0dfb74" + } + ], + "first_commit": "8f4076b32a16a03e977e63351305742826f5ff79", + "first_commit_time": "2026-10-08T04:13:51-07:00", + "implementation": [ + { + "blob_sha": "f05bbec845a260e2448d76d0bf33c9461b562db9", + "path": ".github/workflows/downstream-gate.yml", + "role": "workflow-reference", + "sha256": "8bf1b82bb23f1511bfa6079ef35682e4fe7fba6452d7af4126c33d552e537d05" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "bf93325dfbe6f51987d6127fa1c33bf0255722ce", + "proposed_node_id": "cand.reviews.proof-dependencies", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "imports/lifetime_parent_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "288e18c02717dd05922c53103058fb8cf3708167" + }, + { + "path": "reviews/d1_chain_reconciliation_20260928", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "dacbb1ed2c6f61f22691fb81c5f3c93a75a6403e" + }, + { + "path": "reviews/d1_section9_borel_repair_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "358024d337c8795f03c63c2c71137be5268bca74" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/proof_dependencies_20261008" + }, + { + "binding_status": "unbound_artifact (no v2 record: node does not exist at pinned GRAPH commit)", + "blob_sha": "4713c3a0b88b5648abefac469135caf999badea5", + "classification_ceiling": "AUTHOR_SIDE_CANDIDATE", + "commit": "9f3fb6918b28e6378c034ebc19e76d432f5391cb", + "compact_ref": "d6g8k5htny-coder/Math-:reviews/radial_moment_corollaries_20260930@9f3fb6918b28e6378c034ebc19e76d432f5391cb#4713c3a0b88b5648abefac469135caf999badea5", + "docs": [ + "reviews/radial_moment_corollaries_20260930/MOMENT_CONSEQUENCE.md", + "reviews/radial_moment_corollaries_20260930/NONAUTHOR_REVIEW.md", + "reviews/radial_moment_corollaries_20260930/P.md", + "reviews/radial_moment_corollaries_20260930/PROOF.md", + "reviews/radial_moment_corollaries_20260930/R.md", + "reviews/radial_moment_corollaries_20260930/README.md", + "reviews/radial_moment_corollaries_20260930/SC.md" + ], + "existing_graph_nodes_referencing": [], + "file_count": 17, + "files": [ + { + "blob_sha": "0270312de1108e53064fe2ea73c0d2aa3113043d", + "path": "reviews/radial_moment_corollaries_20260930/AUTHOR_COMMENT_5903080058.json", + "sha256": "a0918eb36d54a2d78133bb7f01e66c5dc89c8e7248f10940067ca4a09aa8da74" + }, + { + "blob_sha": "c216bd5d818f5432dba491c8c4187ea4fbb2f465", + "path": "reviews/radial_moment_corollaries_20260930/AUTHOR_COMMENT_5907459466.json", + "sha256": "835a557cdd953cccaf6b1e15cd08e4facddc0e476d11e2c2d9ecfd414b524c68" + }, + { + "blob_sha": "5b405d890d4acf9e7e1c1044a382618d77e99b57", + "path": "reviews/radial_moment_corollaries_20260930/COROLLARY_CUSTODY.json", + "sha256": "95abc5c0b47cec216bb59270940aea2a6a1d9642c13a0af585531adf59625fe3" + }, + { + "blob_sha": "a2aff201bda75aa74b8101d225182ca7731872e3", + "path": "reviews/radial_moment_corollaries_20260930/IDENTITY_AND_CONTROL_OBSERVATIONS.json", + "sha256": "84164b9ce29f7cc0d0b31a9cd53a870e0ad2c9bd7bb7de271cff877ba96754e5" + }, + { + "blob_sha": "fb3bef3a9a46cc0135a88bae6c26e1bade4e7384", + "path": "reviews/radial_moment_corollaries_20260930/MOMENT_CONSEQUENCE.md", + "sha256": "29bba56b56fd3223a2ea71d012f9abe04eb30240bc5bbfe8f5b131e0bba6f4dd" + }, + { + "blob_sha": "fcd55a978e9aa5d36d55837558797e615d5990f5", + "path": "reviews/radial_moment_corollaries_20260930/NONAUTHOR_REVIEW.md", + "sha256": "20c9bd369d563ea14a4a4bc554c27a4b1aae691004f158510049954008588e3e" + }, + { + "blob_sha": "dfed3b8d318a3ab1950957f393307733a4bef3f2", + "path": "reviews/radial_moment_corollaries_20260930/P.md", + "sha256": "9350ad6eaba6626b93c3dedeef9e2ff816e5cdf1c8318e85fb27499141c84bc7" + }, + { + "blob_sha": "65f24b1f9a7b80522a2ee059f5f6877c9f970f0d", + "path": "reviews/radial_moment_corollaries_20260930/PROOF.md", + "sha256": "a3693664900e23e1e763d88a0b5609936a6f31d844cbe6f18c7d0379b94ba710" + }, + { + "blob_sha": "0f14417ef7038b9c6f50e4b01e393a58b7b5e3a4", + "path": "reviews/radial_moment_corollaries_20260930/R.md", + "sha256": "250897858c8b314c0ff85ec1860a725efacfdae0ff7409fced4cadf7bfb85973" + }, + { + "blob_sha": "3e161ed952620ff656b8aa79f668167239d05387", + "path": "reviews/radial_moment_corollaries_20260930/README.md", + "sha256": "2c90bb76724e30fc88471393ead7521bffd22c4e3065cda00cb5567286ced42c" + }, + { + "blob_sha": "16c56821b52fd76b0be791622b9c3809eafde75a", + "path": "reviews/radial_moment_corollaries_20260930/SC.md", + "sha256": "e971b2cbe50a8a06b47c1219191201e0d1037c9adac23e5e3b7d2051bb70c2eb" + }, + { + "blob_sha": "37f3dc7b5583bf2f4f0a8d1bb1fd5bd39ff12838", + "path": "reviews/radial_moment_corollaries_20260930/SOURCES.json", + "sha256": "22b3064a278faff1d915dfb658e9d7e41ec5c4ee69f31e944d47a699a82f8a07" + }, + { + "blob_sha": "d311bc5203ae3102c0fdb465f3d1e1f484512769", + "path": "reviews/radial_moment_corollaries_20260930/moment-checks-normal.json", + "sha256": "ca7298f97379d48ee717c1efa4570fd3bc91eded22be0e16c501702dd1415874" + }, + { + "blob_sha": "e75147417a636693d1deb8767061fe9009a20258", + "path": "reviews/radial_moment_corollaries_20260930/moment-checks-normal.log", + "sha256": "29e85d8acec68f817812b97b51986e8b86ab5dce2266ca0c3367f72815bb9e7b" + }, + { + "blob_sha": "d311bc5203ae3102c0fdb465f3d1e1f484512769", + "path": "reviews/radial_moment_corollaries_20260930/moment-checks-optimized.json", + "sha256": "ca7298f97379d48ee717c1efa4570fd3bc91eded22be0e16c501702dd1415874" + }, + { + "blob_sha": "e75147417a636693d1deb8767061fe9009a20258", + "path": "reviews/radial_moment_corollaries_20260930/moment-checks-optimized.log", + "sha256": "29e85d8acec68f817812b97b51986e8b86ab5dce2266ca0c3367f72815bb9e7b" + }, + { + "blob_sha": "95275971632ea61c3d2cd06e2f73f0836c1d7b83", + "path": "reviews/radial_moment_corollaries_20260930/moment_consequence_checks.py", + "sha256": "0c35140179e0345eb03764bf29c3c81453ea278ce1a6319ab33edf6a548e03e6" + } + ], + "first_commit": "fe79df04398cce354394c1e7bba288423332b15b", + "first_commit_time": "2026-09-30T03:59:55-05:00", + "implementation": [ + { + "blob_sha": "95275971632ea61c3d2cd06e2f73f0836c1d7b83", + "path": "reviews/radial_moment_corollaries_20260930/moment_consequence_checks.py", + "sha256": "0c35140179e0345eb03764bf29c3c81453ea278ce1a6319ab33edf6a548e03e6" + }, + { + "blob_sha": "6c9fa1d8c59094ae935b2c5a07a575a4b58dc55c", + "path": ".github/workflows/lifetime-moment-boundary.yml", + "role": "workflow-reference", + "sha256": "ce6477dca5209555ee20747f6a67deb1d412da107b038743ea4b0b132dbd051b" + } + ], + "implementation_status": "PINNED", + "kind": "tree", + "last_change_commit": "d768a1761aee8d6911c14bc7524089e14c8cd81c", + "proposed_node_id": "cand.reviews.radial-moment-corollaries", + "proposed_node_id_status": "PROPOSED_NOT_IN_NODE_SOURCE (no such id in GRAPH.json@dbe6c0a1; requires reviewed GRAPH change)", + "referenced_unit_paths": [ + { + "path": "frontiers/lifetime_moment_boundary_20260930", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "d3ba1e8459292bf4e7b87bcc5e6734dc72b36612" + }, + { + "path": "frontiers/radial_rate_20260930", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "b02e9b07774d75acbefe7d80019b7b32013cf2e0" + }, + { + "path": "frontiers/spectral_cluster_closure_20260929", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "cd60823ee3670fd2a0c0a79c13330200fc382f23" + }, + { + "path": "frontiers/two_scale_cluster_geometry_20260929", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "e09d618cfa520fe07dd085c1a487e9d798fbc535" + }, + { + "path": "imports/lifetime_parent_20260925", + "status": "PRESENT_AT_CUT", + "tree_sha_at_cut": "288e18c02717dd05922c53103058fb8cf3708167" + } + ], + "referenced_unit_paths_method": "regex scan of unit file bytes at cut for /_YYYYMMDD; textual mention only, not a verified review/consumption relation", + "repository": "d6g8k5htny-coder/Math-", + "unit": "reviews/radial_moment_corollaries_20260930" + } + ] +}