jan/rrt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tighten static cargo and selection context proofs

Browse source
This commit is contained in:
Jan Petykiewicz 2026-04-17 11:26:07 -07:00
commit b06abb24a7
12 changed files with 507 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

7
artifacts/exports/rt3-1.06/event-effects-cargo-bindings.json
View file

@ -1,7 +1,14 @@
{
"binding_catalog_version": 1,
"static_corpus_counts": {
"named_cargo_price_row_count": 71,
"named_cargo_production_row_count": 50,
"rt3_cargo_types_count": 51,
"rt3_105_cargo_types_count": 41
},
"notes": [
"Named cargo production bindings are grounded from the checked-in 1.06 CargoTypes corpus and the candidate-loader evidence that live cargo names are materialized in lexicographic order.",
"The checked-in static CargoTypes corpora do not close the named cargo price strip by themselves: the broader rt3 corpus has 51 names, the rt3_105 corpus has 41 names, and neither matches the 71-row named price band.",
"The named production strip has 50 rows, so the checked-in binding covers the 50-name lexicographic corpus used by the grounded 1.06 runtime baseline and leaves the named cargo price strip unresolved.",
"Rock remains outside the grounded 50-row production strip in this batch."
],