Repository navigation

unpartitioned tail - #8368

Closed

briansrls wants to merge 60 commits into

mainfrom

ibex/tail-partition

Closed

unpartitioned tail#8368
briansrls wants to merge 60 commits into
mainfrom
ibex/tail-partition

Commits on Aug 16, 2026
- Shared coordination surface for the self-host cargo wall
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1496f59
- The root partition, from cause signatures already banked in tree
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  31887e1
- Root A's size is stale: a fix for it landed after the measurement
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b6b6a6c
- Root A: the fork is already declared, and the wire-through changes grain
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f2c3daa
- Delete all 41 probe TSVs, and the one witness whose subject they were
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  53c402d
- Root A root-caused; working agreements for the three dispatched lanes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7974ac6
- Retract Root A's ~590: it was two censuses added together, and two lanes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ac18dbc
- The closure-shape fork: a candidate meta-root above Roots A and B
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  36bdbf5
- Root B: root-caused, measured live, and the obvious fix refuted by execution
  gunbc-ci-auto-heal
  committed
  074f976
- §10: third closure-shape instance confirmed by execution (variant-ambiguity sentinel ignored at the read), plus §9 denominator guidance
  
  Brian Searls
  and
  claude
  committed
  1534941
- Third instance of the closure-shape fork, and it is a state-space conflation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fc5bfdc
- Merge branch 'session/smart-ram-730' of https://github.com/gunb-ai/gunbc into session/smart-ram-730
  gunbc-ci-auto-heal
  committed
  fa52622
- Collapse the duplicate third-instance account onto its measurer's entry
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ce9d355
- Retract the shared-name premise between the two Absent mechanisms; my wording caused it
  gunbc-ci-auto-heal
  committed
  c0d90f4
- Qualify instance 3 against the meta-root: the seed closure is NOT protected
  
  Brian Searls
  and
  claude
  committed
  b51b815
- The meta-root's own falsifier fired; restate it, and retract my framing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ced45e6
- Merge branch 'session/smart-ram-730' of https://github.com/gunb-ai/gunbc into session/smart-ram-730
  gunbc-ci-auto-heal
  committed
  a6af7d8
- Trim my falsifier summary to a pointer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fab0627
- Partition the unclassified tail: six further roots, a 2.75x inflation factor, and two dead July roots
  Brian Searls
  committed
  3348174
- Correct six floor/delta cells in the tail partition table against the classifier output
  Brian Searls
  committed
  18041c3
- Merge shared branch
  Brian Searls
  committed
  a7345e1
- Correct my Root B before/after to distinct-site grain; 342 was a grep line count
  gunbc-ci-auto-heal
  committed
  b308ff1
- Promote the section 10 candidate: it fires, and 28 of 34 misses are the name Absent
  gunbc-ci-auto-heal
  committed
  8877a2c
- Replace the unexecuted-flip caveat with eager-deer-389's executed control
  Brian Searls
  committed
  1458e9e
- Answer the name-keyed-realization question against the tail: 253 sites yes, 110 exposed, ~1500 no
  Brian Searls
  committed
  47956c8
- Retire the T7 root name: the population is a seed-prelude collision, not a ContentHash carrier fork
  Brian Searls
  committed
  885f801
- Locate the name-keyed substitution in the rust_type_checkpoints row table, and split Root D on it
  Brian Searls
  committed
  d2f77d5
- Add a reader's entry point: the bound, the falsified claims, the masking law, and Root A under challenge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7774d7a
- Characterize Root A at site grain: 142 sites, 133 after deduction, one root
  Brian Searls
  committed
  769f47a
- Root A diagnosed: one clone-bounds map answering two different questions
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  caadd25
- Split Root A's generic receivers enum vs struct: zero corpus generic structs, diagnosis survives
  Brian Searls
  committed
  02a4b6a
- Root A: the mechanism survives two falsifiers, the fix does not
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  38a35ac
- Measure the seven-module bound: four more entries add nine distinct sites, the corpus is saturating
  Brian Searls
  committed
  2f57e2f
- Measure where Root A bites: 86% of sites are fn signatures, and partially-bounded fns discriminate the mechanism
  Brian Searls
  committed
  bb10a61
- Root A: the two-record split is necessary and not sufficient
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  72df06d
- Measure the over-bounding exposure behind Root A's usage-gate objection: 21 of 21 clone the carrier
  Brian Searls
  committed
  8519ae4
- Merge branches 'main' and 'session/smart-ram-730' of https://github.com/gunb-ai/gunbc into session/smart-ram-730
  gunbc-ci-auto-heal
  committed
  78930ac
- Record A's enclosing-item split and the program's three measurement rules
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2e53e9a
Commits on Aug 17, 2026
- Characterize Root K: 86% variant-qualified paths, concentrated in pattern and construction positions
  Brian Searls
  committed
  24d88e9
- Characterize Root T3: modeled function-record vs native container, split into five mechanisms
  Brian Searls
  committed
  87bcb98
- Characterize T5 and R1: T5 splits into a real missing derive and an impossible one; R1 is symmetric at call sites
  Brian Searls
  committed
  e69ea9e
- Correct the R1 reading: two disjoint populations, so the DESIGN premise is incomplete rather than refuted
  Brian Searls
  committed
  5a1b686
- Record the shared_types read: both R1 populations are shared, so membership is not discriminating
  Brian Searls
  committed
  89af71c
- Retract the v2-catalog attribution in 11.20: the corpus was emitted by v1, and record the confirmed field/signature renderer split
  Brian Searls
  committed
  b5e16a9
- Refute prediction 3 and my own field/signature split; record the error-census denominator warning
  Brian Searls
  committed
  902087d
- Independent consistency sweep: ten types, fourteen occurrences, and move four element-wrap rows from T3 to R1
  Brian Searls
  committed
  bcf991f
- Characterize T5b: attribute all 44 sites to the declarations whose derives demand serde over closure-bearing values
  Brian Searls
  committed
  8365d47
- Add section 12: the site-to-work ratio, measured at 4x-509x, and what its variation predicts
  Brian Searls
  committed
  d15ba03
- Name Root B's receipt instead of linking it: the target is on an unmerged branch
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0eddb41
- Add section 13: three two-arm provenance controls that run before the measurement
  Brian Searls
  committed
  7e53bc2
- Correct section 16: pooled ratio silently included the excluded Root C; delete the aggregates, withdraw the dispatch-prediction claim, fix A to 133, renumber past the heading collision
  Brian Searls
  committed
  5868fbf
- My summary was quoting smart-ibex's name-keying number stale: 253/13.5% to 286/15.3%
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ac006fb
- Narrow section 17.2's determinism claim to its evidence (n=1 module, n=1 repeat) and fix subsection numbering
  Brian Searls
  committed
  0458852
- Add section 18: B1's 509 withdrawn as one root — at most 146 repr-shaped, 167 derive-shaped on one underivable declaration
  Brian Searls
  committed
  eefeb4d
- Mark the three surviving 509 citations in section 11 as withdrawn, pointing at section 18
  Brian Searls
  committed
  3066474
- Two stale 509 rows in my sections: the withdrawal lived in a later section while the front door kept serving it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c8c0f21
- Bind and link the Root B probe: main is red because a probe merged ahead of the plan it cites
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  932c2fc
- Annotate 11.4's root enumeration as incomplete since section 18 — the third staleness kind, on my own carrier
  Brian Searls
  committed
  9d00408
- Section 11.8: the unprobed-modules residue was superseded by 11.14 — name the two that remain instead of the four that did not
  Brian Searls
  committed
  f9bd2d6
- Merge main, and drop the bind row that would have re-created the duplicate
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bb827c4

Commits

Commits on Aug 16, 2026

Commits on Aug 17, 2026