Boundary Review Prompts¶
Page Maps¶
graph LR
family["Reproducible Research"]
program["Deep Dive DVC"]
section["Reference"]
page["Boundary Review Prompts"]
capstone["Capstone evidence"]
family --> program --> section --> page
page -.applies in.-> capstone
flowchart LR
orient["Orient on the page map"] --> read["Read the main claim and examples"]
read --> inspect["Inspect the related code, proof, or capstone surface"]
inspect --> verify["Run or review the verification path"]
verify --> apply["Apply the idea back to the module and capstone"]
Use this page when a DVC review feels fuzzy and you need sharper keep, change, or reject questions tied to repository boundaries.
Declaration versus execution¶
- Does
dvc.yamldescribe the same contract thatdvc.lockrecords? - Is the implementation readable without weakening the declared pipeline boundary?
- Would a reviewer know which file should win if declaration and execution seem to disagree?
Authority prompts¶
- Which state layer is actually allowed to settle this question?
- Is a workspace path being mistaken for durable identity or authority?
- Would another reviewer know which surface should win when multiple files look plausible?
Promotion versus internal state¶
- Is the promoted bundle smaller and clearer than the whole repository?
- Has any internal artifact started masquerading as downstream contract?
- Would a downstream reviewer know what they may rely on without oral explanation?
Recovery versus convenience¶
- Is the recovery story really remote-backed, or is it leaning on local convenience?
- Which claim is about durability, and which is only about ordinary verification?
- What evidence would make you reject the current recovery boundary as too soft?