Skip to content

fix(v3): split canonical lens bridge ledger row #1396

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 3 commits into from
May 1, 2026
Merged

fix(v3): split canonical lens bridge ledger row #1396

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
af2bcf3
WIP: R3 Substrate
briansrls May 1, 2026
4267533
WIP: R3 Substrate
briansrls May 1, 2026
cc9ada2
Merge remote-tracking branch 'origin/main' into bridge-ledger-canonic…
briansrls May 1, 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
14 changes: 7 additions & 7 deletions src/v3/compiler/src/bootstrap_generated.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -795,10 +795,10 @@ pub(crate) fn bootstrapped_fixture_dag() -> Dag {
Declaration { id: DeclarationId(787), name: Some("AnthropicMessages200Usage".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "input_tokens".to_string(), ty: DeclarationId(74) }, Field { label: "output_tokens".to_string(), ty: DeclarationId(74) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/anthropic_schema.dag", 4994, 5070) },
Declaration { id: DeclarationId(788), name: Some("AnthropicMessages200Body".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "id".to_string(), ty: DeclarationId(189) }, Field { label: "type".to_string(), ty: DeclarationId(189) }, Field { label: "role".to_string(), ty: DeclarationId(189) }, Field { label: "content".to_string(), ty: DeclarationId(1722) }, Field { label: "model".to_string(), ty: DeclarationId(189) }, Field { label: "stop_reason".to_string(), ty: DeclarationId(785) }, Field { label: "stop_sequence".to_string(), ty: DeclarationId(1723) }, Field { label: "usage".to_string(), ty: DeclarationId(787) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/anthropic_schema.dag", 5417, 5704) },
Declaration { id: DeclarationId(789), name: Some("BinShim".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "entrypoint_name".to_string(), ty: DeclarationId(114) }, Field { label: "description".to_string(), ty: DeclarationId(189) }, Field { label: "entry".to_string(), ty: DeclarationId(1049) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bin_shim.dag", 801, 894) },
Declaration { id: DeclarationId(790), name: Some("BridgeStatus".to_string()), connective: TypeConnective::Disj { variants: vec![Field { label: "Retired".to_string(), ty: DeclarationId(1724) }, Field { label: "Open".to_string(), ty: DeclarationId(1725) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 3992, 4030) },
Declaration { id: DeclarationId(791), name: Some("BridgeLedgerRef".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "decl".to_string(), ty: DeclarationId(1049) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 4994, 5041) },
Declaration { id: DeclarationId(792), name: Some("BridgeLedgerRow".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "name".to_string(), ty: DeclarationId(189) }, Field { label: "owner".to_string(), ty: DeclarationId(189) }, Field { label: "status".to_string(), ty: DeclarationId(790) }, Field { label: "authority".to_string(), ty: DeclarationId(189) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 5684, 5794) },
Declaration { id: DeclarationId(793), name: Some("bridge_ledger".to_string()), connective: TypeConnective::Instantiation { template: DeclarationId(592), arguments: vec![TemplateArgument { parameter: DeclarationId(593), value: DeclarationId(792) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: Some(DeclarationId(1726)), specialization_parent: None, inhabits: None, value_body: Some(ValueBody::List(vec![FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_source_span_file_participation_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("R3".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("ROADMAP.md#lens-fold-file-path-semantics".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_mark_bootstrap_secret_nominal_opacity_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("R2-Substrate".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1724), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("PR #937".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_canonical_lens_name_dispatch_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("R2-Substrate".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1724), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("src/v3/compiler/tests/integration/canonical_lens_bridge_ratchet_test.rs".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_include_str_side_channels_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("pipeline_authority".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("PR #1171".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_exact_string_patching_residual_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("PB-Tier-2".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("docs/r3-structure.md:83".to_string())))])])), refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 6151, 7701) },
Declaration { id: DeclarationId(790), name: Some("BridgeStatus".to_string()), connective: TypeConnective::Disj { variants: vec![Field { label: "Retired".to_string(), ty: DeclarationId(1724) }, Field { label: "Open".to_string(), ty: DeclarationId(1725) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 4292, 4330) },
Declaration { id: DeclarationId(791), name: Some("BridgeLedgerRef".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "decl".to_string(), ty: DeclarationId(1049) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 5294, 5341) },
Declaration { id: DeclarationId(792), name: Some("BridgeLedgerRow".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "name".to_string(), ty: DeclarationId(189) }, Field { label: "owner".to_string(), ty: DeclarationId(189) }, Field { label: "status".to_string(), ty: DeclarationId(790) }, Field { label: "authority".to_string(), ty: DeclarationId(189) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 5984, 6094) },
Declaration { id: DeclarationId(793), name: Some("bridge_ledger".to_string()), connective: TypeConnective::Instantiation { template: DeclarationId(592), arguments: vec![TemplateArgument { parameter: DeclarationId(593), value: DeclarationId(792) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: Some(DeclarationId(1726)), specialization_parent: None, inhabits: None, value_body: Some(ValueBody::List(vec![FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_source_span_file_participation_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("R3".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("ROADMAP.md#lens-fold-file-path-semantics".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_mark_bootstrap_secret_nominal_opacity_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("R2-Substrate".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1724), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("PR #937".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_canonical_lens_name_dispatch_pr1183_slice_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("R2-Substrate".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1724), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("src/v3/compiler/tests/integration/canonical_lens_bridge_ratchet_test.rs".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_canonical_lens_name_patching_residual".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("PB-Runtime".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("docs/briefs/r2-pb-canonical-lens-bridge-disposition.md".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_include_str_side_channels_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("pipeline_authority".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("PR #1171".to_string())))]), FieldValue::Record(vec![("name".to_string(), FieldValue::Literal(LiteralBits::String("bridge_exact_string_patching_residual_retired".to_string()))), ("owner".to_string(), FieldValue::Literal(LiteralBits::String("PB-Tier-2".to_string()))), ("status".to_string(), FieldValue::Variant { constructor: DeclarationId(1725), payload: vec![] }), ("authority".to_string(), FieldValue::Literal(LiteralBits::String("docs/r3-structure.md:83".to_string())))])])), refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 6558, 8315) },
Declaration { id: DeclarationId(794), name: Some("CleanEmissionContract".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "expression_wrapping".to_string(), ty: DeclarationId(796) }, Field { label: "pattern_bindings".to_string(), ty: DeclarationId(797) }, Field { label: "variant_payload_field_access".to_string(), ty: DeclarationId(798) }, Field { label: "imports".to_string(), ty: DeclarationId(799) }, Field { label: "block_return".to_string(), ty: DeclarationId(800) }, Field { label: "variable_bindings".to_string(), ty: DeclarationId(801) }, Field { label: "match_arm_body".to_string(), ty: DeclarationId(802) }, Field { label: "correction_style".to_string(), ty: DeclarationId(803) }, Field { label: "post_emit_verifier".to_string(), ty: DeclarationId(804) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/clean_emission.dag", 562, 944) },
Declaration { id: DeclarationId(795), name: Some("TargetCleanEmissionBinding".to_string()), connective: TypeConnective::Conj { children: vec![Field { label: "language".to_string(), ty: DeclarationId(898) }, Field { label: "clean_emission".to_string(), ty: DeclarationId(794) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/clean_emission.dag", 1748, 1848) },
Declaration { id: DeclarationId(796), name: Some("ExpressionWrappingRule".to_string()), connective: TypeConnective::Disj { variants: vec![Field { label: "WrapEverything".to_string(), ty: DeclarationId(1727) }, Field { label: "WrapOnlyInOperandPosition".to_string(), ty: DeclarationId(1728) }, Field { label: "NoWrapping".to_string(), ty: DeclarationId(1729) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/clean_emission.dag", 2192, 2283) },
Expand Down Expand Up @@ -1729,9 +1729,9 @@ pub(crate) fn bootstrapped_fixture_dag() -> Dag {
Declaration { id: DeclarationId(1721), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/anthropic_schema.dag", 4178, 4204) },
Declaration { id: DeclarationId(1722), name: None, connective: TypeConnective::Instantiation { template: DeclarationId(592), arguments: vec![TemplateArgument { parameter: DeclarationId(593), value: DeclarationId(786) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/anthropic_schema.dag", 5538, 5573) },
Declaration { id: DeclarationId(1723), name: None, connective: TypeConnective::Cardinality(CardinalityPayload::new_unchecked(DeclarationId(189), CardinalityBound::AtMostOne)), type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/anthropic_schema.dag", 5652, 5659) },
Declaration { id: DeclarationId(1724), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 4014, 4021) },
Declaration { id: DeclarationId(1725), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 4026, 4030) },
Declaration { id: DeclarationId(1726), name: None, connective: TypeConnective::Instantiation { template: DeclarationId(592), arguments: vec![TemplateArgument { parameter: DeclarationId(593), value: DeclarationId(792) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 6171, 6192) },
Declaration { id: DeclarationId(1724), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 4314, 4321) },
Declaration { id: DeclarationId(1725), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 4326, 4330) },
Declaration { id: DeclarationId(1726), name: None, connective: TypeConnective::Instantiation { template: DeclarationId(592), arguments: vec![TemplateArgument { parameter: DeclarationId(593), value: DeclarationId(792) }] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/bridge_ledger.dag", 6578, 6599) },
Declaration { id: DeclarationId(1727), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/clean_emission.dag", 2224, 2238) },
Declaration { id: DeclarationId(1728), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/clean_emission.dag", 2243, 2268) },
Declaration { id: DeclarationId(1729), name: None, connective: TypeConnective::Conj { children: vec![] }, type_params: vec![], phantom_params: Vec::new(), meta_tag: None, specialization_parent: None, inhabits: None, value_body: None, refinement: None, nominal_opacity: None, span: SourceSpan::new("src/v3/std/clean_emission.dag", 2273, 2283) },
Expand Down
Loading
Loading