core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions
core/generate
History
Shay feb36cfdbb feat(kernel): implement diagnostic replay adapter shell 
Adds the ADR-0229-authorized Contract/Proof Replay Adapter diagnostic
boundary after GeometricSearchRun: deterministic input/result/refusal
records, candidate_organ/contract_replay_target binding via static
allowlist, strict run/attempt/candidate identity validation, ADR-aligned
replay_disposition on refusals, vacuous-proof closure only with explicit
schema declaration, and injection-based disposition classification
without candidate generation, search execution, repair, answer
production, or runtime mutation.
2026-06-22 15:18:22 -07:00
..
answer_choices feat(answer-choices): multiple-choice verifier with contradiction flag (R2 C4) 2026-06-07 07:26:00 -07:00
binding_graph feat(comprehension): the divisive comparative frame — "half as many" as exact integer division (PR-6c) 2026-06-06 20:18:39 -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 feat(derivation): Gate A2a unit partition injection (#809) 2026-06-17 18:14:24 -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(gsm8k): xhigh capability sprint 13 robust lift (#827) 2026-06-18 16:10:15 -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 feat(reader): add overlaps_event finite-verb reader surface (B3) (#783) 2026-06-15 14:56:09 -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
compute_budget.py feat(kernel): implement diagnostic-only ComputeBudgetDecision 2026-06-22 13:13:49 -07:00
construction_affordances.py fix(kernel): complete unary-delta conformance alignment 2026-06-21 22:07:12 -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 feat(kernel): bind ProblemFrame relations and measure contract readiness (#831) 2026-06-18 21:05:37 -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 feat(gsm8k): xhigh capability sprint 13 robust lift (#827) 2026-06-18 16:10:15 -07:00
math_candidate_parser.py feat(derivation): capability strike batch 3 peer-pick lift (#813) 2026-06-17 19:56:37 -07:00
math_completeness.py fix(adr-0191): candidate-graph completeness guard — real-corpus wrong 5→0 (#496) 2026-05-30 15:45:07 -07:00
math_parser.py
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(derivation): Gate A2b case 0002 fractional rest composition (#810) 2026-06-17 19:08:24 -07:00
math_solver.py feat(derivation): Gate A2b case 0002 fractional rest composition (#810) 2026-06-17 19:08:24 -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 fix(kernel): complete unary-delta conformance alignment 2026-06-21 22:07:12 -07:00
problem_frame_builder.py fix(kernel): complete unary-delta conformance alignment 2026-06-21 22:07:12 -07:00
problem_frame_contracts.py fix(kernel): align unary-delta implementation with conformance decision 2026-06-21 20:19:53 -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): implement diagnostic replay adapter shell 2026-06-22 15:18:22 -07:00
result.py
rotor_admissibility.py
salience.py
search_gate.py feat(kernel): implement diagnostic-only SearchGateDecision 2026-06-22 11:36:05 -07:00
semantic_templates.py
stream.py refactor(generate): remove redundant forbidden-site _close_final_state; rename "Drift fix 2" 2026-06-05 08:17:17 -07:00
surface.py
templates.py