Interface: PraxisApp
August 8, 2026 · View on GitHub
@plures/praxis / index / PraxisApp
Interface: PraxisApp
Defined in: src/unified/core.ts:63
The live app instance returned by createApp() — query, mutate, inspect, and destroy.
Properties
batch
batch: (
fn) =>MutationResult
Defined in: src/unified/core.ts:69
Batch multiple mutations atomically
Parameters
fn
(mutate) => void
Returns
destroy
destroy: () =>
void
Defined in: src/unified/core.ts:79
Cleanup
Returns
void
evaluate
evaluate: () =>
void
Defined in: src/unified/core.ts:77
Force re-evaluate all rules
Returns
void
facts
facts: () =>
PraxisFact[]
Defined in: src/unified/core.ts:71
Current facts
Returns
liveness
liveness: () =>
Record<string, {elapsed:number;lastUpdated:number;stale:boolean; }>
Defined in: src/unified/core.ts:81
Liveness status — which paths are stale
Returns
Record<string, { elapsed: number; lastUpdated: number; stale: boolean; }>
mutate
mutate: (
path,value) =>MutationResult
Defined in: src/unified/core.ts:67
Write to the graph — validates through constraints first
Parameters
path
string
value
unknown
Returns
query
query: <
T>(path,opts?) =>ReactiveRef<T>
Defined in: src/unified/core.ts:65
Reactive query — returns a Svelte-compatible store
Type Parameters
T
T
Parameters
path
string
opts?
QueryOptions<T>
Returns
ReactiveRef<T>
timeline
timeline: () =>
TimelineEntry[]
Defined in: src/unified/core.ts:75
Timeline (Chronos entries)
Returns
TimelineEntry[]
violations
violations: () =>
PraxisDiagnostics[]
Defined in: src/unified/core.ts:73
Current constraint violations