Repository navigation

Falsification record: behavioral comparison ceiling (can-climb-after-one-capability) - #7792

Closed

briansrls wants to merge 22 commits into

mainfrom

session/royal-crab-235-fixture-behavioral

Closed

Falsification record: behavioral comparison ceiling (can-climb-after-one-capability)#7792
briansrls wants to merge 22 commits into
mainfrom
session/royal-crab-235-fixture-behavioral

Commits on Aug 6, 2026
- PR2: fixture-scoped direct-door behavioral comparison harness.
  
  Brian Searls
  and
  cursoragent
  committed
  03923cb
- Probe sole_constructor on BehavioralComparisonObservation; document ceiling.
  
  Brian Searls
  and
  cursoragent
  committed
  c4b8a3e
- File sole_constructor probe on roadmap row; fix next trigger routing.
  
  Brian Searls
  and
  cursoragent
  committed
  e77d560
- Record negative opaque host-effect probe; gate PR2 on capability lane.
  
  Brian Searls
  and
  cursoragent
  committed
  4d80b4c
- WIP: Lane 4: direct-door behavioral qualification — CargoGreen to BehavioralE
  Brian Searls
  committed
  bbbb1a2
- Restore PR1 containment in fixture_synthetic_emission; layer PR2 additions.
  
  Brian Searls
  and
  cursoragent
  committed
  1cd2635
- WIP: Lane 4: direct-door behavioral qualification — CargoGreen to BehavioralE
  Brian Searls
  committed
  3ecb580
- Add ConstructorReferenceAdmission design note (model-first).
  
  Brian Searls
  and
  cursoragent
  committed
  69e266c
- Revise ConstructorReferenceAdmission note per msg_a87c2c75.
  
  Brian Searls
  and
  cursoragent
  committed
  5e518c5
- Add third compiler horn: v1 seed with dissolution trigger.
  
  Brian Searls
  and
  cursoragent
  committed
  969b017
- Rewrite third horn: land inside already-counted frontier row.
  
  Brian Searls
  and
  cursoragent
  committed
  0a047ce
- WIP: Lane 4: direct-door behavioral qualification — CargoGreen to BehavioralE
  Brian Searls
  committed
  8c496e7
- Record tidy-fox-81 measured floor and over-admission finding.
  
  Brian Searls
  and
  cursoragent
  committed
  14e40ff
- Cite func_sig_from_global_bare in placement and over-admission text.
  
  Brian Searls
  and
  cursoragent
  committed
  d9b7702
- Fold wise-ram-22 joint findings into design note.
  
  Brian Searls
  and
  cursoragent
  committed
  3ef7f54
- Tag keen-lark-681 draft census rows in design note §5.5.
  
  Brian Searls
  and
  cursoragent
  committed
  c5517e1
- Record operator ruling msg_1a57418c in ConstructorReferenceAdmission design note.
  
  Brian Searls
  and
  cursoragent
  committed
  a8695d2
- WIP: Lane 4: direct-door behavioral qualification — CargoGreen to BehavioralE
  Brian Searls
  committed
  5e401b5
- Remove superseded roadmap_program_view live long-lane witnesses.
  
  Brian Searls
  and
  cursoragent
  committed
  f10607f
- WIP: Lane 4: direct-door behavioral qualification — CargoGreen to BehavioralE
  Brian Searls
  committed
  7cfe975
- Fix wet behavioral witnesses under CI RUSTFLAGS=-D warnings.
  
  Brian Searls
  and
  cursoragent
  committed
  c8c98a9
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  e49c936

Commits

Commits on Aug 6, 2026