Skip to content

Implement executable Forge diagnostic lifecycle - #6

Merged
epi13 merged 2 commits into
mainfrom
agent/forge-experiment-lifecycle-04
Aug 9, 2026
Merged

Implement executable Forge diagnostic lifecycle#6
epi13 merged 2 commits into
mainfrom
agent/forge-experiment-lifecycle-04

Conversation

@epi13

@epi13 epi13 commented Aug 9, 2026

Copy link
Copy Markdown
Owner

What changed

  • add validated compact views and shared immutable storage for transition, pair, tabular, trace, graph, and composite snapshots
  • add the bounded MNEL-side Forge lifecycle: explicit verifier declarations/registry, preconditions, proposal-bound probes, diagnostic-only witnesses, reference verifiers, registered mutations, comparison, health/quarantine, coverage, learned observation events, and omitted-question candidates
  • add mnel forge-reference as a deterministic local study path and add lifecycle/snapshot schemas and tests

Architectural boundary

This is an MNEL diagnostic reference surface, not a replacement for external MNCS Forge and it grants no evaluator, conformance, or promotion authority. Learned observations remain distinct from verifier witnesses; disagreement is preserved.

Validation

  • Python compileall and 61 unittest tests: pass
  • python -m mnel demo --workspace build/demo and ledger verify: pass
  • mnel forge-reference and its ledger verify: pass; four completed witnesses, agreement comparison, registered mutation, health/coverage, and proposal-only candidates
  • Rust fmt, Clippy, workspace tests: pass
  • provider benchmark: pass
  • Ruff and git diff --check: pass
  • Joern post-check: Rust parse succeeds with same focused empty method/call query; Python frontend unavailable in the installed Joern distribution

@epi13
epi13 marked this pull request as ready for review August 9, 2026 02:04
@epi13
epi13 merged commit 8c21656 into main Aug 9, 2026
6 of 8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant