Skip to content

Delete hand-maintained filename/test-row list+count enumerations across the tree; replace with reflection-based discovery (corpus/affected/probe/lens gate runners, parse_allowlist, shell file-arrays). Reflection was supposed to handle this. #5005

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 4 commits into from
Jun 15, 2026
Merged

Delete hand-maintained filename/test-row list+count enumerations across the tree; replace with reflection-based discovery (corpus/affected/probe/lens gate runners, parse_allowlist, shell file-arrays). Reflection was supposed to handle this. #5005

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
1335634
WIP: Delete hand-maintained filename/test-row list+count enumerations…
briansrls Jun 15, 2026
cc9cd6b
WIP: Delete hand-maintained filename/test-row list+count enumerations…
briansrls Jun 15, 2026
324ff11
WIP: Delete hand-maintained filename/test-row list+count enumerations…
briansrls Jun 15, 2026
a7bfc14
WIP: Delete hand-maintained filename/test-row list+count enumerations…
briansrls Jun 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions src/v4/test/claim/workflow/affected_set_ci_runner.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -564,5 +564,3 @@ data ci_runner_node_frontier_claim_run_rows: List<AffectedSetNodeFrontierClaimRu
ci_runner_gate_row_provenance_producer_selectivity_superset,
ci_runner_gate_row_provenance_producer_selectivity_superset_discriminates
]

data ci_runner_node_frontier_claim_run_row_count: String = "23"
3 changes: 0 additions & 3 deletions src/v4/test/claim/workflow/affected_testgen_ci_runner.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -367,6 +367,3 @@ data affected_testgen_claim_run_rows: List<AffectedTestgenClaimRunRow> = [
affected_testgen_gate_row_generated_claim_runs,
affected_testgen_gate_row_fusion
]


data affected_testgen_claim_run_row_count: String = "6"
65 changes: 0 additions & 65 deletions src/v4/test/claim/workflow/claim_witness_corpus_ci_runner.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -461,67 +461,6 @@ data corpus_ci_gate_row_spice_resistor_passive_topology: ClaimWitnessCorpusClaim
expected: ExpectPass
}

data claim_witness_corpus_claim_run_rows: List<ClaimWitnessCorpusClaimRunRow> = [
corpus_ci_gate_row_mvp1_emit_matches_serialize,
corpus_ci_gate_row_mvp1_emit_ingest_round_trip,
corpus_ci_gate_row_english_emit_ingest_round_trip,
corpus_ci_gate_row_emit_ingest_grammar_relation_round_trip,
corpus_ci_gate_row_emit_ingest_python_same_language_round_trip,
corpus_ci_gate_row_comprep_eval_keystone,
corpus_ci_gate_row_comprep_branch_eval_keystone,
corpus_ci_gate_row_branch_if_then_else_round_trip_keystone,
corpus_ci_gate_row_branch_if_then_else_emit_keystone,
corpus_ci_gate_row_comprep_bind_eval_keystone,
corpus_ci_gate_row_comprep_bind_emit_keystone,
corpus_ci_gate_row_comprep_bind_round_trip_keystone,
corpus_ci_gate_row_comprep_loop_eval_keystone,
corpus_ci_gate_row_comprep_loop_emit_keystone,
corpus_ci_gate_row_comprep_loop_round_trip_keystone,
corpus_ci_gate_row_bind_demand_driven_eval_keystone,
corpus_ci_gate_row_loop_demand_driven_eval_keystone,
corpus_ci_gate_row_lazy_arm_eval_acceptance_keystone,
corpus_ci_gate_row_comprep_ts_bodied_emit_add_fn,
corpus_ci_gate_row_comprep_ts_bodied_emit_operand_swap,
corpus_ci_gate_row_comprep_ts_bodied_emit_catalog_minus,
corpus_ci_gate_row_comprep_ts_bodied_emit_missing_catalog,
corpus_ci_gate_row_program_partition_body_emit_keystone,
corpus_ci_gate_row_program_partition_whole_program_parity,
corpus_ci_gate_row_program_partition_section_adapter_fail_closed,
corpus_ci_gate_row_program_partition_closure_enumeration_duplicate_free,
corpus_ci_gate_row_program_partition_fail_closed_facts_closure_fold,
corpus_ci_gate_row_witness_sg2_arrow,
corpus_ci_gate_row_witness_sg2_projection_falsification,
corpus_ci_gate_row_witness_sg2_fold_row_delimiter,
corpus_ci_gate_row_effect_io_pure_file,
corpus_ci_gate_row_effect_io_pure_http,
corpus_ci_gate_row_effect_io_pure_storage,
corpus_ci_gate_row_effect_io_host_read_fail_closed,
corpus_ci_gate_row_effect_io_host_http_backend,
corpus_ci_gate_row_ts_effect_io_emit,
corpus_ci_gate_row_effect_io_eval_roundtrip,
corpus_ci_gate_row_effect_io_eval_unbound_fail_closed,
corpus_ci_gate_row_dsl_root_probe,
corpus_ci_gate_row_probe_selector_cf_import_resolves,
corpus_ci_gate_row_markup_serializer_keystone,
corpus_ci_gate_row_html_markup_xss_keystone,
corpus_ci_gate_row_react_markup_keystone,
corpus_ci_gate_row_gunbhub_react_browse_keystone,
corpus_ci_gate_row_gunbhub_serve_keystone,
corpus_ci_gate_row_measure_nat_magnitude_roundtrip,
corpus_ci_gate_row_measure_signed_magnitude_roundtrip,
corpus_ci_gate_row_measure_two_hop_alias_count_roundtrip,
corpus_ci_gate_row_timeseries_resistor_map,
corpus_ci_gate_row_timeseries_signed_magnitude_resistor_map,
corpus_ci_gate_row_timeseries_signed_magnitude_capacitor_fold,
corpus_ci_gate_row_timeseries_capacitor_fold,
corpus_ci_gate_row_timeseries_inductor_fold,
corpus_ci_gate_row_timeseries_capacitor_fold_chronological,
corpus_ci_gate_row_timeseries_capacitor_zero_rating_rejects,
corpus_ci_gate_row_spice_resistor_passive_topology
]

data claim_witness_corpus_claim_run_row_count: String = "56"

// Sharded enrollment: two parallel CI jobs (~12–13 rows each). Wave A partition rows
// co-locate with COMPREP emit shard-a (shared entry fixture cost); closure witnesses on shard-b.
data claim_witness_corpus_shard_a_rows: List<ClaimWitnessCorpusClaimRunRow> = [
Expand All @@ -547,8 +486,6 @@ data claim_witness_corpus_shard_a_rows: List<ClaimWitnessCorpusClaimRunRow> = [
corpus_ci_gate_row_witness_sg2_fold_row_delimiter
]

data claim_witness_corpus_shard_a_row_count: String = "20"

data claim_witness_corpus_shard_b_rows: List<ClaimWitnessCorpusClaimRunRow> = [
corpus_ci_gate_row_emit_ingest_grammar_relation_round_trip,
corpus_ci_gate_row_emit_ingest_python_same_language_round_trip,
Expand Down Expand Up @@ -587,5 +524,3 @@ data claim_witness_corpus_shard_b_rows: List<ClaimWitnessCorpusClaimRunRow> = [
corpus_ci_gate_row_timeseries_capacitor_zero_rating_rejects,
corpus_ci_gate_row_spice_resistor_passive_topology
]

data claim_witness_corpus_shard_b_row_count: String = "36"
Loading