Commit graph

1775 commits

Author SHA1 Message Date
Shay
6aab3db7aa
Merge pull request #869 from AssetOverflow/docs/geometric-search-run-envelope
docs(kernel): define inert GeometricSearchRun envelope
2026-06-22 13:50:13 -07:00
Shay
91c290a11a docs(kernel): define inert GeometricSearchRun envelope 2026-06-22 13:39:13 -07:00
Shay
f19b5a044e
Merge pull request #868 from AssetOverflow/feat/compute-budget-decision
feat(kernel): implement diagnostic-only ComputeBudgetDecision
2026-06-22 13:23:45 -07:00
Shay
fcac436f7d feat(kernel): implement diagnostic-only ComputeBudgetDecision 2026-06-22 13:13:49 -07:00
Shay
7e4ba10c7a
docs(kernel): ratify diagnostic ComputeBudgetPolicy envelope
Ratifies ADR-0227 and authorizes exactly one next implementation PR: diagnostic-only ComputeBudgetDecision.

No ComputeBudgetDecision implementation, GeometricSearchRun, search execution, candidate generation, repair, Workbench, runtime/serving behavior, teaching/proposal/report/eval mutation, answer production, or unreviewed artifact mutation is authorized.
2026-06-22 12:46:25 -07:00
Shay
f3dad63907
Merge pull request #866 from AssetOverflow/docs/compute-budget-policy-envelope
docs(kernel): define diagnostic ComputeBudgetPolicy envelope
2026-06-22 12:38:05 -07:00
Shay
94c474aee7 docs(kernel): define diagnostic ComputeBudgetPolicy envelope 2026-06-22 11:58:22 -07:00
Shay
7b2456d402
feat(kernel): implement diagnostic-only SearchGateDecision
Implements a diagnostic-only SearchGateDecision adapter over ContractResidual records.

Preserves the authority boundary:
ContractAssessment -> ContractResidual -> SearchGateDecision.

SearchGateDecision is not proof, repair, budget, search, serving, candidate generation, or mutation authority.

Validation reported on head 1d68292c7f:
- tests/test_search_gate.py: 23 passed
- tests/test_contract_residuals.py: 75 passed
- adjacent contract/proposal tests: 48 passed
- ruff: passed
- compileall: passed
- smoke: 108 passed
- git diff --check: clean
2026-06-22 11:36:05 -07:00
Shay
8fc5c46cc2
Merge pull request #864 from AssetOverflow/docs/ratify-residual-gated-practice-loop-v1
docs(kernel): ratify Residual-Gated Practice Loop v1
2026-06-22 10:41:47 -07:00
Shay
66a382cdbf docs(kernel): ratify ADR-0226 2026-06-22 10:38:29 -07:00
Shay
fe59809c69
docs(kernel): define Residual-Gated Practice Loop v1 2026-06-22 10:27:12 -07:00
Shay
c66ef3ee26
Merge pull request #862 from AssetOverflow/codex/feat/kernel-contract-residual-projection
feat(kernel): implement diagnostic-only ContractResidual projection
2026-06-22 08:22:10 -07:00
Shay
8b0edb6915 test(kernel): cover ContractResidual projection 2026-06-22 08:07:27 -07:00
Shay
ecf7d2794a feat(kernel): add ContractResidual projection 2026-06-22 08:06:32 -07:00
Shay
ae37845b92
Merge pull request #861 from AssetOverflow/docs/ratify-adr-0225-contract-residual-read-model
docs(kernel): ratify ADR-0225 ContractResidual read-model
2026-06-22 07:38:42 -07:00
Shay
5c94a8337d docs(kernel): ratify ADR-0225 ContractResidual read-model 2026-06-22 07:26:30 -07:00
Shay
8e35c5ecac
Merge pull request #860 from AssetOverflow/docs/kernel-contract-residual-read-model
docs(kernel): define scoped ContractResidual read-model
2026-06-22 07:08:06 -07:00
Shay
7d5ba55bd8 docs(kernel): polish ADR-0225 terminology 2026-06-22 07:07:38 -07:00
Shay
f8d641e80f docs(kernel): define scoped ContractResidual read-model 2026-06-21 22:42:28 -07:00
Shay
aeeb13934e
Merge pull request #859 from AssetOverflow/fix/kernel-unary-delta-conformance-alignment
fix(kernel): align unary-delta implementation with conformance decision
2026-06-21 22:16:33 -07:00
Shay
59a919e347 fix(kernel): complete unary-delta conformance alignment 2026-06-21 22:07:12 -07:00
Shay
61964c5cd4 fix(kernel): align unary-delta implementation with conformance decision 2026-06-21 20:19:53 -07:00
Shay
d336ed6a38
Merge pull request #858 from AssetOverflow/docs/unary-delta-accept-option-b 2026-06-21 07:51:09 -07:00
Shay
af5bd9508d docs(kernel): accept unary-delta conformance Option B 2026-06-21 07:36:30 -07:00
Shay
b9ef9b5c6c chore: remove accidental noop file 2026-06-21 07:34:08 -07:00
Shay
85ca7ae6ca noop 2026-06-21 07:33:47 -07:00
Shay
29b0bc571a
Merge pull request #857 from AssetOverflow/docs/kernel-unary-delta-conformance-decision 2026-06-21 07:30:10 -07:00
Shay
92da72fb6c docs(kernel): record post-856 unary-delta conformance decision 2026-06-21 07:20:52 -07:00
Shay
9fad9f3c48
Merge pull request #856 from AssetOverflow/test/kernel-unary-delta-isolation-hardening 2026-06-21 06:46:57 -07:00
Shay
032c05f806 test(kernel): harden unary-delta isolation after proposal seam 2026-06-21 06:35:48 -07:00
Shay
a5281df562
Merge pull request #855 from AssetOverflow/feat/kernel-unary-delta-proposal-seam
feat(kernel): introduce diagnostic unary-delta proposal seam
2026-06-21 05:57:58 -07:00
Shay
0f6c51d0d4 test(kernel): pin missing-object unary-delta confuser 2026-06-21 05:48:11 -07:00
Shay
b6bde12e1e feat(kernel): introduce diagnostic unary-delta proposal seam 2026-06-21 05:39:38 -07:00
Shay
d5543e425a
docs(kernel): authorize unary state-change delta slice (#854) 2026-06-20 22:19:35 -07:00
Shay
ca83d3846c
fix(kernel): harden quantity-entity proposal seam (#853) 2026-06-20 21:49:26 -07:00
Shay
b5c4a39b56
docs(workbench): document proposal-first UI/UX alignment scope (#852) 2026-06-20 21:08:02 -07:00
Shay
5310bd6f3c
feat(kernel): introduce diagnostic quantity-entity proposal seam (#851) 2026-06-20 20:57:08 -07:00
Shay
ede2450073
docs(kernel): preflight quantity-entity implementation map (#850) 2026-06-20 20:25:27 -07:00
Shay
3d267b1fa3
chore(dev): enforce fresh-base startup guard for CORE agents (#849) 2026-06-20 20:11:09 -07:00
Shay
2dc1462b40
chore(evals): ratify GSM8K train proxy rebaseline 6/44/0 → 30/20/0 (#848)
- evals/gsm8k_math/train_sample/v1/report.json: rebaselined from
  correct=6/refused=44/wrong=0 to correct=30/refused=20/wrong=0.
  wrong_ids == []. exit_criterion.passed: false → true.
  Written deterministically by the canonical runner (write_report /
  json.dumps sort_keys=True).

- docs/sessions/gsm8k-train-proxy-rebaseline-2026-06-20.md: new audit
  note documenting why #846's report update was unauthorized, why #847
  restored the pin, and why this PR is the explicit authorization
  boundary for the committed rebaseline.

- HANDOFF-gpt55-2026-06-20.md: small factual note appended to the
  'Latest continuity pointer' section recording this rebaseline status.

Authorization chain:
  ADR-0126 (exit criterion) →
  #846 kernel changes (produce 30/20/0) →
  #847 reconciliation (restores pin, delegates to this PR) →
  this PR (explicit rebaseline authorization)

Non-goals: no runtime, serving, teaching, capability, or kernel change.
No quantity-entity work. No new eval artifacts. No teaching proposals.
2026-06-20 19:54:21 -07:00
Shay
b6d422834b
reconcile: restore eval proxy and remove unauthorized teaching proposal from #846 (#847)
- Restore evals/gsm8k_math/train_sample/v1/report.json to pre-#846 pin (6/44/0)
  The 30/20/0 committed in #846 was generated eval output, not a ratified rebaseline.
  Historical pin is required until a dedicated rebaseline PR is explicitly authorized.

- Delete teaching/proposals/comprehension_failures/34ce9254...json
  Newly added in #846 without authorization. File did not exist in first parent.
  HANDOFF claimed teaching paths were untouched — contradicted by the actual diff.
  Proposal must go through the reviewed teaching lifecycle, not committed PRs.

- Add docs/sessions/pr846-reconciliation-audit-2026-06-20.md
  Full audit note: what #846 was expected vs. what merged, authorization analysis,
  restoration rationale, what was preserved, remaining risk, next correct step.

Tests kept from #846:
- tests/test_problem_frame_builder.py (lint fix: _frame_names -> direct accessor)
- tests/test_problem_frame_skeleton.py (unused ProblemFrame import removed)
Both are valid narrow fixes unrelated to the unauthorized artifacts.

Forbidden paths not touched: algebra, field, vault, recall, identity, policy,
packs, generate/derivation, generate/math_candidate_graph.py, runtime/serving.
2026-06-20 19:40:12 -07:00
Shay
a145b7c3d6
feat(kernel): implement ProblemFrame proportional-change closure (#846)
* chore(kernel): update adequacy report, fix lint warnings, and record failure proposal

* chore(ci): refresh PR checks

* chore(ci): remove PR check refresh marker
2026-06-20 19:19:07 -07:00
Shay
ad0bae2948
docs(kernel): authorize quantity-entity foundational implementation slice (#845) 2026-06-20 17:15:02 -07:00
Shay
a266324eea
refactor(kernel): fence legacy assessment-backed proposal adapter (#844)
* test(kernel): reject migrated proposal adapter paths

* refactor(kernel): fence legacy assessment-backed proposal adapter
2026-06-20 16:53:21 -07:00
Shay
2802562da8
test(kernel): lock proposal-first construction seam invariants (#843) 2026-06-20 16:23:25 -07:00
Shay
8e89562f6d
feat(kernel): route percent-partition through proposal-first seam (#842) 2026-06-20 16:00:35 -07:00
Shay
955fec3bc3
feat(kernel): route proportional-decrease through proposal-first seam (#841) 2026-06-20 15:37:40 -07:00
Shay
168c9f26ac
feat(kernel): add foundational family registry schema (#840) 2026-06-20 15:01:27 -07:00
Shay
5cd377b1b8
docs(substrate): add foundational family specification appendices (#839)
* docs(substrate): add foundational family specification appendices

* docs(substrate): clarify family spec capability wording

* chore: retrigger required checks
2026-06-20 13:49:29 -07:00
Shay
f4a2a2925b
docs(decisions): propose ADR-0224 foundational substrate readiness map (#838) 2026-06-20 12:34:31 -07:00