NFR census roster: #12610's joint landing (delete the text scan; roster 915 typed-census sites) by gunbai-bot[bot] · Pull Request #12980 · gunb-ai/gunbc

gunbai-bot · 2026-10-02T08:47:59Z

#12610 landed the typed, diff-scoped non-fold-residue check on the required floor without the joint landing its own description required. That landing was the census-derived roster plus deletion of the old parameter-keyed text scan. Since then, every PR that touches a module carrying an unrostered closed-coproduct wildcard has been refused (#12951 hit 71). This PR is that joint landing, done as one cut at the root (DESIGN §3).

Deleted (the old scan and everything that answered through it)

The parameter-keyed text scan: cli_run.rs nfr_residue_sites, NonFoldReport, nfr_build_report, and the nfr_tests cases that exercised it, including nfr_roster_receipt. The roster-reader tests in that module stay.
Eight interpreter builtins, not four:
- The four counts: non_fold_residue_{count,unrostered_count,stale_roster_count,coproduct_universe_count}.
- The four fixture controls that fed only the deleted claims: non_fold_residue_{wildcard_red_fixture_holds,total_fold_green_fixture_holds,roster_red_fixture_holds,synthetic_unrostered_red_holds}.
- Their rows go from std.primitives, v1.compiler.method (04_method), gunbc.v1.v1_interpreter_primitive_surface, gunbc.primitive_egress.dispositions_hosts, the interpreter arms, and the regenerated dispatch and signature mirrors.
The lens: v2.lens.non_fold_residue, its NonFoldResidue lens id, its registry entry, its module-gate arm, its contract, and its two sg_claims_test list entries.
The claims: test.claim.non_fold_residue_witness and v2.test.lens_non_fold_residue.non_fold_residue_test. Their rows in floor_expected_red, floor_cost_debt and the commit_workflow enrolment go with them.
The stall gunbc.guarantee_stall.non_fold_residue_roster_stall. Its trigger was "the derived unrostered and stale populations are both empty", which is what this PR establishes.

Kept on purpose:

declined_live_tree_defect_classification still names the deleted claim. It is one of a fixed, externally routed population of 13, which its witness asserts.
reference_conservation_census still lists the deleted files. It is a sample pinned to revision 8fcd8e7.
The closed-coproduct NAME set (nfr_closed_coproduct_names) stays. The complexity-linearity audit and the fallback-arm census still key on it. Declared frontier: both audits read closedness from the type's text rather than the checker's result. That is the same defect class NFR: typed, diff-scoped non-fold-residue check on the required floor (D) #12610 fixed for this walk; the trigger is the audits moving onto typed_scrutinee_closedness.

One fix inside #12610's walk

non_fold_residue_roster_diff_with counted a roster row stale whenever its site was not a closed-coproduct site. An UNDETERMINED site, a wildcard whose scrutinee the v1 checker leaves untyped, never is one. The floor also refuses an undetermined site unless a row names it (undetermined_unrostered). So both dispositions refused, and no PR touching those modules could pass; 03_resolve is among them. A rostered undetermined site is now not stale.

New control rostered_undetermined_site_is_not_stale, with a red half: a row for a non-site in the same covered module stays stale. This is §6b's earliest unjustified link: the stale definition contradicted the verdict that demands the row.

The 13 undetermined sites: decided, all residue (9 new rows)

All 13 are a match on <n>.kind for a v2.std.node Node, with a wildcard arm. .kind is NodeKind = TypeNode | ComputationNode, a closed coproduct, and each wildcard answers for the constructors and connectives the match does not name. Four of them (resolve_expected_head_node_optional, fold_recurrence_loop, pattern_head_identity_optional, export_signature_declared_arrow) are in functions that also carry a closed wildcard, so their census row (keyed by function) already covers them. The other nine are rostered under nfr_reason_typed_census_undetermined_node_kind. That reason says the reading was made by hand: a bet the re-census confirms once the checker types the field.

src/v2/compiler/03_resolve.dag::resolve_expected_head_node_optional
src/v2/compiler/fold_lowering.dag::fold_recurrence_loop
src/v2/extdeps/runtimes/v2_evaluator.dag::v2_eval_transform_is_int_add
src/v2/lens/undecidable_verdict_collapse.dag::pattern_head_identity_optional
src/v2/lens/vacuity.dag::vacuity_transform_operator_symbol_optional
src/v2/std/compilers/target_model.dag::arrow_domain_binder_names
src/v2/std/compilers/target_model.dag::target_project_bind_tail
src/v2/std/decl_index.dag::export_signature_declared_arrow
src/v2/workflow/bash_command_fold_serialize.dag: five sites, bash_fold_built_stmt_production_binding, bash_fold_serialize_assign_node, bash_fold_serialize_exit_node, bash_fold_serialize_with_redir_node and bash_fold_serialize_word_node

The roster: 185 → 1109 rows (915 census + 9 undetermined)

The census is nfr_whole_corpus_typed_census, run on srv1 at main ca5ed17 on 2026-10-02 (2165 s, 43.0 GB peak). Its summary line: sources=7270 typed_modules=4571 wildcard_arms=1682 residue_sites=1100 unrostered=915 stale=0 undetermined=13 blocked_diagnostics=74. The output is on branch artifact/nfr-census-ca5ed1724b, path artifacts/nfr-census-ca5ed1724b.txt; that branch is an artifact only.

All 915 rows carry nfr_reason_typed_census_ca5ed1724b and nfr_dissolve_owning_fold. They are un-migrated modeling that predates the typed walk; the walk sees local-binding, field and call scrutinees the deleted scan could not. Rows are sorted by path.

Uncounted population. The 74 blocking diagnostics fall in 21 modules, and 16 more modules were typed only partially. Every one of these is a test probe, fixture or manual test (test.probe.*, v2.test.*, test.claim.srv3_websocat_sequence_witness). The walk skips test modules, so no residue site the roster governs is uncounted. Trigger: a NON-test module carrying a blocking diagnostic in a future census is uncounted, and its sites are judged when it types.

Stopgap rows. The stopgap rows on #12951 (nfr_reason_landed_after_census_unit_lane_nonblocking) never reached main. #12951 drops them for these rows when it next merges main.

Rows by owning module (915)

270 modules

rows	owning module
105	`src/v2/std/compilers/target_model.dag`
28	`src/v2/lens/text_string_importer_census.dag`
26	`src/v2/std/grammar.dag`
22	`src/v2/compiler/03_resolve.dag`
21	`src/v2/compiler/04_infer.dag`
18	`dag/gunbc/roadmap/roadmap_belt_actuate.dag`
17	`src/v2/std/node.dag`
17	`dag/gunbc/instruments/fabric_control_plane_live_probe.dag`
16	`src/v2/std/node_query.dag`
15	`dag/gunbc/machine_intake/mtcollins1_kvm_still.dag`
14	`dag/gunbc/spark/pair_serving_authority_log.dag`
11	`src/v2/std/compilers/semantic_decl_emission.dag`
11	`src/v2/compiler/target_serialize.dag`
11	`src/v2/compiler/05_eval.dag`
9	`src/v2/compiler/body_lowering_fold.dag`
8	`src/v2/std/type_binder.dag`
8	`src/v2/compiler/00_compile.dag`
8	`dag/gunbc/scm/repository_envelope.dag`
7	`src/v2/std/compilers/body_lowering.dag`
7	`src/v2/compiler/program_partition.dag`
7	`dag/gunbc/srv3/srv3_os_install_diagnostic.dag`
7	`dag/gunbc/scm/object_table_json.dag`
7	`dag/gunbc/runner/runner_browser_toolchain.dag`
7	`dag/gunbc/live_deploy/unit_standing.dag`
7	`dag/gunbc/instruments/emit_copy_qualification_transport.dag`
7	`dag/extdeps/bmc/redfish_telemetry.dag`
6	`src/v2/std/arrow_contract.dag`
6	`src/v2/compiler/06_translate.dag`
6	`dag/gunbc/spark/pair_serving_d0.dag`
6	`dag/gunbc/runner/runner_throughput_qualification_route.dag`
6	`dag/gunbc/roadmap/roadmap_verification_receipt.dag`
6	`dag/gunbc/roadmap/roadmap_publish.dag`
6	`dag/gunbc/machine_intake/mtcollins1_boot_run.dag`
6	`dag/extdeps/cpu/ampere_altra_package.dag`
5	`src/v2/std/integer.dag`
5	`src/v2/std/demand_engine.dag`
5	`src/v2/compiler/emit_produced.dag`
5	`src/v2/compiler/emit_host.dag`
5	`dag/gunbc/machine_intake/mtcollins1_media_attach.dag`
5	`dag/gunbc/machine_intake/mtcollins1_kvm_observer_observe.dag`
5	`dag/gunbc/live_deploy/fleet_request.dag`
5	`dag/gunbc/instruments/source_snapshot_handoff.dag`
5	`dag/gunbc/instruments/frontier_ingestion_probe.dag`
5	`dag/gunbc/instruments/dag_compile_clean_shard_totality.dag`
5	`dag/gunbc/econ/scm_serving_model.dag`
4	`src/v2/workflow/realization_attempt.dag`
4	`src/v2/std/inhabitance.dag`
4	`src/v2/extdeps/languages/swift/rows.dag`
4	`src/v2/compiler/reference_conservation.dag`
4	`dag/gunbc/runner/runner_throughput_qualification.dag`
4	`dag/gunbc/runner/runner_microvm_host_ready.dag`
4	`dag/gunbc/namespace/namespace_pool_independence.dag`
4	`dag/gunbc/machine_intake/mtcollins1_sol_notice.dag`
4	`dag/gunbc/machine_intake/mtcollins1_census_qemu_host_observe.dag`
4	`dag/gunbc/harness/harness_wire.dag`
4	`dag/gunbc/gcp/gcp_estate_adoption.dag`
4	`dag/gunbc/fleet/host_credential_custody_converge.dag`
4	`dag/gunbc/fleet/fleet_health_observe.dag`
4	`dag/gunbc/fleet/fleet_converge_plan.dag`
4	`dag/gunbc/fleet/app_control_plane_inspection.dag`
4	`dag/gunbc/compute/work_provider_local.dag`
4	`dag/gunbc/auth/github_app_control_plane_observe.dag`
4	`dag/gunbc/action_use_admission.dag`
4	`dag/extdeps/formats/elf/hello_static_witness.dag`
3	`src/v2/workflow/rust_crate_partition.dag`
3	`src/v2/std/qualified_name.dag`
3	`src/v2/extdeps/languages/dag.dag`
3	`src/v2/compiler/symbol_index_fill.dag`
3	`src/v2/compiler/source_authority.dag`
3	`src/v2/compiler/self_host/frontier_probe.dag`
3	`src/v2/compiler/emit_semantic_decl.dag`
3	`dag/std/occurrence_binding_candidates.dag`
3	`dag/gunbc/srv3/srv3_os_install_actuate.dag`
3	`dag/gunbc/spark/vllm_observed.dag`
3	`dag/gunbc/roadmap/roadmap_workflow_progress.dag`
3	`dag/gunbc/roadmap/roadmap_served_observation.dag`
3	`dag/gunbc/roadmap/roadmap_review_role.dag`
3	`dag/gunbc/roadmap/roadmap_dispatch_actuator.dag`
3	`dag/gunbc/product/build_fulfillment.dag`
3	`dag/gunbc/live_deploy/repository_convergence.dag`
3	`dag/gunbc/live_deploy/member_observe.dag`
3	`dag/gunbc/live_deploy/emit.dag`
3	`dag/gunbc/gcp/gcp_estate_dependency.dag`
3	`dag/gunbc/fleet/org_actions_inspection.dag`
3	`dag/gunbc/econ/regional_compute_premium.dag`
3	`dag/gunbc/econ/knowable_wedge.dag`
3	`dag/gunbc/bmc/bmc_health_reader.dag`
3	`dag/gunbc/auth/gcp_iam_converge.dag`
3	`dag/gunbc/auth/approval_ntfy_access_readback.dag`
3	`dag/extdeps/languages/yaml/emit.dag`
3	`dag/extdeps/container/oci/ctrl_session_witness.dag`
3	`dag/extdeps/apple/app_attest.dag`
2	`src/v2/workflow/witness_admission.dag`
2	`src/v2/std/decl_index.dag`
2	`src/v2/std/datetime.dag`
2	`src/v2/std/compilers/sugar.dag`
2	`src/v2/program.dag`
2	`src/v2/compiler/use_site_verdict.dag`
2	`src/v2/compiler/reference_conservation_admission.dag`
2	`src/v2/compiler/namespace_graft.dag`
2	`src/v2/compiler/07_target_carriers.dag`
2	`src/v2/compiler/05_emit_orchestration.dag`
2	`src/v2/compiler/03_name_resolve.dag`
2	`src/v2/compiler/03_ingest.dag`
2	`src/v2/compiler/03_body_producer.dag`
2	`dag/std/observation.dag`
2	`dag/std/citation.dag`
2	`dag/std/algebra.dag`
2	`dag/gunbc/scm/commit_closure_json_v2.dag`
2	`dag/gunbc/runner/runner_unit_live_read.dag`
2	`dag/gunbc/runner/runner_microvm_network_apply.dag`
2	`dag/gunbc/runner/runner_capacity_realize.dag`
2	`dag/gunbc/runner/runner_capacity_plan.dag`
2	`dag/gunbc/runner/runner_attempt_launch.dag`
2	`dag/gunbc/roadmap/roadmap_event_log.dag`
2	`dag/gunbc/roadmap/roadmap_dashboard_instance_apply.dag`
2	`dag/gunbc/product/host_health.dag`
2	`dag/gunbc/product/capacity/event_json.dag`
2	`dag/gunbc/machine_intake/mtcollins1_ui_bundle_observe.dag`
2	`dag/gunbc/machine_intake/mtcollins1_maintenance_hold.dag`
2	`dag/gunbc/machine_intake/mtcollins1_boot_diagnostic_bundle.dag`
2	`dag/gunbc/machine_intake/megarac_media_attach.dag`
2	`dag/gunbc/live_deploy/apply.dag`
2	`dag/gunbc/instruments/native_app_attest.dag`
2	`dag/gunbc/host/verified_archive_install.dag`
2	`dag/gunbc/host/host_effect_realize.dag`
2	`dag/gunbc/harness/harness_turn.dag`
2	`dag/gunbc/harness/harness_backend.dag`
2	`dag/gunbc/fleet/fleet_revision_acceptance.dag`
2	`dag/gunbc/fleet/fleet_convergence_verdict.dag`
2	`dag/gunbc/fleet/fleet_converge_cli.dag`
2	`dag/gunbc/compute/attempt_lifecycle.dag`
2	`dag/gunbc/bmc_model.dag`
2	`dag/gunbc/auth/approval_request_submission.dag`
2	`dag/gunbc/auth/approval_ntfy_runtime_observe.dag`
2	`dag/gunbc/auth/approval_device_redemption.dag`
2	`dag/gunbc/auth/approval_decision_store.dag`
2	`dag/extdeps/standards/rfc_9052.dag`
2	`dag/extdeps/standards/rfc_5280.dag`
2	`dag/extdeps/pricing/object_storage.dag`
2	`dag/extdeps/mercurial.dag`
2	`dag/extdeps/languages/yaml/ingest.dag`
2	`dag/extdeps/git/object_store.dag`
2	`dag/extdeps/git/git.dag`
2	`dag/extdeps/ebay/browse.dag`
1	`src/v2/workflow/local_repo_wet_terminal.dag`
1	`src/v2/workflow/floor_unimported_bare_provider_debt_roster.dag`
1	`src/v2/workflow/floor_unimported_bare_provider_debt.dag`
1	`src/v2/workflow/floor_expected_red_coherence.dag`
1	`src/v2/workflow/emitted_crate_workspace.dag`
1	`src/v2/workflow/bootstrap.dag`
1	`src/v2/test/claim/body_lowering/arrow_body_form_semantic_helpers.dag`
1	`src/v2/std/provenance.dag`
1	`src/v2/std/list_introduction.dag`
1	`src/v2/std/lens_verdict.dag`
1	`src/v2/std/fold_assembly.dag`
1	`src/v2/std/dependency.dag`
1	`src/v2/std/decl_facts_skeleton.dag`
1	`src/v2/std/data_initializer_identity.dag`
1	`src/v2/std/concept_index.dag`
1	`src/v2/std/compilers/coproduct_variant_shape.dag`
1	`src/v2/std/compilers/compilation_unit.dag`
1	`src/v2/std/cardinality.dag`
1	`src/v2/lens/undecidable_verdict_collapse.dag`
1	`src/v2/compiler/wrap_decision.dag`
1	`src/v2/compiler/trait_derive_completeness.dag`
1	`src/v2/compiler/source_authority_read.dag`
1	`src/v2/compiler/self_host/frontier_probe_types.dag`
1	`src/v2/compiler/reference_site_collector.dag`
1	`src/v2/compiler/program_assembly.dag`
1	`src/v2/compiler/ingested_fixture_arrows.dag`
1	`src/v2/compiler/fold_lowering.dag`
1	`src/v2/compiler/body_producer_forward.dag`
1	`src/v2/compiler/02_parse.dag`
1	`dag/test/manual/emission_provenance_specimen_red.dag`
1	`dag/std/state_durability.dag`
1	`dag/std/reducible.dag`
1	`dag/std/filesystem.dag`
1	`dag/std/encoding.dag`
1	`dag/std/effects.dag`
1	`dag/std/decision.dag`
1	`dag/std/change.dag`
1	`dag/std/cache_interface.dag`
1	`dag/gunbc/v1/v1_complexity_decl_classification.dag`
1	`dag/gunbc/srv3/srv3_seeded_install_media.dag`
1	`dag/gunbc/srv3/srv3_os_install_actuate_workflow.dag`
1	`dag/gunbc/srv3/srv3_boot_once_cd.dag`
1	`dag/gunbc/spark/pair_serving_d0_door.dag`
1	`dag/gunbc/spark/host_commitment.dag`
1	`dag/gunbc/spark/first_party_serving.dag`
1	`dag/gunbc/runner/runner_usage_receipt.dag`
1	`dag/gunbc/runner/runner_registration_labels.dag`
1	`dag/gunbc/runner/runner_observed_version_check.dag`
1	`dag/gunbc/runner/runner_microvm_slot_unit.dag`
1	`dag/gunbc/runner/runner_microvm_slot_start.dag`
1	`dag/gunbc/runner/runner_microvm_footprint_probe.dag`
1	`dag/gunbc/runner/runner_microvm_boot_probe.dag`
1	`dag/gunbc/roadmap/roadmap_validation_oracle.dag`
1	`dag/gunbc/roadmap/roadmap_spawner.dag`
1	`dag/gunbc/roadmap/roadmap_review_function.dag`
1	`dag/gunbc/roadmap/roadmap_publication_helper.dag`
1	`dag/gunbc/roadmap/roadmap_presentation.dag`
1	`dag/gunbc/roadmap/roadmap_launch_deployment_receipt.dag`
1	`dag/gunbc/roadmap/roadmap_event_carrier.dag`
1	`dag/gunbc/roadmap/roadmap_attempt_continuation.dag`
1	`dag/gunbc/repo/repo_ruleset.dag`
1	`dag/gunbc/repo/repo_atlas_projection.dag`
1	`dag/gunbc/product/fan_tach.dag`
1	`dag/gunbc/product/compute_board/composition.dag`
1	`dag/gunbc/product/capacity/cohort_observation.dag`
1	`dag/gunbc/owned_process.dag`
1	`dag/gunbc/observation_ci_render.dag`
1	`dag/gunbc/namespace/namespace_xl2_rehearsal_census.dag`
1	`dag/gunbc/namespace/namespace_reference_derived_closure_admission.dag`
1	`dag/gunbc/live_deploy/srv1_residue_rehearsal.dag`
1	`dag/gunbc/live_deploy/member_identity.dag`
1	`dag/gunbc/instruments/publication_publisher.dag`
1	`dag/gunbc/instruments/merge_admission_walk.dag`
1	`dag/gunbc/instruments/json_parse_ladder.dag`
1	`dag/gunbc/instruments/extdeps_scope_placement_gate.dag`
1	`dag/gunbc/instruments/emit_host_transport.dag`
1	`dag/gunbc/instruments/cause_assertion_census.dag`
1	`dag/gunbc/instruments/approval_store_live_probe.dag`
1	`dag/gunbc/harness/harness_tool.dag`
1	`dag/gunbc/harness/harness_throughput.dag`
1	`dag/gunbc/harness/harness_seat.dag`
1	`dag/gunbc/githooks/githooks_pre_push_plan.dag`
1	`dag/gunbc/floor/floor_cold_build_receipt.dag`
1	`dag/gunbc/fleet/organization_runner_roster_read.dag`
1	`dag/gunbc/fleet/fleet_show_effective_read.dag`
1	`dag/gunbc/fleet/fleet_host_key_enrollment.dag`
1	`dag/gunbc/fabric/fabric_storage_wire.dag`
1	`dag/gunbc/fabric/fabric_required_build_cell.dag`
1	`dag/gunbc/econ/margin_envelope.dag`
1	`dag/gunbc/econ/free_tier_serving.dag`
1	`dag/gunbc/compute/work_request.dag`
1	`dag/gunbc/compute/test_run.dag`
1	`dag/gunbc/compute/host_occupancy.dag`
1	`dag/gunbc/cloudflare/r2_bucket_ensure.dag`
1	`dag/gunbc/citation/pdf_safe_profile.dag`
1	`dag/gunbc/build_cache/build_cache_endpoint_observation.dag`
1	`dag/gunbc/bmc_megarac_web_transport.dag`
1	`dag/gunbc/auth/secret_rotation.dag`
1	`dag/gunbc/auth/credentials.dag`
1	`dag/gunbc/auth/approval_store_receipt.dag`
1	`dag/gunbc/auth/approval_status_wire.dag`
1	`dag/gunbc/auth/approval_gate.dag`
1	`dag/gunbc/auth/approval_device_wire.dag`
1	`dag/gunbc/approve_ios_swift_wire.dag`
1	`dag/extdeps/tools/ldd.dag`
1	`dag/extdeps/tailscale/serve.dag`
1	`dag/extdeps/standards/rfc_8949.dag`
1	`dag/extdeps/standards/rfc_8118.dag`
1	`dag/extdeps/sec/facts.dag`
1	`dag/extdeps/runtime/architecture/x86_64_linux.dag`
1	`dag/extdeps/runtime/architecture/aarch64_linux.dag`
1	`dag/extdeps/runtime/api/windows.dag`
1	`dag/extdeps/runtime/api/darwin.dag`
1	`dag/extdeps/provisioning/ubuntu_seeded_install_media_remaster.dag`
1	`dag/extdeps/ntfy/access.dag`
1	`dag/extdeps/memory/jedec.dag`
1	`dag/extdeps/languages/markdown.dag`
1	`dag/extdeps/github/organizations.dag`
1	`dag/extdeps/github/expressions.dag`
1	`dag/extdeps/git/gitignore.dag`
1	`dag/extdeps/formats/elf/types.dag`
1	`dag/extdeps/formats/elf/encode.dag`
1	`dag/extdeps/firmware/types.dag`
1	`dag/extdeps/deepseek/deepseek_v4_1_flash.dag`
1	`dag/extdeps/bmc/redfish_memory_inventory.dag`

Evidence

Regen reached a fixed point at iteration 1, and the docs projection regen passed.
clippy (--lib --tests -D warnings) and the NFR, roster and non-fold-residue unit tests: clippy clean; 75 passed, 0 failed (5 ignored, the census among them).
Census at the PR head (neat-boar-16, srv1, nfr_whole_corpus_typed_census at 65161a8; the only change since then is removing the stray target symlink in afdd827, and later commits touch only imports and debt rows): rc=0, 2165 s, peak 43.1 GB.
summary sources=7266 typed_modules=4569 wildcard_arms=1681 residue_sites=1100 unrostered=0 stale=0 undetermined=13 blocked_diagnostics=74
Before this PR, at main ca5ed17, it was unrostered=915 stale=0. The 13 undetermined lines are all rostered: 9 by their own rows, 4 by their function's census row. The 74 blocked and 16 partial modules are unchanged.

🤖 Generated with Claude Code

…s, lens and claims; roster the 915 typed-census sites + 9 undetermined; a rostered undetermined site is not stale #12610's joint landing. The census is nfr_whole_corpus_typed_census at ca5ed17 (srv1, 2026-10-02). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…laims_test imports its live-tree disposition Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…ce (AmbiguousBareNameRead once the roster's row subjects bring bash_command_fold into scope) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…odies The required floor runs typed_collect_wildcard_arms (and fac_walk_body_marks under it) on the main thread; native recursion over corpus-shaped body depth overflowed the stack on gunbc#12526's widened diff scope ('main' has overflowed its stack, right after strict-preparation, twice). Visit order is immaterial: facts and undetermined sites are sorted by the caller and marks are booleans. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…owed its main thread in the non-fold-residue diff) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…iew 74146) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…'s verdict call on an 8 MiB thread Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…s, drop the stacker blocks Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…roster 8 sites that landed after it Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…p 5 more std.string_type imports main added (playwright, gcp, gcp/sts, tailscale/acl_api, rfc3339 string_lex_compare -> host <); stage0 infer mirrors taken from main pending regen Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

#12987) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

….std.logic Bool imports Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

- non_fold_residue roster: main's census roster replaces the stopgap rows; drop the row for target_transform_positional_operand_binding_atom, which stays enumerated here - target_model: keep the enumerated arms, with main's local-reference-leaf behaviour in the shared otherwise helper - 03_resolve, 04_infer, 05_eval: main's frame binders, deleted scope search and lexical callee check - bare-provider debt roster: main's dispositions (the three body_lowering tests still read SubstrateInputsOnly bare) - generated mirrors from main; regen follows Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…ors, regen follows Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

… arms, rostered #12980 armed the typed census on main; the live line's wildcard arms predate it. Each gets its own row under nfr_reason_landed_with_the_live_line with the owning-fold dissolution, as main did for the arms that landed during its review; the stale roadmap_standings_read row is deleted. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…at is not a sweep Main's typed non-fold-residue census (#12980) refuses a top-level wildcard over a closed coproduct without a row. Fifteen of this lane's sites matched NodeKind (two variants), so their wildcard is now the two explicit variant arms -- construction rather than a roster row; infer_coproduct_arm_pattern's multi-line remainder moved into infer_coproduct_arm_pattern_constructed so both arms call it. eval_field_projection_of_receiver matches RuntimeValue, where RuntimeAggregate is the only field-bearing variant and every other refuses identically, so it is rostered with its reason and dissolution. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…tale #12980 rostered the two host_effect_realize wildcard sites against main, where they still existed; this branch totals both matches by naming every HostEffectTransport variant, and the floor deletes a row whose site no longer carries a wildcard. Both rows named observe_slot_population_over_ host_effect_transport and srv3_dpkg_package_installed with the typed- census reason and the owning-fold dissolution.

…sence-establishment conversion

The composed run refused NonFoldResidueRosterDiverged stale=1: main's NFR census (#12980) added a FrontierRow for dag/gunbc/instruments/merge_admission_walk.dag::merge_target_refresh, but this PR's change already totalled that fold -- all six MergeAdmissionVerdict arms are spelled, no wildcard arm, so no non-fold residue exists for the subject and the roster row is stale on the composed tree. The row is deleted; roster and residue agree again. manifest_overlay_resolved was checked too: main added no row for it, and its three arms are totalled here, so nothing to delete there.

…Rows for sites this PR totals; roster qualified_name.dag::qn_fold_step (new refusal arms)

Brian Searls and others added 8 commits October 2, 2026 08:47

Remove a stray 'target' symlink committed at the repo root

afdd827

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

NFR roster PR: retire the deleted lens's bare-provider debt row; sg_c…

aa2ffa7

…laims_test imports its live-tree disposition Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

runner_microvm_boot_probe: import Filesystem from its declaring servi…

24dddd0

…ce (AmbiguousBareNameRead once the roster's row subjects bring bash_command_fold into scope) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

NFR typed walk: grow the stack per expression level (the floor overfl…

3734d72

…owed its main thread in the non-fold-residue diff) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

non_fold_residue: the census comment states the typed population (rev…

62ed47d

…iew 74146) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

NFR: discriminating control -- a 20,000-term body judged by the floor…

19e0d49

…'s verdict call on an 8 MiB thread Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

briansrls added this pull request to the merge queue Oct 2, 2026

github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Oct 2, 2026

gunbai-bot Bot mentioned this pull request Oct 2, 2026

EdgeLabel cut: Authored | StructuralLabel (CoreMarker | ProductionEdge) | Positional, root-first #12799

Merged

gunbai-bot Bot added this pull request to the merge queue Oct 2, 2026

github-merge-queue Bot removed this pull request from the merge queue due to a conflict with the base branch Oct 2, 2026

Brian Searls and others added 4 commits October 2, 2026 15:47

Merge #12996 (worklist NFR walks) into #12980: take its walk function…

6a7ba6a

…s, drop the stacker blocks Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

Merge remote-tracking branch 'origin/main' into nfr-census-roster

6bdc7ab

NFR roster: retire 7 rows whose sites main changed since the census; …

0fe1e6f

…roster 8 sites that landed after it Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

Merge remote-tracking branch 'origin/main' into nfr-census-roster

42cebca

gunbai-bot Bot mentioned this pull request Oct 2, 2026

XL-2 PR2a: lexical modes (ANTLR pushMode/popMode) + PEG not-followed-by in v2.std.compilers.lexing; 01_tokenize walks a mode stack #12997

Merged

gunbai-bot Bot added this pull request to the merge queue Oct 2, 2026

Merged via the queue into main with commit f4c8204 Oct 2, 2026
4 checks passed

gunbai-bot Bot deleted the nfr-census-roster branch October 2, 2026 17:52

gunbai-bot Bot pushed a commit that referenced this pull request Oct 2, 2026

Merge origin/main (with #12980) into bool-variant-lowering

1a6df4a

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbai-bot Bot pushed a commit that referenced this pull request Oct 2, 2026

Merge origin/main (#12980 NFR census roster landed; #12993 #12985 #12996

4c7eaa9

#12987) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbai-bot Bot mentioned this pull request Oct 2, 2026

Text crossings unfold or refuse: exact-representation text compat (XL-0T ruling B) #12512

Merged

gunbai-bot Bot pushed a commit that referenced this pull request Oct 2, 2026

Merge #12559 head (main with #12980) into the Bool cut; rewire new v2…

b8488af

….std.logic Bool imports Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

briansrls pushed a commit that referenced this pull request Oct 2, 2026

Merge origin/main (#12980); seed regenerated

8529f15

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbai-bot Bot pushed a commit that referenced this pull request Oct 2, 2026

Merge main (with #12980) into session/lively-lark-214; take main mirr…

a1358a3

…ors, regen follows Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbai-bot Bot mentioned this pull request Oct 2, 2026

Nat de-fork: one Peano Nat in std.nat, realized as the host integer (binding + cut) #12846

Merged

gunbai-bot Bot mentioned this pull request Oct 2, 2026

shell-to-dag: compile-pool slice installs as a typed staging fold (follows #12973) #12989

Merged

gunbai-bot Bot mentioned this pull request Oct 2, 2026

Debt paydown: expected-red chunks, unbacked witness exclusions, rung retirement, orphan justification citations #12994

Merged

gunbai-bot Bot pushed a commit that referenced this pull request Oct 3, 2026

Merge origin/main: composed-tree NFR census rows (#12980) into the ab…

fe4cfb3

…sence-establishment conversion

gunbai-bot Bot pushed a commit that referenced this pull request Oct 3, 2026

reconcile NFR roster vs typed census #12980: delete 22 stale Frontier…

5c68cc5

…Rows for sites this PR totals; roster qualified_name.dag::qn_fold_step (new refusal arms)

Navigation Menu

Repository navigation

NFR census roster: #12610's joint landing (delete the text scan; roster 915 typed-census sites) - #12980

NFR census roster: #12610's joint landing (delete the text scan; roster 915 typed-census sites)#12980
gunbai-bot[bot] merged 12 commits into
mainfrom
nfr-census-roster

gunbai-bot Bot commented Oct 2, 2026 •

edited

Loading

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

0 participants

Conversation

gunbai-bot Bot commented Oct 2, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Deleted (the old scan and everything that answered through it)

One fix inside #12610's walk

The 13 undetermined sites: decided, all residue (9 new rows)

The roster: 185 → 1109 rows (915 census + 9 undetermined)

Rows by owning module (915)

Evidence

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

0 participants

gunbai-bot Bot commented Oct 2, 2026 •

edited

Loading