Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
NetDevAutomate wants to merge 61 commits into
base: main
Choose a base branch
from
Draft

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
61 commits
Select commit Hold shift + click to select a range
d683151
docs(openspec): propose sessionweaver phase 2 retrofit
NetDevAutomate Sep 7, 2026
b01dc8d
docs(openspec): apply design-review minors to the phase 2 retrofit ch…
NetDevAutomate Sep 7, 2026
348dd6d
feat(ontology): add tier-1 ontology (migration v48), export refresh, …
NetDevAutomate Sep 7, 2026
40da8e5
fix(memory): fail closed with one structured diagnostic on unconfigur…
NetDevAutomate Sep 7, 2026
f9c2336
docs(ontology): document the derived, never-synced tier-1 ontology
NetDevAutomate Sep 7, 2026
92a5625
docs(openspec): check off B2 tasks 2.1-2.3, note 2.4's split
NetDevAutomate Sep 7, 2026
8f347b2
merge: B1 fresh-install scope (independently reviewed, APPROVE)
NetDevAutomate Sep 7, 2026
a326c31
test(memory): make the virgin-HOME study test independent of installe…
NetDevAutomate Sep 7, 2026
5f4871c
fix(ontology): address review round 1
NetDevAutomate Sep 8, 2026
6938f4b
test(sync): make backup failure deterministic
NetDevAutomate Sep 8, 2026
a6e78d3
test(sync): cover remote backup command failure
NetDevAutomate Sep 8, 2026
98b58f7
merge: integrate B2 ontology migration
NetDevAutomate Sep 8, 2026
d383f3f
feat(context): install the concept sidecar as migration v49
NetDevAutomate Sep 8, 2026
e356089
feat(context): lift concept lifecycle, wind-down, OKF import and proj…
NetDevAutomate Sep 8, 2026
30d6bce
feat(context): replicate concept events under the frozen standing order
NetDevAutomate Sep 8, 2026
cf2abf8
feat(memory): add winddown/concept CLI verbs and the memory_winddown …
NetDevAutomate Sep 8, 2026
74e5db4
docs(context): document concept memory; attach the legacy OKF import …
NetDevAutomate Sep 8, 2026
08adfbb
docs(openspec): check off B3 tasks 3.1-3.5 and attach the import evid…
NetDevAutomate Sep 8, 2026
e1560f2
test(context): deselect live markers in package-scoped pytest runs
NetDevAutomate Sep 8, 2026
790eff3
test(context): pin the retained v49 receipt to the shipped migration
NetDevAutomate Sep 8, 2026
f7818a9
merge: integrate B3 concept lifecycle
NetDevAutomate Sep 8, 2026
3600210
test(mcp): pin pre-planner session_search output
NetDevAutomate Sep 8, 2026
fb33e2c
feat(mcp): add shared AND-to-OR query planner
NetDevAutomate Sep 8, 2026
d573133
feat(mcp): add contract-frozen memory recall
NetDevAutomate Sep 8, 2026
48ce439
feat(install): register StudyLoop MCP servers
NetDevAutomate Sep 8, 2026
99eb915
fix(install): preserve unrelated MCP entry bytes
NetDevAutomate Sep 8, 2026
7f73c11
test(memory): record B4 recall acceptance
NetDevAutomate Sep 8, 2026
4fe2e4c
fix(mcp): preserve legacy session search syntax
NetDevAutomate Sep 8, 2026
7068ac4
fix(install): repair arbitrary MCP config shapes
NetDevAutomate Sep 8, 2026
77f9ab1
fix(install): preserve TOML multiline strings
NetDevAutomate Sep 8, 2026
031dbab
merge: integrate B4 recall surfaces
NetDevAutomate Sep 8, 2026
a98331a
docs(proof): pre-register the validation ruler for the knowledge-laye…
NetDevAutomate Sep 9, 2026
d83b3b4
proof(stage-2): gold set v2 (DEV), receipts, and the baseline harness
NetDevAutomate Sep 10, 2026
605a2d1
docs(adr): ADR-0011 claim-centric learning memory; ruler amendment 00…
NetDevAutomate Sep 10, 2026
753dca1
docs(proof): archify specs for ADR-0011 — architecture and hop-by-hop…
NetDevAutomate Sep 10, 2026
e334a7d
feat(learning-memory): Stage B — canonical event store with provenanc…
NetDevAutomate Sep 10, 2026
b8628fd
docs(adr): ADR-0011 v1.1 — council-revised after two-family adversari…
NetDevAutomate Sep 10, 2026
ecb4288
feat(learning-memory): Stage B.1 — store hardened to ADR-0011 v1.1 (s…
NetDevAutomate Sep 10, 2026
430986d
feat(learning-memory): Stage C.1 — archive adapter; whole corpus inge…
NetDevAutomate Sep 10, 2026
690a37d
proof(stage-d): pre-declare fusion-spec v1 and the B1_clean arm befor…
NetDevAutomate Sep 10, 2026
ca55c65
proof(stage-d): DEV look 1 — B1_clean established lift +0.184 over th…
NetDevAutomate Sep 10, 2026
f5c1597
proof(stage-d): void look 1 on council finding; re-certify gold prove…
NetDevAutomate Sep 10, 2026
543edf4
proof(stage-d): DEV look 2 — planner control apportions the lift; att…
NetDevAutomate Sep 10, 2026
2c8fba7
proof(stage-d): repair receipt chain; control arm made exact; council…
NetDevAutomate Sep 10, 2026
86deee4
feat(learning-memory): Stage D — deterministic derivation, hand-label…
NetDevAutomate Sep 10, 2026
736c558
proof(stage-e): pre-register the claims writer; pin the G2 PoC set as…
NetDevAutomate Sep 10, 2026
b90eb47
proof(stage-e): claims-writer harness — packet, render, strict ingest…
NetDevAutomate Sep 10, 2026
0661225
proof(stage-e): G2 pilot receipt — 162 claims, 0 unbound writes; yiel…
NetDevAutomate Sep 10, 2026
286b3b7
proof(stage-e): pre-register writer-v2 — the G2 writer investigation,…
NetDevAutomate Sep 10, 2026
0dae50c
proof(stage-e): audit instrument fault on the v2 re-audit — record, v…
NetDevAutomate Sep 10, 2026
b8b7f54
proof(stage-e): auditor is bimodal — same model, same brief, same ite…
NetDevAutomate Sep 10, 2026
87293b0
proof(stage-e): E.1c receipt — writer-v2 better than v1 on every seat…
NetDevAutomate Sep 10, 2026
7f50fa8
proof(stage-e): amendment 004 — run the G2 population with writer-v2 …
NetDevAutomate Sep 10, 2026
94a11c1
proof(stage-f): fusion-spec v2 — recall_claims and B1_clean_plus_clai…
NetDevAutomate Sep 10, 2026
c220ad7
proof(stage-e): E.2 population receipt — 1,227 writer-v2 claims, 0 un…
NetDevAutomate Sep 10, 2026
ceda151
proof(stage-f): DEV look 3 — fusing claims hurts recall (−0.140 vs B1…
NetDevAutomate Sep 10, 2026
87e887e
proof(g1): the one SEALED look — B1_clean +0.168 over the shipped pat…
NetDevAutomate Sep 10, 2026
cab0bec
proof(council): Stage F / G1 review — gpt REJECT, deepseek APPROVE-W-…
NetDevAutomate Sep 10, 2026
807c258
adr(0011): record the measured outcome — not established; the planner…
NetDevAutomate Sep 10, 2026
5756828
docs(diagrams): claim-centric learning memory — as measured (archify,…
NetDevAutomate Sep 10, 2026
9a3eb5e
proof(census): how paraphrased are real learner questions? 7% vocabul…
NetDevAutomate Sep 10, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -514,6 +514,17 @@ docs/architecture/*
# Un-ignored 2026-09 — second-brain projection contract (R-84), linked from ADR-0010
# and docs/second-brain.md; tested against by tests/test_second_brain_*.py.
!docs/architecture/second-brain.md
# Un-ignored 2026-09-10 — knowledge-layer proof programme: the pre-registered
# validation ruler (frozen by this commit) and every gate receipt. Delivered archify
# HTML stays ignored (500 KB hook; reproducible from the tracked spec).
!docs/architecture/session-memory/
docs/architecture/session-memory/*
!docs/architecture/session-memory/README.md
!docs/architecture/session-memory/GLOSSARY.md
!docs/architecture/session-memory/validation-ruler.md
!docs/architecture/session-memory/*.architecture.json
!docs/architecture/session-memory/*.dataflow.json
!docs/architecture/session-memory/receipts/

# Demo recordings (large, local-only)
demos/
Expand Down
Loading