Repository navigation

Supersession reasons and derived support status - #25

Merged

NovusEdge merged 22 commits into

mainfrom

feat/supersession-reasons

Oct 2, 2026

Commits on Oct 2, 2026

ledger: record a reason on each supersession
NovusEdge
committed
98d5c67
ledger: add review lines, folded in on read
NovusEdge
committed
049e5aa
support: derive whether each record's grounds still stand
NovusEdge
committed
d091602
ledger: block a prerequisite that resolves back onto its dependent
NovusEdge
committed
45aa9aa
cli: --supersede-reason, docket review, and relabelling by correction
NovusEdge
committed
c411603
completion: restore the space before -a in the fish show/review line
NovusEdge
committed
c9cd4b7
context, show, graph: surface records that owe review or lost their grounds
NovusEdge
committed
1fb62f5
context: keep unsupported records available as prerequisites
NovusEdge
committed
1b9cf3a
docs: supersession reasons, support status and review
NovusEdge
committed
f04b4da
support: flag circular support instead of losing it
NovusEdge
committed
9956de9
support: let a review clear a circular flag; reword prerequisite docs
NovusEdge
committed
55d7239
context: resolve prerequisites to their chain head in blocked lines; skip already-unsupported records in --since
NovusEdge
committed
9ac310d
cli: count reviews apart in check; no revise hint on questions; complete --note and correct --supersede-reason
NovusEdge
committed
796bac5
tests: a retired prerequisite blocks only when reversed
NovusEdge
committed
d757943
docs: prerequisites follow the chain head; derived support fields; review pins
NovusEdge
committed
dd1d659
ledger: record the circular-support, digest and prerequisite decisions
NovusEdge
committed
0fc0489
support: a review acknowledges only the grounds the record owns
NovusEdge
committed
d24045f
context: --since prints a changed record once, not again as newly flagged
NovusEdge
committed
657226b
ledger: correct the forward-cycle comment to the blocking rule
NovusEdge
committed
dd29c2e
ledger: record the review-scope decision and correct the digest rationale
NovusEdge
committed
11a272e
support: a pin on an owned cause no longer lifts the flag or block its head carries
NovusEdge
committed
6a1a978
support: a circular head the greatest fixed point also flags carries an inherited flag
NovusEdge
committed
97b5c46

Navigation Menu

Repository navigation

Supersession reasons and derived support status - #25

Supersession reasons and derived support status#25
NovusEdge merged 22 commits into
mainfrom
feat/supersession-reasons

Commits on Oct 2, 2026

ledger: record a reason on each supersession

ledger: add review lines, folded in on read

support: derive whether each record's grounds still stand

ledger: block a prerequisite that resolves back onto its dependent

cli: --supersede-reason, docket review, and relabelling by correction

completion: restore the space before -a in the fish show/review line

context, show, graph: surface records that owe review or lost their grounds

context: keep unsupported records available as prerequisites

docs: supersession reasons, support status and review

support: flag circular support instead of losing it

support: let a review clear a circular flag; reword prerequisite docs

context: resolve prerequisites to their chain head in blocked lines; skip already-unsupported records in --since

cli: count reviews apart in check; no revise hint on questions; complete --note and correct --supersede-reason

tests: a retired prerequisite blocks only when reversed

docs: prerequisites follow the chain head; derived support fields; review pins

ledger: record the circular-support, digest and prerequisite decisions

support: a review acknowledges only the grounds the record owns

context: --since prints a changed record once, not again as newly flagged

ledger: correct the forward-cycle comment to the blocking rule

ledger: record the review-scope decision and correct the digest rationale

support: a pin on an owned cause no longer lifts the flag or block its head carries

support: a circular head the greatest fixed point also flags carries an inherited flag