World
Scope, time unit and supported regimes
WorldSpec 0.1 · Public draft
A package contract for repairable machine models.
WorldSpec keeps the system boundary, predictive model, repair lineage and evaluation record inspectable before a version runs.
Definition
A machine self-model represents a bounded operating state, predicts transitions under candidate actions and exposes when its prediction is no longer trustworthy.
Package anatomy
Nine declarations. One traceable model.
State
Typed machine observations
Actions
Available controls and ranges
Goals
Outcomes the planner can rank
Constraints
Hard and advisory operating limits
Model
Artifacts and transition interface
Repair
Affected mechanism, bounds and parent version
Evaluation
Cases, metrics, verifier decision and limitations
Lineage
Sources, versions and immutable digest
world.json
Readable by people. Enforced by the runtime.
The manifest binds scope, artifacts, evaluation and governance to one content digest.
{
"spec_version": "a08.world/v0.1",
"metadata": {
"package_id": "a08/cnc-spindle-thermal",
"version": "0.1.0"
},
"world": {
"state": "schemas/state.schema.json",
"actions": "schemas/action.schema.json",
"constraints": ["bearing_temperature"]
},
"runtime": {
"capabilities": ["predict", "detect", "repair", "verify", "route"]
}
}Versioned
A material change creates a new package digest.
Bounded
Unsupported states and conditions remain explicit.
Verified
A model cannot authorize its own behavioral update.
Advisory
Execution authority stays outside the model package.