Before loading weights, make the model contract inspectable: source, dtype, context, and parameter count belong in a manifest.
Required APIdef model_manifest(name, dtype, context, parameters):
return manifestThink through the mechanism first if you want the extra reasoning step. It never blocks the editor.
model_manifest('tiny', 'fp32', 128, 1000)loading is reproducible only when metadata is explicit
model_manifest('toy', 'int8', 8, 12)the manifest supports quantized toy models too
2 hidden edge tests run after the visible contract passes.
Run Tests to see the contract verdicts here.