Crate sim_lib_world 

Loadable read-only world projection and explanation product.

The product receives already observed semantic facts from its caller. It can project, compare, and explain those facts, but has no observation, process, network, clock, random, mutation, or proof-execution port.

Structs

WorldCommandLib

Loadable read-only sim world command library.

WorldProduct

Pure read-only product for semantic projection, diff, and explanation.

WorldProjection

A checked projection together with its stable SIM record.

Enums

WorldError

Product-level construction or projection failure.

Constants

DISCLOSURE_CONCLUSION

Public-release conclusion which consumes the disclosure policy.

DISCLOSURE_FACT

Audit-derived disclosure-policy fact used by the bundled reference world.

SOURCE_CONCLUSION

Source-only conclusion used to prove projection-scoped invalidation.

SOURCE_FACT

Semantic source fact used by the bundled reference world.

WORLD_VERB

CLI verb contributed by this loaded library.