Repository navigation
Conversation
….dag owns verdict Concern A (shape/transport/policy scan) moves to cli_run.rs as a structured-fact extractor: extdeps_shape_transport_policy_module_facts() returns argv/fusion/input/ embedded fact lists + gist booleans + nickname literal count. The DAG lens v2.lens.extdeps_shape_transport_policy now calls the compound builtin extdeps_shape_transport_policy_facts_for_qualified_name() and feeds the fact lists into its own pure verdict functions — the scalar count host builtins are gone. Concern B (external_authority anchor checking) splits off into the new external_authority_project.rs with its own dissolution trigger (separate migration to the external_authority host surface, not cli_run.rs). The 11 old Concern A scalar builtins are removed from 04_method.dag and v1_compiler_infer_method.rs; the single compound record builtin is registered with type_variable_node. All 12 Concern B v1_interpreter.rs call-sites updated to external_authority_project. bootstrap.rs and regen_stage0.rs swap the file name. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…uthority_project swap - 05_emit_rust.dag + v1_compiler_emit_rust.rs: replace extdeps_shape_transport_policy_project with external_authority_project in hand_maintained_mods (regen would reintroduce deleted module) - regen_stage0.rs: add complexity_linearity_audit_project.rs and decl_facts_project.rs to HAND_MAINTAINED_STAGE0_FILES; add patch_complexity_linearity_audit_mod call + function body - Restore foreign files to main state (stale carry-overs from prior WIP commits) Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
- 05_emit_rust.dag / v1_compiler_emit_rust.rs: keep external_authority_project (replaces extdeps_shape_transport_policy_project per lens E) - regen_stage0.rs: keep decl_facts_project.rs once, in main's position (after complexity_linearity_audit_project.rs) Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Receipts the Concern B split: this is residual from extdeps_shape_transport_policy_project.rs (not a new projector), with its own named dissolution lane — host-surface facts builtin for extdeps_external_authority.dag, gunbc#5364 successor. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Mirrors the marker already on external_authority_project.rs: names the Node-tree argv projection as the dissolve-on condition, gunbc#5364 successor Concern A lane. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…oreign files Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…ed_mods doc_reachability_project.rs was retired in #6035 (merged before this PR); our merge-conflict resolution incorrectly reintroduced it. Remove from 05_emit_rust.dag and v1_compiler_emit_rust.rs hand_maintained_mods strings. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Main consolidated individual project files into module_path_index/: - Delete module_path_index/extdeps_shape_transport_policy_census.rs (our PR's retirement of this concern; Concern A → compound cli_run builtin, Concern B → external_authority_project.rs) - Remove extdeps_shape_transport_policy_census from module_path_index/mod.rs - Update hand_maintained_mods in 05_emit_rust.dag/v1_compiler_emit_rust.rs: use module_path_index (from main) + external_authority_project (ours) - Update lib.rs: pub mod module_path_index + pub mod external_authority_project - Update regen_stage0.rs and bootstrap.rs: module_path_index dir handles the moved files; external_authority_project.rs stays as flat hand-maintained - Resolve v1_interpreter.rs: take our compound builtin + external_authority_project:: call sites over main's individual scalar builtins + census module paths Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…merge resolution 04_method.dag, v1_compiler_infer_method.rs, v1_interpreter.rs: rename inert_carrier_names_live/declared_count builtins to unwired_model_names_live/declared_count. cli_run.rs: replace inert_carrier census section with unwired_model census from #6078 (UnwiredModelData, unwired_decl_blocks, type/fn/data support, scaffold-exemption). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Remove unwired_model.dag/test (reverted in #6085), restore inert_carrier.dag/test and complexity_linearity_audit.rs to origin/main state. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Contributor
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Auto-opened by session-dashboard for session
keen-tern-769.Pushing to
session/keen-tern-769advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan