Repository navigation

CENSUS-0B: exact coverage receipt, method capability, and the derived inference ceiling - #7808

Merged

briansrls merged 26 commits into

mainfrom

session/sharp-tern-144-census0b

Aug 5, 2026

Merged

CENSUS-0B: exact coverage receipt, method capability, and the derived inference ceiling#7808
briansrls merged 26 commits into
mainfrom
session/sharp-tern-144-census0b

Commits on Aug 4, 2026
- WIP: CENSUS-0 observation carrier
  Brian Searls
  committed
  836dda9
- CENSUS-0: neutral revision-scoped observation carrier
  
  Brian Searls
  and
  claude
  committed
  3f0141a
- CENSUS-0: rename witness fixture row helpers to avoid tree-wide bare-name collision
  
  Brian Searls
  and
  claude
  committed
  93e300c
- review 48109: include unmet_because in the coverage content address
  
  Brian Searls
  and
  claude
  committed
  b5a1dde
- WIP: CENSUS-0 observation carrier
  Brian Searls
  committed
  1b52fee
- Revert autosave capture of a mutation probe: restore the Sampled floor arm
  
  Brian Searls
  and
  claude
  committed
  87e2d88
- CENSUS-0A recut: repository census observation fact with executed-method identity
  
  Brian Searls
  and
  claude
  committed
  dad7b9b
- WIP: CENSUS-0 observation carrier
  Brian Searls
  committed
  84ab646
- Close both identity forks: run identity replaces execution receipt, rows carry an opaque fact identity
  
  Brian Searls
  and
  claude
  committed
  ca75137
- CENSUS-0B: exact coverage receipt, method capability, derived inference ceiling, first real domain claim
  Brian Searls
  committed
  2964947
- Split the self-join witnesses from receipt existence so each probe lands on its own red
  Brian Searls
  committed
  a61dded
- CENSUS-0B recut: one coherent evidence package, joined on exact identity
  Brian Searls
  committed
  3c123e3
Commits on Aug 5, 2026
- Declare the untyped ceiling-refusal arm as a frontier with its dissolution trigger
  Brian Searls
  committed
  4211f28
- Merge main after CENSUS-0A landed
  Brian Searls
  committed
  8ccc9e6
- WIP: CENSUS-0 observation carrier
  Brian Searls
  committed
  952a0d7
- Remove the scratch cost probe the autosave swept in; its receipt is durable elsewhere
  
  Brian Searls
  and
  claude
  committed
  7544a5c
- Fire the ceiling frontier: a typed located refusal replaces the silent none
  
  Brian Searls
  and
  claude
  committed
  2e5c66f
- Recut the coverage reconciliation onto a keyed index: linear, not quadratic
  
  Brian Searls
  and
  claude
  committed
  0789f31
- WIP: CENSUS-0 observation carrier
  Brian Searls
  committed
  43a8b1a
- Do not land the structural cost witness: the lens cannot see this defect class
  
  Brian Searls
  and
  claude
  committed
  97a2170
- WIP: CENSUS-0 observation carrier
  Brian Searls
  committed
  265dfe8
- Close the conformance construction hole; kill the growing-prefix copy; name the independence arm honestly
  
  Brian Searls
  and
  claude
  committed
  4133d9d
- Merge main
  Brian Searls
  committed
  a9ca031
- Merge main; commit the regenerated falsifier workflow (author-commit-required path)
  
  Brian Searls
  and
  claude
  committed
  00cdbb8
- Class sweep: the independence overclaim survived one identifier away
  
  Brian Searls
  and
  claude
  committed
  9b40170
- Merge main (falsifier arity repair)
  Brian Searls
  committed
  a031269

Commits

Commits on Aug 4, 2026

Commits on Aug 5, 2026