Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 2 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,8 @@ jobs:
- run: python -m mnel ledger verify build/demo/evidence.jsonl
- run: python -m mnel provider-study-reference --workspace build/provider-study-reference
- run: python -m mnel ledger verify build/provider-study-reference/provider-portfolio-evidence.jsonl
- run: python -m mnel family-integration-reference --workspace build/family-integration-reference
- run: python -m mnel ledger verify build/family-integration-reference/family-integration-evidence.jsonl
- run: git diff --check

rust-provider-runtime:
Expand Down
9 changes: 9 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,15 @@

## 0.4.0a0 — unreleased

- Add a strict MNCS Forge Provider Protocol 0.1 adapter and project-scoped Forge config;
capabilities and analysis responses are bounded, one-line, diagnostic-only records.
- Add pinned MNCS-family compatibility snapshots and a `family-integration-reference`
path using the public Fabric service, typed execution receipts, MNEL normalization,
inert Commons interchange, and RAVEL 0.6 proposal-context fixtures.
- Add a bounded Rust parser/reference inference surface for the existing transition-frequency
artifact, with a checked-in fixture loaded by both Python and Rust; ABI v1 export remains
explicitly open because it lacks portable artifact initialization.

- Complete bounded deterministic skeptic discovery for verifier gaps, disagreements,
abstentions, missing counterfactuals, learned-provider disagreement, and verifier
health holes. Candidates remain proposal-only and carry visible evidence lineage.
Expand Down
99 changes: 99 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

7 changes: 7 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,13 @@ conventional neural-weight training.
> unattended model execution, distributed scheduling, protected final custody, formal
> MNCS/MNCDS conformance, or automatic RAVEL promotion.

The repository also contains a dependency-aware MNCS-family integration reference:
`mnel family-integration-reference` exposes a Forge Provider Protocol 0.1 adapter, validates
pinned Forge/Fabric/Commons/RAVEL/Language compatibility shapes, executes a bounded local
Fabric job through its public service, consumes the experimental MNCS receipt, and records
the result as diagnostic evidence. Live sibling availability is reported explicitly; no
external checkout is required for ordinary MNEL CI.

## Core rule

**Investigators and learned providers may propose knowledge. They may not declare it true.**
Expand Down
14 changes: 14 additions & 0 deletions compat/mncs-family-compatibility-0.1.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
{
"schema": "mnel-family-compatibility/0.1",
"snapshot_version": "2026-08-08",
"projects": [
{"repository": "mncs-forge-mcp", "commit": "7710ea606bd592e0be95957c96132e8732fbb955", "public_contract": {"version": "Provider Protocol 0.1", "types": ["capabilities", "analysis_request", "analysis_response"]}},
{"repository": "mncs-fabric", "commit": "fd6a1e1fe617b77402a3d40c278776dd8f159fb0", "public_contract": {"version": "mncs-fabric public service 0.1", "types": ["FabricService", "job-plan", "execution-record", "reconcile"]}},
{"repository": "machine-native-complexity-standard", "commit": "1f0a1f903379d740eeeb59fe8689aed398bfb47c", "public_contract": {"version": "execution receipt 0.1-experimental", "types": ["mncs-execution-receipt", "claim_boundary"]}},
{"repository": "MNCS-Commons", "commit": "5afff351efd3563febb7b3149d7de711d3342a44", "public_contract": {"version": "commons.mncs.dev/v0alpha1", "types": ["Observation", "Replication", "Advisory", "commons-bundle/v0alpha1"]}},
{"repository": "mncs-language", "commit": "26cd7f015cb857abe3f0601780de096e04dea7b4", "public_contract": {"version": "semantic identity boundary", "types": ["opaque semantic identity", "HIR identity"]}},
{"repository": "RAVEL", "commit": "4b7c3c5503ec6bd11a7ffb96cbb32599cd1f342c", "public_contract": {"version": "ravel-development-record/0.6-preregistration", "types": ["candidate", "development record"], "promotion_authorized": false}}
],
"authority": "diagnostic-only",
"limitations": ["Pinned shapes are compatibility evidence, not live conformance claims."]
}
7 changes: 7 additions & 0 deletions compat/ravel-development-record-0.6.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
{
"schema": "ravel-development-record/0.6-preregistration",
"candidate": {"candidate_id": "ravel-0.6-candidate-001", "parent_identity": "sha256:ravel-parent-fixture"},
"authority": {"promotion_authorized": false},
"formal_status": {"selection": "UNKNOWN", "promotion": "UNKNOWN"},
"limitations": ["pinned MNEL compatibility fixture"]
}
3 changes: 3 additions & 0 deletions crates/mnel-provider-classical/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,9 @@ description = "Deterministic Rust classical provider baseline for MNEL"
[dependencies]
mnel-provider-api = { path = "../mnel-provider-api" }
mnel-provider-sdk = { path = "../mnel-provider-sdk" }
serde = { version = "1", features = ["derive"] }
serde_json = "1"
sha2 = "0.10"

[lints]
workspace = true
Loading
Loading