Skip to content

unpartitioned tail #8368

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
briansrls wants to merge 60 commits into from
Closed

unpartitioned tail #8368

Changes from all commits
Commits
Show all changes
60 commits
Select commit Hold shift + click to select a range
1496f59
Shared coordination surface for the self-host cargo wall
Aug 16, 2026
31887e1
The root partition, from cause signatures already banked in tree
Aug 16, 2026
b6b6a6c
Root A's size is stale: a fix for it landed after the measurement
Aug 16, 2026
f2c3daa
Root A: the fork is already declared, and the wire-through changes grain
Aug 16, 2026
53c402d
Delete all 41 probe TSVs, and the one witness whose subject they were
Aug 16, 2026
7974ac6
Root A root-caused; working agreements for the three dispatched lanes
Aug 16, 2026
ac18dbc
Retract Root A's ~590: it was two censuses added together, and two lanes
Aug 16, 2026
36bdbf5
The closure-shape fork: a candidate meta-root above Roots A and B
Aug 16, 2026
074f976
Root B: root-caused, measured live, and the obvious fix refuted by ex…
Aug 16, 2026
1534941
§10: third closure-shape instance confirmed by execution (variant-amb…
Aug 16, 2026
fc5bfdc
Third instance of the closure-shape fork, and it is a state-space con…
Aug 16, 2026
fa52622
Merge branch 'session/smart-ram-730' of https://github.com/gunb-ai/gu…
Aug 16, 2026
ce9d355
Collapse the duplicate third-instance account onto its measurer's entry
Aug 16, 2026
c0d90f4
Retract the shared-name premise between the two Absent mechanisms; my…
Aug 16, 2026
b51b815
Qualify instance 3 against the meta-root: the seed closure is NOT pro…
Aug 16, 2026
ced45e6
The meta-root's own falsifier fired; restate it, and retract my framing
Aug 16, 2026
a6af7d8
Merge branch 'session/smart-ram-730' of https://github.com/gunb-ai/gu…
Aug 16, 2026
fab0627
Trim my falsifier summary to a pointer
Aug 16, 2026
3348174
Partition the unclassified tail: six further roots, a 2.75x inflation…
Aug 16, 2026
18041c3
Correct six floor/delta cells in the tail partition table against the…
Aug 16, 2026
a7345e1
Merge shared branch
Aug 16, 2026
b308ff1
Correct my Root B before/after to distinct-site grain; 342 was a grep…
Aug 16, 2026
8877a2c
Promote the section 10 candidate: it fires, and 28 of 34 misses are t…
Aug 16, 2026
1458e9e
Replace the unexecuted-flip caveat with eager-deer-389's executed con…
Aug 16, 2026
47956c8
Answer the name-keyed-realization question against the tail: 253 site…
Aug 16, 2026
885f801
Retire the T7 root name: the population is a seed-prelude collision, …
Aug 16, 2026
d2f77d5
Locate the name-keyed substitution in the rust_type_checkpoints row t…
Aug 16, 2026
7774d7a
Add a reader's entry point: the bound, the falsified claims, the mask…
Aug 16, 2026
769f47a
Characterize Root A at site grain: 142 sites, 133 after deduction, on…
Aug 16, 2026
caadd25
Root A diagnosed: one clone-bounds map answering two different questions
Aug 16, 2026
02a4b6a
Split Root A's generic receivers enum vs struct: zero corpus generic …
Aug 16, 2026
38a35ac
Root A: the mechanism survives two falsifiers, the fix does not
Aug 16, 2026
2f57e2f
Measure the seven-module bound: four more entries add nine distinct s…
Aug 16, 2026
bb10a61
Measure where Root A bites: 86% of sites are fn signatures, and parti…
Aug 16, 2026
72df06d
Root A: the two-record split is necessary and not sufficient
Aug 16, 2026
8519ae4
Measure the over-bounding exposure behind Root A's usage-gate objecti…
Aug 16, 2026
78930ac
Merge branches 'main' and 'session/smart-ram-730' of https://github.c…
Aug 16, 2026
2e53e9a
Record A's enclosing-item split and the program's three measurement r…
Aug 16, 2026
24d88e9
Characterize Root K: 86% variant-qualified paths, concentrated in pat…
Aug 17, 2026
87bcb98
Characterize Root T3: modeled function-record vs native container, sp…
Aug 17, 2026
e69ea9e
Characterize T5 and R1: T5 splits into a real missing derive and an i…
Aug 17, 2026
5a1b686
Correct the R1 reading: two disjoint populations, so the DESIGN premi…
Aug 17, 2026
89af71c
Record the shared_types read: both R1 populations are shared, so memb…
Aug 17, 2026
b5e16a9
Retract the v2-catalog attribution in 11.20: the corpus was emitted b…
Aug 17, 2026
902087d
Refute prediction 3 and my own field/signature split; record the erro…
Aug 17, 2026
bcf991f
Independent consistency sweep: ten types, fourteen occurrences, and m…
Aug 17, 2026
8365d47
Characterize T5b: attribute all 44 sites to the declarations whose de…
Aug 17, 2026
d15ba03
Add section 12: the site-to-work ratio, measured at 4x-509x, and what…
Aug 17, 2026
0eddb41
Name Root B's receipt instead of linking it: the target is on an unme…
Aug 17, 2026
7e53bc2
Add section 13: three two-arm provenance controls that run before the…
Aug 17, 2026
5868fbf
Correct section 16: pooled ratio silently included the excluded Root …
Aug 17, 2026
ac006fb
My summary was quoting smart-ibex's name-keying number stale: 253/13.…
Aug 17, 2026
0458852
Narrow section 17.2's determinism claim to its evidence (n=1 module, …
Aug 17, 2026
eefeb4d
Add section 18: B1's 509 withdrawn as one root — at most 146 repr-sha…
Aug 17, 2026
3066474
Mark the three surviving 509 citations in section 11 as withdrawn, po…
Aug 17, 2026
c8c0f21
Two stale 509 rows in my sections: the withdrawal lived in a later se…
Aug 17, 2026
932c2fc
Bind and link the Root B probe: main is red because a probe merged ah…
Aug 17, 2026
9d00408
Annotate 11.4's root enumeration as incomplete since section 18 — the…
Aug 17, 2026
f9bd2d6
Section 11.8: the unprobed-modules residue was superseded by 11.14 — …
Aug 17, 2026
bb827c4
Merge main, and drop the bind row that would have re-created the dupl…
Aug 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

These merge commits were added into this branch cleanly.

There are no new changes to show.