Portable Proof Verifier
JavaScript / Python / Go independently reconstruct the declared semantic projection.
Explore →Evidence ceiling E3Proof boundary
SITE 65 · NON-AMPLIFYING REALITY KERNEL
Delegation may only reduce consequence authority.
Site 64 made Reality Commit non-bearer and single-use. Site 65 makes derived consequence authority monotonic: it may narrow executor, effect, resource, time, use and delegation scope, but it may never widen them or change the governing outcome, semantics, graph or policy.
Fourteen systemic depth mechanisms
Depth that compounds across every Finality company.
Each mechanism strengthens the shared parent substrate instead of creating another constitutional kernel.
Continuous Trust State
Key, authority, runtime, transparency, calibration and epoch changes can REOPEN dependent outcomes.
Explore →Multi-Verifier Attestation
Multiple independently rooted appraisal results bind to the same obligation, graph and evidence root.
Explore →Authority Routing
Context resolves externally accepted authority paths and refuses ambiguous routes.
Explore →Uncertainty-Aware Finality
Physical measurements crossing a decision boundary stay INDETERMINATE.
Explore →Systemic REOPEN
3 downstream outcomes in the current reference dependency chain are identified from one foundational trigger.
Explore →Search Counterexamples
Mutation sequences are searched compositionally rather than only enumerated one at a time.
Explore →Portfolio Choke Points
12 company-specific primitives share one parent Reality substrate.
Explore →Domain Reality Libraries
12 machine-readable semantic libraries specialize the shared kernel without forking it.
Explore →Composite Finality
8 cross-domain profiles compose multiple vertical obligations into higher-order outcomes.
Explore →Global Outcome Resolver
Signed, expiring, independently rooted resolver views detect stale state and forks instead of silently selecting one.
Explore →Proof Debt Scheduler
Consequential unresolved obligations are prioritized without changing their truth state.
Explore →Semantic Compatibility
Protocol evolution cannot silently change the semantic obligation.
Explore →Private Authority Partitions
Institutions can federate signed authority commitments without exposing raw private graph nodes.
Explore →Constitutional boundary
Finality represents authority and uncertainty; it does not invent either.
Portable verification does not mean a proof-assistant theorem has been completed, and a seller-authored authority route does not establish jurisdictional acceptance.
- DEPTH VERSION
- 0.19.0
- PORTABLE IMPLEMENTATIONS
- 3
- REFERENCE PROOF
- PASS
- SYSTEMIC REOPEN
- PASS
- PHYSICAL UNCERTAINTY
- INDETERMINATE
- EVIDENCE CEILING
- E3_SELLER_CONTROLLED
Site 62 · verified fabric
Seven additional depth mechanisms over the same constitutional kernel.
These mechanisms shrink the trusted surface and make cross-domain conclusions more independently checkable rather than adding another vertical brand.
Semantic Proof Algebra
Proof objects compose only when child outcome bindings remain valid.
Explore →Trust + Transparency Stream
Hash-chained trust events plus Merkle inclusion proofs make trust changes auditable.
Explore →Governed Authority
Authority assertions and governing acceptance are separate objects; self-promotion fails.
Explore →Causal Finality
State truth cannot be upgraded to causal attribution without stronger evidence.
Explore →Uncertainty Composition
Physical uncertainty propagates across composed measurements before threshold decisions.
Explore →Systemic Proof Graph
Immutable dependency snapshots carry portable REOPEN witnesses.
Explore →Technology Value Gate
Engineering depth can increase defensibility, but monetary value still requires defensible economic evidence.
Explore →Site 63 · trusted microkernel
Shrink the trusted surface and move Reality Commit onto the effect boundary.
A downstream system receives a portable Reality Capsule rather than a raw success boolean. Rollback, expiry, open assumptions, missing proof bindings or REOPEN deny the effect.
Reality Capsule
Binds semantic hash, authority graph, evidence root, execution attestation, runtime measurement, proof, assumptions and lineage.
Explore →Trusted Microkernel
A deliberately small verification contract separated from the rest of the Finality application surface.
Explore →Consequence Guard
Typed payment/title/collateral/insurance/capex/deployment/robotic effects consume a current valid FINAL capsule or fail closed.
Explore →Portable WASI Verifier
A Go standard-library verifier is compiled to WASI/WebAssembly as a reference independent execution target.
Explore →Site 64 · consequence capability runtime
Turn FINAL into a non-bearer, single-use capability instead of a reusable boolean.
A capability is issuer-signed and bound to the presenter key, executor, effect request, capsule, semantic obligation, authority graph, policy, nonce and expiry. A deterministic Reality VM then evaluates the narrow effect policy; an append-only effect ledger detects double consumption.
Consequence Capability
Proof-of-possession-style consequence credential bound to one exact Reality state and one downstream effect.
Explore →Reality VM
A tiny deterministic no-ambient-I/O policy machine for effect gating.
Explore →Effect Ledger
Hash-chained executor receipts make double consumption and rollback observable.
Explore →Bypass Boundary
Bypass resistance exists only when an external executor is configured to reject effects without a valid capability.
Explore →Site 65 · non-amplifying kernel
Delegated consequence power can only get smaller.
The exact outcome/capsule/semantic/graph/policy identity is immutable across delegation. Executor set, effect set, resource ceilings, validity window, use count and delegation depth can only narrow. The separately hash-addressed TCB lets an independent reviewer focus on the code that actually gates effects.
Non-Amplification
Derived authority is rejected if any dimension becomes broader than the parent.
Explore →Bounded Kernel Model
512/512 declared effect-state combinations pass with zero violations.
Explore →Trusted Computing Base
6 trusted files / 206 nonblank noncomment lines in the declared source TCB.
Explore →Independent Verifier
JavaScript and independent Go attenuation logic agree; a WASI artifact is shipped for portable checking.
Explore →