feat(supersession): carry document ordering to the writer, and measure whether it is enough (A1) - #49

Open

lucasmaan wants to merge 72 commits into

mainfrom

docs/supersession-a1-spec

Commits on Aug 19, 2026

docs(supersession): specify the A1 increment and record the design

lucasmaan
and
claude
committed
93d479b
docs(supersession): correct the write-path inventory the A1 criteria depend on
lucasmaan
committed
37c7adb
feat(api,frontmatter): date documents on the submit route

lucasmaan
and
claude
committed
87fb43b
feat(merge,compile): give the writer one dated block per source

lucasmaan
and
claude
committed
a148c17
feat(merge): allocate the write budget newest source first

lucasmaan
and
claude
committed
b413514
feat(merge): tell the writer which way the source blocks run
lucasmaan
committed
35391d6
feat(compile): report the version chains merge cannot reconcile

lucasmaan
and
claude
committed
c94bbfa
feat(scripts): recover the case selector and stage the fixture per version

lucasmaan
and
claude
committed
41a8fff
docs(supersession): draft the case labels and split superseded into contradiction and drop
lucasmaan
committed
a3b14d2
docs(supersession): rule on P2's direction and P7's period reading
lucasmaan
committed
53eb5c9
docs(supersession): correct the drop total for the scoring set
lucasmaan
committed
b655d29
docs(supersession): correct the P3 and P8 label cites found by verification
lucasmaan
committed
121ccb4
docs(supersession): correct the P9 label cites found by verification
lucasmaan
committed
d0c24fa
docs(supersession): record the co-source confound found verifying P7
lucasmaan
committed
69f670a
docs(supersession): record the independent verification pass and its ruling queue
lucasmaan
committed
64e251f
docs(supersession): fix a traditional-character typo in queue item V5
lucasmaan
committed
47bb6d6
docs(supersession): queue P10-C5's basis caveat as V18
lucasmaan
committed
d90ad7d
docs(supersession): name within-version ambiguity as a third whole-set finding
lucasmaan
committed
7feafef
docs(supersession): verify the controls and P1, the parts the label pass did not cover
lucasmaan
committed
f8a26ec
docs(supersession): verify P6, the last case no pass had covered
lucasmaan
committed
1413539
docs(supersession): resolve V16 on the article's content, leaving 18 rulings

lucasmaan
and
claude
committed
9a0357c
docs(supersession): give FX4 a check for articles with no reachable frontmatter

lucasmaan
and
claude
committed
65c8728
docs(supersession): rule V1 -- P8's four owner rows are de-specifications

lucasmaan
and
claude
committed
ace1658
docs(supersession): rule V2 -- P9-C1 is preserved by v2, not superseded

lucasmaan
and
claude
committed
e78e673
docs(supersession): rule V3 and V12 -- P10-C6 is a drop, not a contradiction

lucasmaan
and
claude
committed
b5ff31b
docs(supersession): recount the queue now that four rulings are taken

lucasmaan
and
claude
committed
ee80f92
docs(supersession): rule V19 per claim, and raise V20 for same-day sources
lucasmaan
committed
8d59574
docs(supersession): rule V4 -- P7's co-source bounds attribution, not the score
lucasmaan
committed
104dabc
docs(supersession): rule V5 -- P4-C8 stands, and its cited pair was wrong
lucasmaan
committed
d499585
docs(supersession): rule V20 -- same-day blocks carry no ordering claim

lucasmaan
and
claude
committed
9d57aeb
docs(supersession): rule V6 -- P10-C7 keeps v2's throughput basis

lucasmaan
and
claude
committed
bf1f39e
docs(supersession): rule V7 -- P3's manifest contract stays a drop

lucasmaan
and
claude
committed
e1ca084
docs(supersession): recount the queue now that eleven items are settled

lucasmaan
and
claude
committed
f017ade
docs(supersession): rule V8 -- P5's universal-transfer note becomes a drop

lucasmaan
and
claude
committed
846346f
docs(supersession): rule V9 -- P5's drop arm has lost three of six

lucasmaan
and
claude
committed
2e411aa
docs(supersession): rule V21 -- the published stale rate is 27 of 39

lucasmaan
and
claude
committed
899bd7a
docs(supersession): rule V10 -- P2's two files agree in the section they share

lucasmaan
and
claude
committed
2082f5d
docs(supersession): rule V11 -- P10's protected list is wrong three times

lucasmaan
and
claude
committed
621bee3
docs(supersession): rule V13 -- confirmed, and the article blends both bases

lucasmaan
and
claude
committed
5008aff
feat(merge): withdraw the ordering claim between same-day sources

lucasmaan
and
claude
committed
9877c85
fix(merge): correct WP9's population figure and harden its two prompt tests

lucasmaan
and
claude
committed
2508c04
docs(supersession): rule V14 -- P10's roster change is additive, not a swap

lucasmaan
and
claude
committed
d018007
docs(supersession): rule V15 -- X1 is a drop then a supersession, not a chain

lucasmaan
and
claude
committed
35bd539
docs(supersession): rule V22 -- C9 stands, on one residue instead of three

lucasmaan
and
claude
committed
9bc44fc
docs(supersession): rule V17 -- C5's two days are re-basing, not slowdown

lucasmaan
and
claude
committed
d62b960
docs(supersession): rule V18 -- C3 is a stale heading, and R3 has no string

lucasmaan
and
claude
committed
2602492
docs(supersession): L3 states the confirm pass, not a stale two-ruling headline

lucasmaan
and
claude
committed
986c893
docs(supersession): confirm pass opens on P3 -- 14 confirmed, 5 amended

lucasmaan
and
claude
committed
d10eb39
docs(supersession): confirm P2 -- 15 confirmed, 3 amended, one identity claim fixed

lucasmaan
and
claude
committed
c832f72
docs(supersession): confirm P4 -- 10 confirmed, 10 amended, nine replacements land mid-chain

lucasmaan
and
claude
committed
b690926
docs(supersession): confirm P7 -- 6 confirmed, 8 amended, the empty drop arm is structural

lucasmaan
and
claude
committed
a813964
docs(supersession): confirm P9 -- 10 confirmed, 7 amended, and the drop arm is short by five

lucasmaan
and
claude
committed
820ba95
docs(supersession): confirm P10 -- 8 confirmed, 11 amended, and only 19 lines survive the rewrite

lucasmaan
and
claude
committed
fb2085e
docs(supersession): confirm P5 -- 10 confirmed, 7 amended, and the status cell is not the status

lucasmaan
and
claude
committed
f8efd4c
docs(supersession): confirm P8 -- 6 confirmed, 6 amended, and the difference set is fully labelled

lucasmaan
and
claude
committed
136bb71
docs(supersession): close FX3's confirmation gate, and the plural-path defect was never one

lucasmaan
and
claude
committed
962a03d
feat(scripts): audit article sources and frontmatter reachability

lucasmaan
and
claude
committed
a2122af
docs(supersession): rule V23-V27, and the set moves to 45/41/42

lucasmaan
and
claude
committed
ebc9a80
docs(supersession): the baseline arm reproduces both FX4 defects, so the prediction was wrong
lucasmaan
committed
c63b9d3
docs(supersession): score the baseline arm at 24 of 40, and a case resolves to two articles

lucasmaan
and
claude
committed
baaa9d9
docs(supersession): settle V28-V34, and Trail drops from 18 of 45 to 7

lucasmaan
and
claude
committed
e180abc
feat(scripts): commit the FX4 arm driver the /tmp clear took

lucasmaan
and
claude
committed
5ad3f00
docs(supersession): cases.json regenerates, and the arm driver is versioned

lucasmaan
and
claude
committed
2df1e37
fix(scripts): decide a stage by name, because compiled is KB-wide

lucasmaan
and
claude
committed
104bb62
fix(scripts): check the gateway URL by shape, and record what wrote the articles

lucasmaan
and
claude
committed
80b2274
docs(supersession): score the A1 arm at 19 of 40, and the failure mode shifted

lucasmaan
and
claude
committed
36fc3e8
docs(supersession): rule V35-V38 and decide FX7 against A1

lucasmaan
and
claude
committed
ede8e0c
docs(supersession): rule V39, and coequal presentation stops scoring clean

lucasmaan
and
claude
committed
548bc22
feat(scripts): refuse a gateway that does not serve the arm's write model

lucasmaan
and
claude
committed
87b3d8a
fix(scripts): pin the model check to --model, and measure the two gateways

lucasmaan
and
claude
committed
78ed107
docs(supersession): the coequal panel now names the column that fails it

lucasmaan
and
claude
committed
d34d6b3
fix(tests): compute which refused root pytest's scratch directory is under

lucasmaan
and
claude
committed
7e7ca46