Claim Wall

live on the Apodix appchain connecting… claims · compositions

A playable instance of the VPSF Vauban Claim Algebra: assert claims (the sextuplet) and compose them with ∧ → ⊕ ▷ ¬. The named invariants (C-1 subject identity, D-2 mask attenuation, R-1 monotone restriction, ¬ sticky) are enforced structurally on-chain.

your session asserter: generating…

Assert a claim

Subject (felt) — the actor anchor Predicate (felt) — the asserted statement Evidence (felt hash — structural only, not verified) RevelationMask — disclosed fields

valid_from

valid_to

Signed in-browser by your own session account (auto-funded devnet, no value). You are the on-chain asserter.

Compose

Operator

Claim A id

Claim B id

result mask = maskA & maskB (C-4 intersection). Subjects must match or it reverts C-1 subject mismatch.

From claim id (must be one you asserted) To subject (felt) Delegated mask (must be a subset of the parent's)

Attenuation-only: a bit the parent lacks reverts mask escalates parent.

Claim ids (comma-separated, ≥2)

result subject = 0 (multi-issuer). Structural n-of-n; the m-of-n threshold (E4) and issuer-diversity (G-1) are documented gaps.

Claim id New mask (must narrow — a subset of the current mask)

Monotone: a wider mask reverts restrict must narrow.

On-chain registry

Claims

Compositions

Contract on testnet.apodix.vauban.tech (chain APX_TEST, spec 0.10). Reads are keyless; each browser session gets its own auto-funded devnet account (its key stays in this browser) and signs its own writes, so you are your own on-chain asserter. Evidence is a structural felt hash only — this POC enforces the algebraic structure (subject identity, mask attenuation, monotone restriction, sticky revocation), NOT any cryptographic witness. Not mainnet, no value. Source: apps/claim-wall/.

Assert a claim

Compose

On-chain registry refresh

On-chain registry