TillarTechnologies

Don't trust it. Attack it, then check its work.

CageOS Lite v0.1.0 is published and signed: it runs a real fixture-only CageOS lifecycle on your machine, and a public verifier you can read decides for itself whether what the engine claimed is what actually happened. The broader tutoring experience remains under development.

Acceptance standard
Input
A visible, scoped proposal
Control
The real CageOS path
Outcome
Allow, redirect, or refuse
Verification
Evidence another person checks

CageOS Lite v0.1.0 is published, signed, and runnable.

The demonstration is no longer only planned. A signed release runs a real fixture-only CageOS lifecycle on your own machine, and a public verifier decides for itself whether what the engine claimed is what actually happened. Its centerpiece: a completely self-consistent forged evidence bundle still fails when independently observed reality contradicts it.

Release identity v0.1.0
platformlinux-x86_64, static musl
archivecageos-lite-0.1.0.tgz
sha2567a671ed54ec3337e1b65a02c9c46ec5cb2c67225931fae1d3a6e7407f256a1d9
signerCD62DA5B5F9F3E694C1D5536A182E6E145D573FB
verified58/58 checks, 8/8 adversarial gates
second hostIndependently reproduced
What this does and does not establish

Two different questions, answered separately

A valid signature proves Tillar Technologies released these exact bytes. It does not prove the software's runtime claims are true. Independent observation, performed by the public verifier against externally observable state, is what establishes whether the effect matched the claim. Neither establishes production readiness, ATO, cATO, certification, or agency approval. Publish-and-compare: this fingerprint also appears in the GitHub repository, and the two sources should agree.

From visible proposal to independently checked evidence.

The broader demonstration must expose the control path without substituting a duplicate demo rule or authored animation for execution. It is a demonstration layer on CageOS, not a separate platform or market bet.

  1. 1ProposeA visible action enters with declared scope and context.
  2. 2GovernAn actual CageOS control allows, redirects, escalates, or refuses it.
  3. 3VerifyAn evaluator receives enough evidence to check the relevant result.

Why tutoring, and what counts as proof.

The demonstration setting is chosen for understandable boundaries; the standard of proof stays with the real control path.

Why tutoring

Understandable boundaries

  • Lower scientific and operational stakes during early validation
  • Rules are understandable without specialized domain knowledge
  • Allow, redirect, escalate, and refuse outcomes are easy to compare
  • The plugin boundary can be tested before PredX depends on it

What counts as proof

The real path must decide

  • The live gate, not a duplicate demo rule, makes the decision
  • The refusal path is deliberately triggered
  • The receipt names only the process claim it supports
  • An evaluator can recompute the relevant evidence

The signed demonstration ships. The broader tutoring experience is next.

v0.1.0 demonstrates the signed, independently verifiable trust chain and a real fixture-only lifecycle. The complete CageOS Lite tutoring experience remains under development and is not presented as completed product validation.