ENGINE: 6f6aff4 FROZEN ED25519 VERIFICATION ISOLATED KERNEL DMZ 64 KB HARD BOUND

BREAK MY LA4KB

Don't trust the demo. Try to break it.

LA4KB is a deterministic epistemic-authority kernel. It evaluates whether evidence is authorized, comparable, and sufficient to alter knowledge state. Build or customize a challenge below to probe authority boundaries, scope reconciliation, quantifier enforcement, or mathematical determinism.

Security Research Notice

This page contains adversarial test cases designed for black-box evaluation of LA4KB. Challenge text may resemble attack or prompt-injection language, but it is inert test data. No LLM is present in the public runtime path; inputs are evaluated by a deterministic kernel.

Starter Challenge Presets (8 Canonical Vectors)

Claim Proposition (Target to Evaluate) PROPOSITION

Subject

Predicate

Quantifier

Operator

Range Low (s)

Range High (s)

Scope Dimension (Key: Value)

Software Version Scope

Submitted Evidence Items (Max 10)

Public Epistemic Scoreboard TRUTHFUL COUNTERS

—

Challenges Evaluated

Confirmed Kernel Defects

Unhandled Crashes

Determinism Divergences

6f6aff4

Active Engine Build

Think you broke LA4KB?

If you found an authorized contradictory evidence set that the kernel failed to mark CONTRADICTED, or generated a determinism divergence across identical inputs, export your cryptographic reproducibility bundle above and submit it directly to the repository or security review team.

Verification Public Key (Ed25519): 73e9aac85f26c0f86fa3fdee26c0e2ba192bb5cdef53301db680a111b8678937