Repository navigation

T2a: EvaluationIdentity split and preimage-verified request_key store hits - #11458

Merged

gunbai-bot[bot] merged 43 commits into

mainfrom

session/witty-pike-426

Sep 17, 2026

Merged

T2a: EvaluationIdentity split and preimage-verified request_key store hits#11458
gunbai-bot[bot] merged 43 commits into
mainfrom
session/witty-pike-426

Commits on Sep 17, 2026
- Make T1 store hits compare EvaluationIdentity preimages, not FNV equality.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  50480da
- Restore kind-mismatch and wrong-artifact REDs after the preimage wall.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e050d0c
- Collapse T2a identity to one writable DemandIdentity and a sole store-address producer.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2753f00
- Admit evaluation store addresses by actual digest family and put preimage at the provider door.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3bec317
- Plant the wet incomplete store object as a one-part encode, not a substring filter.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f899db7
- Thread typed store-family refusal and split in-process vs persisted probes at the provider door.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  36f3d4f
- Restore typecheck store keys from request_fold, not declared_inputs list position.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3863edb
- Land the store-address census and wall in-process FNV and address pairing.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  23c19c0
- Make parse_recorded_store_key a true inverse and delete the unused commit-conflict arm.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b217533
- Carry EvaluationIdentity and its canonical preimage once per request.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  492b573
- Resolve the store-address census from the import graph and wall in-process observation.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9cd6a4f
- Keep the unresolved disk-probe controls enrolled on the unqualified-format wall.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ca4e838
- Bound the store-address census to typecheck call edges on a fixture.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  969ae7e
- Join the store-address census to resolver-produced production edges.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  dbe7f28
- Refuse a store-address census that cannot produce edges.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c956464
- Over-approximate store-address callers from qualified spellings, not imports.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c295fe4
- Discover store-address callers from tokenized reference forms, not byte substrings.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4307210
- Give supplied-source and workspace resolution distinct names.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  31eae6d
- Keep the store-address census inside clippy and the floor envelope.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f4cfb30
- Stop claiming alias-chain census coverage the seed cannot observe.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c1003db
- Put the store-address census controls back on per-PR discovery.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d30b62a
- Drop unused census fields, unused joins, and the tree-blind call-edge memo.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  15a6a65
- Declare the persisted resolved-graph probe drop and keep one format-wall control.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  416c1ee
- Keep store-address standing on the address and drop the unused lookup import.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  374f55a
- Resolve call-edge censuses against their declared pool, not the full witness tree.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4b76ab7
- Qualify production store-address coverage as an exact dag join plus a fail-closed src/v2 call-form guard.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  59076da
- Resolve store-address call edges against the admitted import closure, not the caller horizon.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  89149ce
- Format blocking diagnostic text from the im Vector the compiler actually returns.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  82d83bd
- Admit the store-address census host builtins with a SeedGrowthJustification row.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  57bcb40
- Keep the zero-candidate planted RED compile-clean.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a44a7bd
- Make the planted RED invocation the only leaf-plus-lparen in the scanned root.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f3c77dd
- Charge the store-address census for call-forms, not for mentioning the leaf.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e313330
- Admit census files on leaf identity, not on byte-adjacent '('.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  656e96d
- Keep new ProviderLookup arm predicates in the witnesses, not in std.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7e51c76
- Enumerate every new census host item on the seed-growth row.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b56fd98
- Enrol the resolved-graph consumer-test identities under their own lifetimes.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a4a68e9
- Bound fixture call-edge census to a private alias-subtree index.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  60da0ff
- Enrol the exact-head store-address join as a gunbc test instrument.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  89148ae
- Evaluate the modeled exact-head join from the instrument host.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c9a872c
- Fix clippy::useless_format on the exact-head DidNotHold message.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  966eb1e
- Keep exact-head census refusals as exit 2 instead of flattening them to Bool false.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  be65c1d
- Enumerate exact-head standing decode and match the coproduct by variant_name.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  1dff67e
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  0b3bbd7

Commits

Commits on Sep 17, 2026