Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
8 changes: 6 additions & 2 deletions dag/gunbc/emit_stage_blocking_population_census.dag
Original file line number Diff line number Diff line change
Expand Up @@ -180,6 +180,10 @@ fn emit_produced_sites(sites: List<BlockingSite>) -> List<BlockingSite> {
// as a gate finds anything, so every later check NEVER RUNS. A count taken over emit is therefore
// a PREFIX of the truth, stopping at whichever gate fired first, and the tell is wall time rather
// than the counts -- emit runs LONGER once a gate is cleared, because it gets further.
// `WorkflowParameterDefaultGate` NAMES A GATE THAT NO LONGER EXISTS, and stays because a recorded
// reading below (`pristine_census`) stopped on it at its own revision: deleting the arm would make
// that receipt unrepresentable rather than retire it. No reading taken after the derived workflow
// CLI's deletion can observe this gate.
type EmitGate
= WorkflowParameterDefaultGate
| AnonymousRecordLiteralGate
Expand All @@ -189,9 +193,9 @@ type EmitGate
fn emit_gate_text(g: EmitGate) -> String {
match g {
WorkflowParameterDefaultGate =>
"workflow parameter-default gate (v1.compiler.emit_rust validate_workflow_param_defaults) -- the FIRST gate, so every later check is masked"
"workflow parameter-default gate (v1.compiler.emit_rust validate_workflow_param_defaults, which existed at the recorded census revision and was deleted with the derived workflow CLI) -- at that revision the FIRST gate, so every later check was masked"
AnonymousRecordLiteralGate =>
"anonymous-record-literal gate (v1.compiler.emit_rust ambiguous_anonymous_record_literal_diagnostics) -- the SECOND gate, reached only once the first is clear"
"anonymous-record-literal gate (v1.compiler.emit_rust ambiguous_anonymous_record_literal_diagnostics) -- the first gate since the workflow parameter-default gate was deleted; the second at revisions that still carried it"
EmitStoppedOnUpstreamCauses =>
"the compile refused at emit over causes produced upstream of it -- how far emit_rust's own gates ran is unestablished"
NoGateFired =>
Expand Down
9 changes: 5 additions & 4 deletions dag/gunbc/plans/demand_engine_program.dag

Large diffs are not rendered by default.

1 change: 0 additions & 1 deletion dag/gunbc/type_reference_decl_file_occurrence_census.dag
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,6 @@ data type_reference_decl_file_classes: List<OccurrenceClass> = [
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "render_variant_payload_type"),
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "emit_typed_method_call"),
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "emit_data_def"),
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "emit_cli_param_type_node"),
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "emit_rust_default_value"),
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "needs_box_wrapping"),
decl_ref(module_path: "v1.compiler.emit_rust", decl_name: "is_rust_value_type"),
Expand Down
163 changes: 0 additions & 163 deletions dag/test/claim/data_reference_ambiguous_refusal_witness_test.dag

This file was deleted.

Loading
Loading