graph LR
family["Reproducible Research"]
program["Deep Dive Make"]
section["Generated Files Multi Output Pipeline Boundaries"]
page["Glossary"]
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 glossary to keep the language of Module 06 stable while you move between the core
lessons, worked example, and exercises.
The goal is not more jargon. The goal is to make sure the same generator fact keeps the
same name whenever you explain staleness, publication, or pipeline trust.
If a discussion starts sliding into vague phrases like "the generator refreshed things" or
"the pipeline mostly finished," stop and look up the term doing the most work in the
argument. Module 06 becomes much clearer once the team agrees on the right nouns.
The currently pointer-selected set whose accepted manifest still verifies.
preserve
live candidate
Unpublished work owned by a running producer.
leave untouched
abandoned candidate
Unpublished work with no live owner after interruption.
capture evidence, then quarantine or remove
unreferenced accepted generation
A validated immutable set not selected by the pointer, possibly left after interruption.
retain until classified
corrupted generation
A set whose output digest disagrees with its accepted manifest.
reject
missing-peer state
A coupled generation lacking one promised output.
reject or regenerate complete set
publication lock
Exclusive ownership of immutable adoption and pointer switching.
acquire before accepted-state mutation
lock owner
The process or job identity that acquired the publication lock.
verify liveness before recovery
stale lock
A lock whose recorded owner is no longer live.
use documented stale-owner recovery
fail closed
Reject uncertain state rather than manufacturing evidence or silently consuming it.
nonzero status and preserved pointer
reconciliation
Compare requested intent, peer presence, digests, and accepted state; regenerate or reselect when they disagree.
isolated proof route
recovery
Restore a state whose pointer, immutable bytes, and acceptance evidence agree.
verification after mutation
cleanup
Remove untrusted or obsolete debris. Cleanup alone does not restore accepted state.
ownership-aware removal
deletion recovery
Behavior after one peer disappears: grouped regeneration, explicit reconciliation, or clear rejection.
deleted-peer test
corruption rejection
Refusal to consume output whose digest no longer matches accepted evidence.
mutated-byte test
competing publisher
A second process seeking the same final publication boundary.
wait or reject without stealing ownership
flowchart TD
inventory["inventory pointer, IDs, digests, candidates, lock"] --> state{"classified state"}
state -->|current and verified| preserve["preserve"]
state -->|unreferenced accepted| retain["retain for diagnosis"]
state -->|live candidate| leave["leave owner alone"]
state -->|abandoned candidate| collect["quarantine or collect"]
state -->|missing or corrupt| reject["reject"]
reject --> regenerate["regenerate from modeled intent"]
Prefer statements that name the observer, failed boundary, and evidence:
“The grouped rule dispatches once for Make dependents, but external readers still need
one pointer-selected generation.”
“The stamp records completion but cannot detect the deleted JSON peer.”
“The intent manifest changed because MODE changed; the accepted manifest binds the new
immutable generation to validated digests.”
“The publisher stopped after immutable adoption, so the previous pointer remains trusted
and the unreferenced generation is retained for diagnosis.”
“The second process did not acquire the publication lock and removed only its own
candidate.”
Avoid “the generator is weird,” “the pipeline is atomic,” or “the manifest looks right.”
Those phrases do not say what Make selected, what readers observed, or which state remains
safe to consume.