Repository navigation

Affected-set as real v2 lens: consolidate on module-graph import-closure, delete fn-arrow X - #10643

Merged

briansrls merged 22 commits into

mainfrom

session/crisp-carp-360

Sep 6, 2026

Merged

Affected-set as real v2 lens: consolidate on module-graph import-closure, delete fn-arrow X#10643
briansrls merged 22 commits into
mainfrom
session/crisp-carp-360

Commits on Sep 6, 2026
- Affected-set as real v2 lens: consolidate test-selection authority on module-graph import-closure (§3)
  gunbc-ci-auto-heal
  committed
  4a3e916
- Add measurement entry for fn_arrow_decl_facts_live parse cost
  gunbc-ci-auto-heal
  committed
  cba8e65
- Remove misleading measurement test: it timed fn_arrow_decl_facts which is NOT the selection path
  gunbc-ci-auto-heal
  committed
  f82745a
- Remove entry_affected_by_dependency_view wrapper (§3 meaning-fork tell)
  gunbc-ci-auto-heal
  committed
  aaf0003
- Fix two prose artifacts referencing deleted symbols
  gunbc-ci-auto-heal
  committed
  f224ab7
- Fix determinism witness: point at module_graph after affected_set deletion
  gunbc-ci-auto-heal
  committed
  e25f7fc
- Fix determinism witness: keep roots at affected_set, entry at main module
  gunbc-ci-auto-heal
  committed
  7a63fdc
- Fix determinism witness: broaden pool roots to src/v2/lens
  gunbc-ci-auto-heal
  committed
  cdfd432
- Fix determinism witness: target single file instead of directory walk
  gunbc-ci-auto-heal
  committed
  db351d0
- Remove determinism positive control whose subject no longer exists
  gunbc-ci-auto-heal
  committed
  b5fa5f7
- Restore the_live_subject_is_not_empty positive control for updated subject
  gunbc-ci-auto-heal
  committed
  c343269
- Narrow determinism live-subject to single file for budget
  gunbc-ci-auto-heal
  committed
  688e96a
- Restore positive control guard: check entry module decls are in the file
  gunbc-ci-auto-heal
  committed
  d0872bf
- Honest determinism witness: single-file scope with budget note
  gunbc-ci-auto-heal
  committed
  39fa308
- Declare rung drop for transitive determinism walk (DESIGN §4b(3))
  gunbc-ci-auto-heal
  committed
  a1281e1
- Rename determinism witness, file rung drop for transitive reachability
  gunbc-ci-auto-heal
  committed
  85281c7
- Add determinism_transitive_reachability to rung_drop_roster
  gunbc-ci-auto-heal
  committed
  6b16b6b
- Fix restoration trigger: single capability arm, state sufficiency
  gunbc-ci-auto-heal
  committed
  05d6125
- Restore determinism_transitive_findings import (broken by earlier removal)
  gunbc-ci-auto-heal
  committed
  460231c
- Fix restoration trigger: name actual budget problem, not duplicate behavior
  gunbc-ci-auto-heal
  committed
  df2466d
- Update stale witness name in determinism.dag comment and note rung drop
  gunbc-ci-auto-heal
  committed
  c101dc5
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  40b36c3

Commits

Commits on Sep 6, 2026