proof: knowledge-layer validation programme (stacked on #18) - #19

Closed

NetDevAutomate wants to merge 69 commits into

mainfrom

feat/knowledge-proof

Commits on Sep 7, 2026

docs(openspec): propose sessionweaver phase 2 retrofit

NetDevAutomate
and
claude
committed
d683151
docs(openspec): apply design-review minors to the phase 2 retrofit change

NetDevAutomate
and
claude
committed
b01dc8d
feat(ontology): add tier-1 ontology (migration v48), export refresh, and diagnostics

NetDevAutomate
and
claude
committed
348dd6d
fix(memory): fail closed with one structured diagnostic on unconfigured scope

NetDevAutomate
and
claude
committed
40da8e5
docs(ontology): document the derived, never-synced tier-1 ontology

NetDevAutomate
and
claude
committed
f9c2336
docs(openspec): check off B2 tasks 2.1-2.3, note 2.4's split

NetDevAutomate
and
claude
committed
92a5625
merge: B1 fresh-install scope (independently reviewed, APPROVE)

NetDevAutomate
and
claude
committed
8f347b2
test(memory): make the virgin-HOME study test independent of installed agents

NetDevAutomate
and
claude
committed
a326c31

Commits on Sep 8, 2026

fix(ontology): address review round 1
NetDevAutomate
committed
5f4871c
test(sync): make backup failure deterministic
NetDevAutomate
committed
6938f4b
test(sync): cover remote backup command failure
NetDevAutomate
committed
a6e78d3
merge: integrate B2 ontology migration
NetDevAutomate
committed
98b58f7
feat(context): install the concept sidecar as migration v49

NetDevAutomate
and
claude
committed
d383f3f
feat(context): lift concept lifecycle, wind-down, OKF import and projection

NetDevAutomate
and
claude
committed
e356089
feat(context): replicate concept events under the frozen standing order

NetDevAutomate
and
claude
committed
30d6bce
feat(memory): add winddown/concept CLI verbs and the memory_winddown MCP tool

NetDevAutomate
and
claude
committed
cf2abf8
docs(context): document concept memory; attach the legacy OKF import evidence

NetDevAutomate
and
claude
committed
74e5db4
docs(openspec): check off B3 tasks 3.1-3.5 and attach the import evidence

NetDevAutomate
and
claude
committed
08adfbb
test(context): deselect live markers in package-scoped pytest runs

NetDevAutomate
and
Kiro
committed
e1560f2
test(context): pin the retained v49 receipt to the shipped migration

NetDevAutomate
and
Kiro
committed
790eff3
merge: integrate B3 concept lifecycle
NetDevAutomate
committed
f7818a9
test(mcp): pin pre-planner session_search output
NetDevAutomate
committed
3600210
feat(mcp): add shared AND-to-OR query planner
NetDevAutomate
committed
fb33e2c
feat(mcp): add contract-frozen memory recall
NetDevAutomate
committed
d573133
feat(install): register StudyLoop MCP servers
NetDevAutomate
committed
48ce439
fix(install): preserve unrelated MCP entry bytes
NetDevAutomate
committed
99eb915
test(memory): record B4 recall acceptance
NetDevAutomate
committed
7f73c11
fix(mcp): preserve legacy session search syntax
NetDevAutomate
committed
4fe2e4c
fix(install): repair arbitrary MCP config shapes
NetDevAutomate
committed
7068ac4
fix(install): preserve TOML multiline strings
NetDevAutomate
committed
77f9ab1
merge: integrate B4 recall surfaces
NetDevAutomate
committed
031dbab

Commits on Sep 9, 2026

docs(proof): pre-register the validation ruler for the knowledge-layer programme
NetDevAutomate
committed
a98331a

Commits on Sep 10, 2026