M0: //gunbc/instruments:type-declaration-use-census — resolved type-declaration and cast census (nominal-type plan)

.github/workflows/instrument-dispatch.yml

@@ -8,7 +8,7 @@ on:
       label:
         description: The rostered instrument to run (gunbc.instrument_targets); the run executes `gunbc test <label>` at the dispatched ref.
         required: true
-        options: [//gunbc/instruments:dag-emit-real-grammar-round-trips, //gunbc/instruments:self-host-behavioral-equivalence, //gunbc/instruments:dependency-demand-census, //gunbc/instruments:v2-native-census]
+        options: [//gunbc/instruments:dag-emit-real-grammar-round-trips, //gunbc/instruments:self-host-behavioral-equivalence, //gunbc/instruments:dependency-demand-census, //gunbc/instruments:v2-native-census, //gunbc/instruments:type-declaration-use-census]
         type: choice
 permissions:
   contents: read

dag/gunbc/instrument_targets.dag

@@ -49,6 +49,7 @@ import gunbc.target_binding {
   DifferentialReadingExecutionRefused, DifferentialObservationAssemblyRefused,
   BareReferenceChannelOutcomeProducer,
   SelfHostBehavioralEquivalenceProducer,
+  V2NativeCensusProducer, ResolveRefusalReading, TypeDeclarationUseReading,
   DependencyDemandCensusProducer,
   BareChannelEligibility, BareChannelRuns, BareChannelDisabledByImportLine,
   BareReferenceChannelEntryReading, BareReferenceChannelExpectation,
@@ -258,6 +259,15 @@ fn v2_native_census_label() -> Label {
   Label { package: instruments_package() target: TargetName { name: "v2-native-census" } }
 }
 
+// THE NOMINAL-TYPE PLAN'S M0 (docs/plans/nominal-type-declaration-plan.md section 2): every type
+// declaration and every `as` site of `dag` + `src/v2`, classified off the RESOLVED and INFERRED trees
+// by the native census-infer walk, with its fixture and unindexed-module controls run first.
+// `gunbc test //gunbc/instruments:type-declaration-use-census`. A report: its numbers are a receipt and
+// are not transcribed into committed prose (DESIGN section 6).
+fn type_declaration_use_census_label() -> Label {
+  Label { package: instruments_package() target: TargetName { name: "type-declaration-use-census" } }
+}
+
 // THE EMITTED CLOSURE AS A MULTI-CRATE WORKSPACE (Pkg7e). The seed emits `v2.compiler.compile`'s
 // closure, `v2.workflow.emitted_crate_workspace` `emitted_workspace_plan` partitions it into crate
 // rows from the derived module DAG, the emission's returned edges and the transitive unit
@@ -501,8 +511,12 @@ fn dag_emit_real_grammar_round_trips_binding() -> TargetBinding {
   TargetBinding { target: dag_emit_real_grammar_round_trips_label() producer: NativeClaimProgramProducer { entry: dag_emit_real_grammar_round_trips_entry() } }
 }
 
+fn type_declaration_use_census_binding() -> TargetBinding {
+  TargetBinding { target: type_declaration_use_census_label() producer: V2NativeCensusProducer { reading: TypeDeclarationUseReading } }
+}
+
 fn v2_native_census_binding() -> TargetBinding {
-  TargetBinding { target: v2_native_census_label() producer: V2NativeCensusProducer {} }
+  TargetBinding { target: v2_native_census_label() producer: V2NativeCensusProducer { reading: ResolveRefusalReading } }
 }
 
 fn v2_native_frontier_binding() -> TargetBinding {
@@ -645,7 +659,7 @@ fn instrument_targets() -> List<Label> {
   [
     heads_reading_differential_label(), behavioral_receipt_plan_label(),
     behavioral_receipt_census_label(), behavioral_receipt_selftest_label(),
-    compile_clean_diagnostic_census_label(), self_host_label(), v2_native_cli_label(), v2_native_frontier_label(), v2_native_census_label(),
+    compile_clean_diagnostic_census_label(), self_host_label(), v2_native_cli_label(), v2_native_frontier_label(), v2_native_census_label(), type_declaration_use_census_label(),
     evaluation_store_address_exact_head_label(), primitive_egress_census_label(),
     primitive_egress_census_v2_label(), primitive_egress_census_dag_label(),
     primitive_egress_census_seed_label(), floor_memory_qualification_label(), typed_graph_exclusive_bytes_label(), typed_graph_exclusive_bytes_floor_subject_label(),
@@ -660,7 +674,7 @@ fn instrument_bindings() -> List<TargetBinding> {
   [
     heads_reading_differential_binding(), behavioral_receipt_plan_binding(),
     behavioral_receipt_census_binding(), behavioral_receipt_selftest_binding(),
-    compile_clean_diagnostic_census_binding(), self_host_binding(), v2_native_cli_binding(), v2_native_frontier_binding(), v2_native_census_binding(),
+    compile_clean_diagnostic_census_binding(), self_host_binding(), v2_native_cli_binding(), v2_native_frontier_binding(), v2_native_census_binding(), type_declaration_use_census_binding(),
     evaluation_store_address_exact_head_binding(), primitive_egress_census_binding(),
     primitive_egress_census_v2_binding(), primitive_egress_census_dag_binding(),
     primitive_egress_census_seed_binding(), floor_memory_qualification_binding(), typed_graph_exclusive_bytes_binding(), typed_graph_exclusive_bytes_floor_subject_binding(),

dag/gunbc/instruments/instrument_dispatch_workflow.dag

@@ -29,7 +29,8 @@ import gunbc.ci_runner_target { gunbc_ci_selected_runner_spec }
 import gunbc.compiler_gate_workflow { compiler_gate_hosted_build_prelude_bound_steps }
 import gunbc.witness_floor_workflow { witness_toolchain_homes_isolated_guard_step }
 import gunbc.instrument_targets {
-  dag_emit_real_grammar_round_trips_label, self_host_behavioral_equivalence_label, dependency_demand_census_label, v2_native_census_label, instrument_targets,
+  dag_emit_real_grammar_round_trips_label, self_host_behavioral_equivalence_label,
+  type_declaration_use_census_label, dependency_demand_census_label, v2_native_census_label, instrument_targets,
 }
 import v2.workflow.bash_emit { bash_emit_stmts }
 import v2.extdeps.languages.bash_build {
@@ -89,14 +90,16 @@ data instrument_dispatch_timeout_minutes: Int = 240
 // adding one is a row here. The self-host behavioral-equivalence receipt series is the second: one
 // emitted crate built per roster module exceeds the free remote runner's one-hour cap, and its
 // receipt is taken on purpose (gunbc.self_host_behavioral_equivalence_receipt), never per change.
+// The type-declaration-use census (the nominal-type plan's M0) is another: it emits and builds the
+// compiler, then resolves and infers the whole corpus, past any per-change lane and the same hour cap.
 // The native resolve census is another: `census-resolve` emits and builds the compiler closure and then
 // resolves every indexed module, which outlives the free remote runner's one-hour cap twice over, and
 // its saved whole-tree receipt is what the resolve-frontier root ranking and the census lane's step D
 // read. A dispatchable label is on-demand only; it adds no job to any per-change workflow.
 fn instrument_dispatch_labels() -> List<Label> {
   [
     dag_emit_real_grammar_round_trips_label(), self_host_behavioral_equivalence_label(), dependency_demand_census_label(),
-    v2_native_census_label(),
+    v2_native_census_label(), type_declaration_use_census_label(),
   ]
 }