FLAGSHIP FOUNDING SHOWCASE
ONUMA / RE1 → Changed-Context Revalidation → U.S. 19/794,767 → PAE
OPEN FOUNDING SHOWCASE
TA-14 AUTHORITYPUBLIC TECHNICAL SHOWROOMCONTROLLED RUNTIME TESTR1 · FROZEN EXAMINATION RECORD

THE CONSEQUENCE BOUNDARY · FORMAL CHANGED-REALITY EXAMINATION

THE CHANGED-
REALITY TEST

CAN ONE AUTHORITATIVE FACT STOP THE SAME CONSEQUENCE?

R1 freezes the examination boundary: same T₀ authority, same actor, same proposed consequence, and same execution path. ΔN₁ and ΔN₂ vary authenticated changed reality; ΔN₃ separately challenges provenance sufficiency. Inspect whether TA-14 derives the consequence state from the supplied facts and provenance before commit.

THE QUESTION TA-14 MUST ANSWER AT RUNTIME

Does this proposed consequence have Admissible Evidence, Applicable Authority, and Established Standing to become Reality Now?

ALLOWHOLDDENYESCALATE

01 · FREEZE THE CONTROL

Four things are not allowed to move.

T₀ AUTHORITYFacilities authority A-214 · activeLOCKED
ACTORBuilding automation controller BAC-07LOCKED
PROPOSED CONSEQUENCEIncrease outdoor-air ventilation in Classroom 214LOCKED
EXECUTION PATHController → governed commit → AHU-2 outside-air commandLOCKED

02 · RUN THE TEST

Same consequence. Raw facts and provenance enter the evaluator.

ACTIVE RUNTIME STATE · T₀

FROZEN BASELINE

READY TO TEST

No changed-context event has been introduced. The governed proposition is frozen so every examination case can be compared against the same starting state.

01 · RAW CONDITION FACTBaseline frozen→
02 · PROVENANCET0-FROZEN-CONTROL · signed=YES · sequence-continuous=YES→
03 · ADMISSIBLE EVIDENCEESTABLISHED→
04 · APPLICABLE AUTHORITYAPPLICABLE→
05 · DERIVED STANDINGESTABLISHED→
06 · EXECUTION STATEREADY TO TEST
CONSEQUENCE GATECOMMIT NOT YET REQUESTED

The baseline is the control, not the answer. Run changed-reality cases against this same frozen proposition.

03 · COMPARE THE EVIDENCE

Inspect the raw input and the derived divergence.

04 · EXAMINATION RECEIPT

Preserve what TA-14 actually determined.

RECEIPT ID

TA14-AEA-CRR-R1-T0

READY TO TEST

The receipt captures raw changed facts and structured provenance separately from evaluator-derived evidence, authority, standing, determination, and execution disposition. It also binds the ruleset version, evaluator version, independent commit-guard result, decision point, UTC timestamp, run identifier, ΔN identifier, and SHA-256 integrity hash.

ADMISSIBLE EVIDENCEESTABLISHED
APPLICABLE AUTHORITYAPPLICABLE
STANDINGESTABLISHED
EXECUTION DISPOSITIONCOMMIT NOT YET REQUESTED

05 · VERIFIED PRODUCTION EVIDENCE SET

Four fresh receipts preserve the bounded runtime result.

T₀ · CONTROLREADY TO TEST · COMMIT NOT YET REQUESTED · SHA-256 4ca655769755c36b394ff208ea1b49a8a8b11b56cbef029970001ecaf5397194
ΔN₁ · AUTHENTICATED OCCUPANCY CHANGEESTABLISHED → ALLOW → COMMIT MAY PROCEED · SHA-256 a824df1cea86d952fd4dd1ec87f6efb4a3c5810bbbbad90e441f5d65a14a895f
ΔN₂ · AUTHENTICATED FIRE-SMOKE CHANGEDEFEATED → HOLD → COMMIT BLOCKED · SHA-256 bbd8918bebbd47114c3d72f80ebcfc90615208af36c1423c179a3edb6bc76155
ΔN₃ · INCOMPLETE PROVENANCEUNRESOLVED → ESCALATE → COMMIT BLOCKED · SHA-256 db47c21446b0351db81e02826f12441b9d928b84fd864cca1e48eebb5b4eb130

Production evidence set · 2026-09-22 UTC. Each receipt preserves the same frozen T₀ authority, actor, proposed consequence, and execution path. The receipts separately record raw examination input, evaluator-derived evidence / authority / standing, determination, execution disposition, rules applied, and commit-guard authorization. These hashes identify the four fresh receipts generated from the deployed R1 examination; they are integrity digests, not digital signatures or external notarization.

06 · THE PUBLIC CHAIN

01REALITY
02RECORD
03CONTINUITY
04ADMISSIBILITY
05BINDING
06COMMIT
07EXECUTION
08OUTCOME
PROPOSAL→TA-14 CONSEQUENCE BOUNDARY→REALITY

R1 · FROZEN EXAMINATION RECORD

The claim survives only if the preserved record survives its falsifier.

CONTROL VARIABLESSame T₀ authority · same actor · same proposed consequence · same execution path
PRIMARY CHANGED-REALITY VARIABLEΔN₁ / ΔN₂ · authenticated changed reality
ADVERSARIAL PROVENANCE CASEΔN₃ · same stated occupancy change as ΔN₁, but provenance is incomplete
PRESERVED ACROSS CASESFrozen control · raw inputs · derivation trace · exact decision point · determination · execution disposition
DERIVATION REQUIREMENTTA-14 must derive standing from underlying authoritative facts before consequence binds.
FIXTURE DISCIPLINEΔN fixtures supply raw condition facts and structured provenance only; standing, determination, and commit disposition are evaluator outputs. A separate commit guard authorizes commit only for ALLOW.

FALSIFICATION CONDITIONS

01The runs do not begin from the same frozen T₀ authority, actor, proposed consequence, and execution path.

02An authenticated changed-reality case (ΔN₁ or ΔN₂) cannot be traced to its asserted authoritative source with preserved provenance.

03TA-14 receives standing upstream instead of deriving it from underlying authoritative facts.

04A different execution path is used between runs.

05A hidden manual judgment determines the standing result.

06The record cannot show where ΔN changes the derivation before consequence binds.

07A HOLD, DENY, or ESCALATE can be ignored while the governed consequence still commits.

R1 · BOUNDED EXAMINATION RESULT

R1 establishes this bounded derivation result.

CONTROLFrozen across T₀, ΔN₁, ΔN₂, and ΔN₃
ΔN₁Standing established · ALLOW · commit may proceed
ΔN₂Standing defeated · HOLD · commit blocked
ΔN₃Evidence unresolved · ESCALATE · commit blocked
RECORD INTEGRITYRun-specific receipt · timestamp · ΔN identifier · SHA-256 integrity hash

Bounded conclusion · examination run 2026-09-22: With the frozen T₀ control held constant, ΔN₁ (occupancy 21 → 27) produced ESTABLISHED standing → ALLOW → COMMIT MAY PROCEED, while ΔN₂ (fire-smoke override INACTIVE → ACTIVE) produced DEFEATED standing → HOLD → COMMIT BLOCKED. The hardened fixtures supply raw changed facts, structured provenance, and raw condition fields only. Standing and determination are evaluator outputs, and an independent commit guard authorizes commit only for ALLOW. ΔN₃ additionally demonstrates that incomplete provenance cannot become execution permission. This establishes only the behavior demonstrated by these bounded examination cases. It does not establish universal runtime efficacy or independent physical enforcement outside this examination environment.

FEATURED LIVE ARCHITECTURE · TA-14-AIGR-000039

Admissible Computation Architecture ACA

Before computation becomes consequence.

Move from the registered architecture to an operating admissibility gateway, then test the proposition in a falsifiable pilot environment. The pilot is designed to preserve negative results rather than assume computational or environmental savings.