Trust / Literal Law

Literal Law

Normative Receiz product law and the authority it binds.

2 exact recordsSource + SHA-256Failure + recovery
01

normative-doctrine

Literal product law

Receiz product law is literal statute; code and tests yield when they conflict with it.

Exact source
docs/literal-product-law.mdSHA-2565548a8f32bbdf35f2ba5e4545cd31ef6e2842d2c3127a3e39e10e6eb6bc5efa1
Implemented primitive
proof-native artifact system
Source of truth
Receiz law → sealed artifact truth → deterministic proof object → verified durable/local/register truth → authenticated runtime views.
Guarantee
Implemented primitives are named directly, stronger truth remains above weaker projections, and a contradiction is release-blocking.
Executable check
pnpm test:primitive-binding-contract && pnpm test:repo-only-reasoning-boundary
Evidence output
A digest-matched normative source whose exact language governs implementation and review.
Failure meaning
The implementation, language, or authority order contradicts literal product law.
Recovery / escalation
Stop release, identify the exact violating path, restore the stronger primitive, and strengthen the regression contract.
Offline behavior
The law remains binding without network access.
External boundary
External conventions may supply mechanics only; they do not define Receiz product truth.
What this record does not prove
This record does not prove that every production route currently conforms; executable evidence is required.
02

normative-doctrine

Receiz reasoning kernel

Repository-local reasoning binds product decisions to implemented Receiz truth.

Exact source
docs/receiz-reasoning-kernel.mdSHA-256bbe2eeb58ef1487a84f3e128eaad16215c8aceecf30f3cdc5a68fa6316a844bd
Implemented primitive
authority reasoning
Source of truth
Receiz law, implemented primitives, sealed artifacts, and observed repository evidence.
Guarantee
Product ontology is decided inside the Receiz authority boundary.
Executable check
pnpm test:repo-only-reasoning-boundary
Evidence output
A digest-matched normative source whose exact language governs implementation and review.
Failure meaning
A weaker external convention has been allowed to define Receiz truth.
Recovery / escalation
Remove the external authority claim and bind the decision to exact repository law and implementation.
Offline behavior
Repository law remains inspectable and decisive offline.
External boundary
External conventions may supply mechanics only; they do not define Receiz product truth.
What this record does not prove
This record does not prove an external system is compatible with Receiz.