Repository navigation

import deletion - #8277

Closed

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

mainfrom

session/calm-ram-435-import-deletion-probe

Closed

import deletion#8277
gunbai-bot[bot] wants to merge 53 commits into
mainfrom
session/calm-ram-435-import-deletion-probe

Commits on Aug 10, 2026
- Re-home the import-deletion lane onto main
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  24898b1
- Regenerate ci.yml for the three new emitted stage0 modules
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0655b15
- Merge main into the import-deletion lane
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6652e33
- Drop the duplicated HasTrigger heal; #8116 owns it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  33c837f
Commits on Aug 11, 2026
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  aed95b8
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  c43a89d
- Merge the healed main; the regen chain completes again
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  106f465
- Merge the auto-heal push, keeping the tree that verifies
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  087287c
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  553ffa8
- Item 3: project the provider FILE, not just the provider module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a1e9c87
- Item 3 repair: consume the total binding population instead of minting it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  01f1394
- Carry exact identities through two discarding refusal boundaries; add ambiguity and storage controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5e1c88c
- Merge main; regenerate seed and re-emit; locate a nested-pattern Rc emitter defect
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2275fb3
- Close the declaration denominator; enrol the module-value hole; put the measured namespace frontier on the roadmap
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  658a1d1
- Item 4: join type-reference bindings into one population, without touching clause (e)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ad9e57f
- Make ModulePathFileRow actually project from its declared authority
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1749353
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  75a3934
- Item 5 second half: supply provider rows from the real tree, and honour the prose-row wall
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  574d6ef
Commits on Aug 12, 2026
- Classify the row-supply witness as transport-run, and cite the keyword defect instead of restating it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  31e0d5c
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  3e9ac2a
- One typed transport roster; restore two controls I deleted; escape a brace that broke every gate
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a5bf8fd
- Unbreak compile-clean: ArtifactIdentity collided in the flat namespace, third instance of one class
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1d8a2fb
- Reclassify the transport witness to the arm that reaches WitnessHasExecutingConsumer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  32c85f7
- Drop the expected-red module-value row: one witness was buying a whole CI batch
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5428de7
- Merge main; drop my ArtifactIdentity rename in favour of main's own fix
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4c9ce60
- Finish main's rename: a consumer of the removed ArtifactIdentity was left behind
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d2a7e93
Commits on Aug 13, 2026
- Build ordinary loaded closure from accepted bindings
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a5702fd
- Take the basename out of the artifact identity: the dag/ root is representable
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fc71f2c
- Run the closure on the real tree, and locate the refusal it produces
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d07bc0f
- Make the candidate universe total, and stop reporting refusal as success
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6c2f5e9
- Count the declarations behind an unbound name: the filter is dropping two of them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2e86259
- Render every failing projection's class: my two-declarer defect did not exist
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0130dad
- Exposure is a fact about the declaration, not the role its file plays
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9cb0a9d
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  6fd876a
- Regenerate ci.yml and ROADMAP.md from their authorities after the main merge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  af9963c
- Module values are module members, and the exposure witnesses lost their subject
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b460341
Commits on Aug 14, 2026
- Bind the head of an expression path, so a module reference admits its file
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fe719b6
- A constructor is a module member wherever it is nested
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d72aba6
- Re-measure the namespace frontier, and name the head-only widen as a defect
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a4f6bbd
- A projection whose member does not exist may not produce a dependency
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b4f16ae
- Admit the match-arm binder witness as structurally red, at exact grain
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  43dec44
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  b9b4794
- Regenerate .gitattributes and ci.yml from their authorities after the main merge
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f6b63fa
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  7176a95
- ci_spec: add the positional clamp row the known-red probe batch enrollment owes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d1979f0
- floor plan: give the known-red probe batch its three missing enrollment terms
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0468909
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  e2d6bb3
- Commit A, first half: the ReferencePath carrier and its two-spelling producer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ccb9d22
- roadmap: correct the namespace frontier and name the match-arm prerequisite
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fa205f3
- Commit A, second half: resolve a ReferencePath, and regen the seed the first half owed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a7231be
Commits on Aug 15, 2026
- Merge remote-tracking branch 'origin/main' into session/calm-ram-435-delete-imports-on-main
  gunbc-ci-auto-heal
  committed
  abf75f1
- Commit A controls: ambiguity at both grains, and a third state for ordinary field access
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4d78be3
- Finish ReferencePath: longest module prefix, multi-segment descent, and two real defects
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d35b4fe

Commits

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 14, 2026

Commits on Aug 15, 2026