..
answer_choices
feat(answer-choices): multiple-choice verifier with contradiction flag (R2 C4)
2026-06-07 07:26:00 -07:00
binding_graph
Lane 4: Registry Consolidation (language_packs to packs)
2026-07-04 15:11:28 -07:00
combined_rate_comprehension
docs(cmb): lookback review + fix single-agent-attribution hygiene hazard (H3)
2026-06-08 13:27:17 -07:00
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
docs(comprehension): whole-system organ capability ledger + fix ADR-0211 number collision
2026-06-08 06:15:51 -07:00
contemplation
feat(ask): split question artifact path from proposal path
2026-06-09 11:28:52 -07:00
cue_precision
feat(adr-0177-cp2a): cue-precision ledger training + measurement (+ unit hygiene) ( #461 )
2026-05-29 10:21:58 -07:00
derivation
feat(evals): Author 200-case GSM8K math evaluation corpus and verification script
2026-07-04 16:03:51 -07:00
determine
feat(proposals): bridge derived CLOSE facts into review proposals ( #789 )
2026-06-16 15:39:46 -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
meaning_graph
Lane 4: Registry Consolidation (language_packs to packs)
2026-07-04 15:11:28 -07:00
proof_chain
feat(teaching): ADR-0218 P3 — proof-carrying coherence promotion
2026-06-11 17:02:45 -07:00
rate_comprehension
feat(rate): exact time-unit conversion for single-rate (R3.2b-e)
2026-06-08 05:43:51 -07:00
realize
refactor(comprehension): drop QuantQuery — consumers read the target from graph.unknowns (PR-3)
2026-06-06 16:49:09 -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
feat(evals): Author 200-case GSM8K math evaluation corpus and verification script
2026-07-04 16:03:51 -07:00
contract_residuals.py
feat(kernel): add ContractResidual projection
2026-06-22 08:06:32 -07:00
dialogue.py
feat(persistence): Shape B+ Phase C — SessionContext.snapshot/restore (full lived state)
2026-06-05 12:13:46 -07:00
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
grounding_accessors.py
intent.py
intent_bridge.py
intent_ratifier.py
kernel_facts.py
Lane 4: Registry Consolidation (language_packs to packs)
2026-07-04 15:11:28 -07:00
logic_canonical.py
feat: modus_ponens + disagreement rule — proof_chain wrong=0 mechanism (ADR-0205)
2026-06-02 20:56:57 -07:00
logic_equivalence.py
feat: principled out-of-regime detector — typed out_of_decidable_regime (ADR-0201.1)
2026-06-02 19:12:41 -07:00
math_candidate_graph.py
Lane 3: Geometric evaluation for fraction_decrease
2026-07-04 15:11:50 -07:00
math_candidate_parser.py
Lane 4: Registry Consolidation (language_packs to packs)
2026-07-04 15:11:28 -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
Lane 4: Registry Consolidation (language_packs to packs)
2026-07-04 15:11:28 -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: final cleanups for CGA substrate migration PR
2026-07-05 14:00:01 -07: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
feat(persistence): Shape B+ Phase C — SessionContext.snapshot/restore (full lived state)
2026-06-05 12:13:46 -07:00
quantitative_comprehension.py
feat(comprehension): inverse reader frame — base of a more/fewer-than (PR-7b / R2 C0)
2026-06-07 07:06:26 -07:00
quantitative_expr.py
feat(comprehension): the divisive comparative frame — "half as many" as exact integer division (PR-6c)
2026-06-06 20:18:39 -07:00
realizer.py
realizer_guard.py
recognizer_anchor_inject.py
feat(derivation): Gate A2a unit partition injection ( #809 )
2026-06-17 18:14:24 -07:00
recognizer_match.py
feat(derivation): Gate A2a unit partition injection ( #809 )
2026-06-17 18:14:24 -07:00
recognizer_registry.py
relational_field_reader.py
feat(field-wedge): geometric field reader — relational-metric lane wrong=0 (Phase W.1)
2026-06-04 19:34:43 -07:00
relational_symbolic_reader.py
feat(field-wedge): ablation verdict — field is decoration on additive (C3) (Phase W.2)
2026-06-04 19:44:22 -07:00
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
stream.py
chore: Refactor CLI and Governance Anchors ( #926 )
2026-07-03 12:34:56 -07:00
surface.py
templates.py