Results and readiness of research materials
A status applies to a specific artefact and verification scope, not to all of ObliNet.
Status assignment rule
Assign a status only with an available artefact identifying version, scope and verification output. Statuses do not form an automatic ladder: formal verification and practical experiments answer different questions. A feature description is not evidence of implementation.
What is not claimed
For the new architecture, this edition assigns none of the statuses “Formally verified”, “Tested in a synthetic model” or “Tested in practice”: the corresponding reproducible packages are not provided. This does not assert the absence of all earlier work; inclusion requires a separate audit.
Future result record
A record should connect hypothesis, protocol, specification and implementation versions, scenarios or sample, data, execution, metrics, uncertainty and limitations. Failed runs and protocol deviations are retained. The browser demonstrations below establish only that fixed scenarios run, not general effectiveness.
| Status | Required basis |
|---|---|
| Scientific hypothesis | An explicit testable proposition; effect not established. |
| Draft specification | Definitions and requirements with explicit gaps. |
| Implemented mechanism | Available code and a reproducible working scenario; scope limited to that scenario. |
| Formally verified | Specification version, properties, assumptions, bounds and reproducible tool output. |
| Tested in a synthetic model | Model and protocol versions, scenarios, data, runs and uncertainty analysis. |
| Tested in practice | Context, protocol, data, comparison, limits and a pilot report. |
| Material | Assigned status | Artifact and scope |
|---|---|---|
| Hypothesis | Scientific hypothesis | Scientific hypothesis |
| Models and protocols | Draft specification | Synthetic organisational model · Formal model · Comparative experimental protocols |
| Fixed revision scenario | Implemented mechanism | /assets/coordination-work.js |
| Purchasing calculators | Implemented mechanism | Calculators /assets/purchasing.js /assets/cooperation-demo.js |