Typed ProblemSpecs (Plan 2) + learning-loops run ledger L1 (Plan 3) - #212

Merged

aarontrowbridge merged 17 commits into

mainfrom

wip/typed-specs-amicode

Jul 25, 2026

Commits on Jul 24, 2026

feat(schema): register problemspec kind (vendored from Piccolo/Piccolissimo)
Aaron Trowbridge
and
claude
committed
448efd9
test(schema): problemspec valid/invalid fixtures + dual-validator conformance
Aaron Trowbridge
and
claude
committed
048f22d
feat(schema): TS canonical-JSON + structure/problem hashes (cross-language)
Aaron Trowbridge
and
claude
committed
16bcb82
test(schema): AC6 drift gate covers problemspec (conditional schema)
Aaron Trowbridge
and
claude
committed
1c3dc62
feat(schema): solvespec v4 adds problem_spec (xor script_path)
Aaron Trowbridge
and
claude
committed
db55fbb
feat(amico-run): route solvespec.problem_spec to Piccolo.Specs.solve_spec
Aaron Trowbridge
and
claude
committed
11f4f2e
ci(schema): problemspec roundtrip + cross-repo vendoring-drift gate
Aaron Trowbridge
and
claude
committed
aef8544
feat(ledger): append-only single-writer JSONL core + record types
Aaron Trowbridge
and
claude
committed
2687c96
feat(schema): ledger-record schema + validate-on-append
Aaron Trowbridge
and
claude
committed
390a89c
feat(ledger): query aggregation with verified-join + confidence
Aaron Trowbridge
and
claude
committed
3515265
feat(amico-run): ledger spine verb (append + query)
Aaron Trowbridge
and
claude
committed
b810295
feat(amico-run): emit solve ledger stanza on run completion
Aaron Trowbridge
and
claude
committed
6798f53
feat(recommend): ledger-backed query + provenance + structure_hash stamping (L-A)
Aaron Trowbridge
and
claude
committed
3bda77e
feat(ledger): extension-side attempt_error / fallback / verdict stanzas
Aaron Trowbridge
and
claude
committed
b16fc9f
docs(ledger): confidence rubric ledger row + doctrine
Aaron Trowbridge
and
claude
committed
0e3aacc
test(ledger): L1 end-to-end acceptance + CI wiring
Aaron Trowbridge
and
claude
committed
20932c8
fix(ledger): key L-A retrieval on goal, not structure_hash alone
aarontrowbridge
committed
e164855

Navigation Menu

Uh oh!

Typed ProblemSpecs (Plan 2) + learning-loops run ledger L1 (Plan 3) - #212

Typed ProblemSpecs (Plan 2) + learning-loops run ledger L1 (Plan 3)#212
aarontrowbridge merged 17 commits into
mainfrom
wip/typed-specs-amicode

Commits on Jul 24, 2026

feat(schema): register problemspec kind (vendored from Piccolo/Piccolissimo)

test(schema): problemspec valid/invalid fixtures + dual-validator conformance

feat(schema): TS canonical-JSON + structure/problem hashes (cross-language)

test(schema): AC6 drift gate covers problemspec (conditional schema)

feat(schema): solvespec v4 adds problem_spec (xor script_path)

feat(amico-run): route solvespec.problem_spec to Piccolo.Specs.solve_spec

ci(schema): problemspec roundtrip + cross-repo vendoring-drift gate

feat(ledger): append-only single-writer JSONL core + record types

feat(schema): ledger-record schema + validate-on-append

feat(ledger): query aggregation with verified-join + confidence

feat(amico-run): ledger spine verb (append + query)

feat(amico-run): emit solve ledger stanza on run completion

feat(recommend): ledger-backed query + provenance + structure_hash stamping (L-A)

feat(ledger): extension-side attempt_error / fallback / verdict stanzas

docs(ledger): confidence rubric ledger row + doctrine

test(ledger): L1 end-to-end acceptance + CI wiring

fix(ledger): key L-A retrieval on goal, not structure_hash alone