itch.io

                                                         https://stealtheyellc.itch.io/pne

Offline verification of non-existence claims using deterministic evidence.

What it does

• Accepts a declared scope
• Accepts deterministic evidence
• Evaluates non-existence claims
• Produces a verifiable result
• Works fully offline

Output semantics

• Valid — non-existence is provably true within the declared scope
• Invalid — existence is provably demonstrated within the scope
• OutOfScope — evidence is insufficient or does not match the scope

OutOfScope is a correct outcome, not an error.

What it does NOT do

• No monitoring
• No inference or heuristics
• No learning
• No fallback assumptions
• No probabilistic reasoning
• No cloud services
• No telemetry
• No background processes

PNE never treats “nothing found” as proof.

                                                      https://stealtheyellc.itch.io/pae

PAE is a command-line primitive that lets you make and verify authentication claims using deterministic evidence.

What it does

• Accepts a declared boundary and event-time interval
• Evaluates authentication claims:
  • Presence
  • Absence
  • NoFallback
• Uses deterministic evidence
• Produces and verifies an Authentication Event Record (AER)
• Works fully offline

Output semantics

• Valid — claim is provably true
• Invalid — claim is provably false
• OutOfScope — evidence is insufficient or malformed

OutOfScope is a correct outcome, not an error.

What it does NOT do

• No monitoring
• No agents
• No inference
• No learning
• No cloud services
• No telemetry