Repository navigation
Unify language engineering Config and source-bound evidence - #9
Merged
Merged
Conversation
GTrunSec
force-pushed
the
codex/declarative-library-boundary
branch
from
November 11, 2026 08:57
694ab05 to
5c12747
Compare
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
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.
The public configuration is now one programs.deterministic-engineering.languages..{enable,settings} tree, maintained in root config.ss and illustrated by examples/programs.ss. C and C++ are supported by real maintained Profiles; both are disabled by default. The old paired default/disabled Examples are removed.
Downstream Modules use Yuanxu's existing config-defaults to recursively compose POO values. Omitted fields inherit, explicit false remains false, and scalar/list values replace their field. Native sealed Records validate the final configuration. No local recursive merge, configuration loader, dispatch registry, compatibility facade or application Runtime is added.
Language projections read the final Scope's Profile map and configuration. They select maintained Profiles, reject cross-language selection and derive configured method scopes. A downstream POO Profile contribution can be selected through the same interface. Effective deadlines are part of the plan and method evidence identity; the maximum remains 45 seconds, while users can tighten it.
Validation:
The single root dependency remains the locally qualified AI Agentic Lab revision 558e9bd5b8acf1ec644c74c9621007a3695de636. Its native closure and optional Core source gitlink remain distinct. The newer Parent PR #34 cohort is audited but not promoted without fresh installation/build/consumer evidence.
Remaining gates:
The PR remains draft. Library declarations, Types, Profiles, finite rules and evidence contracts stay here; transport, providers, approval and application recovery stay with external consuming systems.
Renderer follow-up (4f43d48):
Exact-head follow-up at 4f43d48:
Native diagnostic refinement: