core-labs/core
core-labs/core
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity
core/generate
History
Shay 0a17c49693 refactor(learning): extract the ratified-ledger bridge from its three instances (ADR-0263) 
Phase 3.3 of the generalization arc. Estimation (ADR-0175), deduction
serving (ADR-0256) and curriculum serving (ADR-0262) had each written the
same seal -> ratify -> SHA-verify -> serve-gate machinery. core/ratified_ledger.py
now owns it and states the four rules once: only sealed practice writes;
tamper-evidence is structural (a load that cannot reproduce content_sha256
REFUSES); ceilings are not negotiable at the call site; absent evidence is
never a license.

Each capability keeps a thin adapter that names its artifact and preserves
its public API. One real difference is now declared rather than implied:
missing_ok distinguishes a ledger a capability SHIPS with (absence = broken
deployment, refuse) from one whose practice volume is still being built
(absence = nothing earned yet, serve disclosed) — curriculum serving is the
second kind today.

Safety property is byte-identity, asserted not assumed: re-sealing the
committed 25-band deduction ledger through the bridge reproduces it
byte-for-byte, so no artifact and no lane pin moves.

Effect: a new subject arena now needs a gold corpus and a band key, not a
re-implementation of ratification — which is what §3 meant by sequencing
the bridge ahead of the second subject.

[Verification]: tests/test_ratified_ledger_bridge.py 8 passed; core test
--suite deductive 252 passed; estimation/license test set 355 passed;
committed deduction ledger byte-identical after reseal.
2026-07-24 14:45:16 -07:00
..
answer_choices
binding_graph Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
combined_rate_comprehension
composition feat(determine): add transitive strict-order relational inference (#781) 2026-06-15 14:20:30 -07:00
comprehension Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
constraint_comprehension
contemplation feat: 3lang depth PropGraph unification - phase refinements, wiring, tests + session pickup cleanups/governance 2026-07-08 07:07:11 -07:00
cue_precision
derivation feat: retire fraction_decrease prose regex — bind dilation from frame scale 2026-07-08 20:09:49 -07:00
determine refactor(learning): extract the ratified-ledger bridge from its three instances (ADR-0263) 2026-07-24 14:45:16 -07:00
frame_verdict feat(frame-verdict): closed-world FrameVerdict substrate — PR-1..4 + hardening (ADR-0222 B4) (#787) 2026-06-16 06:23:03 -07:00
linguistic_pipeline feat(cognition): fail-closed linguistic governance + trilingual constraint pipeline 2026-07-20 16:16:56 -07:00
meaning_graph feat(deduction-serve): Band v6-EX — existential witnesses, decided (ADR-0261) 2026-07-24 14:14:37 -07:00
observed_he_morph_v0 feat(logos): bulk live morph authority on turn + teaching seams 2026-07-20 16:35:04 -07:00
proof_chain feat(generalization): curriculum-grounded serving — exams answered from ratified curriculum (ADR-0262) 2026-07-24 14:38:08 -07:00
rate_comprehension
realize
structure_mapping fix(trackb): pure-S1 extract refuse multi-clause overmatch (0361 wrong=0) 2026-07-19 20:04:27 -07:00
__init__.py
admissibility.py
articulation.py
articulation_legality.py
attention.py
bridge_trace.py chore: Refactor CLI and Governance Anchors (#926) 2026-07-03 12:34:56 -07:00
candidate_operator.py style(kernel): place quantity-entity builder before exports 2026-06-23 05:43:17 -07:00
compute_budget.py feat(kernel): implement diagnostic-only ComputeBudgetDecision 2026-06-22 13:13:49 -07:00
construction_affordances.py chore(kernel): tighten construction_affordances catalog invariants (#930) 2026-07-06 08:38:23 -07:00
contract_residuals.py feat(kernel): add ContractResidual projection 2026-06-22 08:06:32 -07:00
dialogue.py
discourse_planner.py
epistemic_basis.py feat(frame-verdict): closed-world FrameVerdict substrate — PR-1..4 + hardening (ADR-0222 B4) (#787) 2026-06-16 06:23:03 -07:00
exhaustion.py
field_incidence_reader.py work done towards furthering comprehension, contemplation, learning, and also began working on fixing some failing tests 2026-06-16 12:27:59 -07:00
foundational_families.py fix(kernel): align unary-delta implementation with conformance decision 2026-06-21 20:19:53 -07:00
geometric_search_run.py feat(kernel): implement inert GeometricSearchRun trace shell 2026-06-22 14:09:52 -07:00
graph_constraint.py
graph_planner.py refactor: consolidate duplicate depth extraction — graph_planner.get_node_depths now delegates to build_node_depths (single source) 2026-07-08 07:21:17 -07:00
grounding_accessors.py
intent.py feat(deduction-serve): Phase 1 — deduction turn spine (flag-gated, propositional Band v1) 2026-07-23 12:14:28 -07:00
intent_bridge.py
intent_ratifier.py fix(cognition): pre-stage land repairs after L2/PASSTHROUGH excision 2026-07-20 13:34:59 -07:00
kernel_facts.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
logic_canonical.py
logic_equivalence.py
math_candidate_graph.py fix: fold Gemini CGA/fraction_decrease compatibility into deck PR 2026-07-08 20:00:51 -07:00
math_candidate_parser.py feat(reader-arc): #78 positive-polarity allowlist substrate (seed + comparison) — foundations, band-solve=0 2026-07-18 21:18:02 -07:00
math_completeness.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
math_parser.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
math_problem_graph.py feat(derivation): Gate A2b case 0002 fractional rest composition (#810) 2026-06-17 19:08:24 -07:00
math_realizer.py feat(derivation): Gate A2b case 0002 fractional rest composition (#810) 2026-06-17 19:08:24 -07:00
math_roundtrip.py feat(reader-arc): #78 positive-polarity allowlist substrate (seed + comparison) — foundations, band-solve=0 2026-07-18 21:18:02 -07:00
math_solver.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
math_symbolic_equivalence.py
math_symbolic_normalizer.py
math_verifier.py feat(derivation): Gate A2b case 0002 fractional rest composition (#810) 2026-06-17 19:08:24 -07:00
morphology.py
ood_surface_generator.py
operators.py
perturbation_suite.py
problem_frame.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
problem_frame_bound_relations.py refactor(kernel): split ProblemFrame builder phases (#919) 2026-06-25 16:16:04 -07:00
problem_frame_builder.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
problem_frame_contracts.py fix(a2k): share fraction-decrease scale domain on geometric admission 2026-07-20 04:40:35 +00:00
problem_frame_extractors.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
problem_frame_mentions.py refactor(kernel): split ProblemFrame builder phases (#919) 2026-06-25 16:16:04 -07:00
problem_frame_proposals.py refactor(kernel): split ProblemFrame builder phases (#919) 2026-06-25 16:16:04 -07:00
process_frames.py feat: implement kernel substrate tranche 1 base-layer foundations (#829) 2026-06-18 18:46:20 -07:00
proposition.py
quantitative_comprehension.py
quantitative_expr.py
realizer.py feat: integrate 3-core-language depth into PropositionGraph spine for bidirectional unification 2026-07-06 09:01:43 -07:00
realizer_guard.py feat(deduction-serve): Band v2-EN — natural-English argument serving, earned licenses (ADR-0257) 2026-07-23 14:37:50 -07:00
recognizer_anchor_inject.py feat(derivation): Gate A2a unit partition injection (#809) 2026-06-17 18:14:24 -07:00
recognizer_match.py fix(reader-arc): compound extractor refuses no-digit compare clauses (wrong=0 hazard) 2026-07-18 21:44:34 -07:00
recognizer_registry.py
relational_field_reader.py
relational_operator_ablation.py feat(generate): deterministic relational operator ablation runners 2026-07-19 21:00:15 -07:00
relational_symbolic_reader.py
replay_adapter.py feat(kernel): add quantity-entity replay target shell 2026-06-23 06:13:28 -07:00
result.py
rotor_admissibility.py
run_attempt_binding.py feat(kernel): implement run-attempt binding shell 2026-06-22 23:12:16 -07:00
salience.py
sealed_practice_trace.py fix(kernel): fail-closed bound trace structural validation 2026-06-23 00:11:14 -07:00
search_gate.py feat(kernel): implement diagnostic-only SearchGateDecision 2026-06-22 11:36:05 -07:00
semantic_templates.py feat: integrate 3-core-language depth into PropositionGraph spine for bidirectional unification 2026-07-06 09:01:43 -07:00
stream.py fix(tests): clear pre-existing full-suite reds (INV-21 pins + rotor_power) 2026-07-15 15:39:09 -07:00
surface.py
templates.py