Repository navigation

Direct-call argument inhabitance — one mismatch diagnostic, two defects, opposite repairs - #9007

Closed

gunbai-bot[bot] wants to merge 26 commits into

mainfrom

session/quiet-boar-696-directcall

Commits on Aug 23, 2026
- WIP: declared-type inhabitance obligation carrier (UNVERIFIED, not for push)
  gunbc-ci-auto-heal
  committed
  3c509b6
- Wire the kernel-at-structured route and its witness (still unverified)
  gunbc-ci-auto-heal
  committed
  fdde6fb
- Install the emitted mirrors for the inhabitance carrier
  gunbc-ci-auto-heal
  committed
  8a35715
- Merge remote-tracking branch 'origin/main' into session/quiet-boar-696-inhabitance
  gunbc-ci-auto-heal
  committed
  0b55b2e
- Regenerate both mirrors from the merged authorities, not from a textual merge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1509c31
- The wall's first landing found a real one: octet rows declared as bit-records
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ba6ce3e
- A reachability control that asserted our own class at zero was measuring nothing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f88b817
- Merge remote-tracking branch 'origin/main' into session/quiet-boar-696-inhabitance
  gunbc-ci-auto-heal
  committed
  129aebc
- Wire the direct-call argument position — MEASUREMENT FIRST, no repair in this diff
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  08d7e6d
- The seed mirror the .dag change requires — without it the floor measured nothing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ba2f6e3
- The octet rows say why they are Int, and name the carrier that would replace them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  30ce9d2
- The class was never undecidable — it was unconsulted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a71096d
- Every arm in this witness was enrolled, reviewed, cited — and executed by nothing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9cccff4
- Merge branch 'session/quiet-boar-696-inhabitance' into session/quiet-boar-696-directcall
  gunbc-ci-auto-heal
  committed
  015416d
- The seed mirror for the decidable admit, transported verified
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d7f63d4
- The 17 repairs the wall forces, landing with the wall per the 8876 precedent
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d4b0e52
- 8876's repair shape does NOT apply to these 16 sites — reverting the wrap, keeping the one repair that was real
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3106d52
- One mismatch diagnostic, two defects, opposite repairs — split by the callee's role
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e12fc02
- Widen the enrolment row: it is any type application, not an algebraic one
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b14e24c
- Round two of the wall's census: two production sites, same class, same caller-side repair
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  28c1fdd
- Move the list-element evidence into a fixture, then repair the production site
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  508693b
- Mark the realization-keyed admit as an interim and name the model that replaces it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4bf2840
- Merge remote-tracking branch 'origin/main' into session/quiet-boar-696-directcall
  gunbc-ci-auto-heal
  committed
  e7414e1
- The control arm went red and caught a mis-designed probe — plus a double-wrap I introduced
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5e850d3
- Unenrol the list-element arm until its control is green — believed is not measured
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  76645a5
- Withdraw the list-element gap — measured green, the wall was there all along
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8d75f36

Navigation Menu

Repository navigation

Direct-call argument inhabitance — one mismatch diagnostic, two defects, opposite repairs - #9007

Direct-call argument inhabitance — one mismatch diagnostic, two defects, opposite repairs#9007
gunbai-bot[bot] wants to merge 26 commits into
mainfrom
session/quiet-boar-696-directcall

Commits on Aug 23, 2026

WIP: declared-type inhabitance obligation carrier (UNVERIFIED, not for push)

Wire the kernel-at-structured route and its witness (still unverified)

Install the emitted mirrors for the inhabitance carrier

Merge remote-tracking branch 'origin/main' into session/quiet-boar-696-inhabitance

Regenerate both mirrors from the merged authorities, not from a textual merge

The wall's first landing found a real one: octet rows declared as bit-records

A reachability control that asserted our own class at zero was measuring nothing

Merge remote-tracking branch 'origin/main' into session/quiet-boar-696-inhabitance

Wire the direct-call argument position — MEASUREMENT FIRST, no repair in this diff

The seed mirror the .dag change requires — without it the floor measured nothing

The octet rows say why they are Int, and name the carrier that would replace them

The class was never undecidable — it was unconsulted

Every arm in this witness was enrolled, reviewed, cited — and executed by nothing

Merge branch 'session/quiet-boar-696-inhabitance' into session/quiet-boar-696-directcall

The seed mirror for the decidable admit, transported verified

The 17 repairs the wall forces, landing with the wall per the 8876 precedent

8876's repair shape does NOT apply to these 16 sites — reverting the wrap, keeping the one repair that was real

One mismatch diagnostic, two defects, opposite repairs — split by the callee's role

Widen the enrolment row: it is any type application, not an algebraic one

Round two of the wall's census: two production sites, same class, same caller-side repair

Move the list-element evidence into a fixture, then repair the production site

Mark the realization-keyed admit as an interim and name the model that replaces it

Merge remote-tracking branch 'origin/main' into session/quiet-boar-696-directcall

The control arm went red and caught a mis-designed probe — plus a double-wrap I introduced

Unenrol the list-element arm until its control is green — believed is not measured

Withdraw the list-element gap — measured green, the wall was there all along