Commit Graph
100 Commits
Author SHA1 Message Date
Timothy J. Aveni 61534d3fb5 Keep checked browser runtime versions independent of authority upgrades 2026-10-07 17:03:01 -07:00
Timothy J. Aveni 391f02f78a Pool host-approved restricted code with scoped and fair graph execution 2026-10-07 16:47:19 -07:00
Timothy J. Aveni c8c56d8ea7 Bound checked candidate metadata and restricted invocation resources 2026-10-07 15:51:22 -07:00
Timothy J. Aveni 9248332da6 Allow explicitly exported read-only edge dependency ports 2026-10-07 06:30:33 -07:00
Timothy J. Aveni 192a22c936 Handle optional source-binding configuration in structural package upgrades 2026-10-07 05:07:09 -07:00
Timothy J. Aveni 5c618e0e41 Build checked workspace source in a sealed tenant-scoped VM 2026-10-06 21:16:21 -07:00
Timothy J. Aveni be8a19b5c5 Report conservative execution placement from checked dependency closures 2026-10-06 16:28:33 -07:00
Timothy J. Aveni 9d8bc5e2ab Scope Camino storage and database authority to each workspace 2026-10-06 16:22:59 -07:00
Timothy J. Aveni 61edac68a8 Expose checked graph transactions, Agent CLI and bounded evaluation 2026-10-01 20:23:50 -07:00
Timothy J. Aveni ef9a4e067a Expose workspace data to the agent and curate its authoring guides
Check named public GraphQL documents against the serving installation using the
existing compiler, linker and authorized snapshot interpreter. Keep listObjects
as a convenience over workspace-root queries, with no separate filter language.
Bound compilation/results, cache by content and serving plan, and fence cutovers.

Share graph discovery and reads between qx-workspace graph and the gardener's
workspace_graph tool. Local authoring shells discover the live endpoint through
the private control socket; configured public mounts also support direct clients.
Fix pending paginated inspections to wait for their confirmed window, and retain
semantic integration assertions instead of locking a server ticket's shape.

Replace the long prompt with a 384-word entry point and five focused guides.
Build immutable bundles with profiles, deep links, source hashes and word/link
checks. Keep the docs-maintenance process and feedback outside agent guidance.
Running agents use current guides while authored source and checker pins remain.

Validation: nix fmt; nix fmt -- --check; nix run .#lint; existing CLI checks;
protocol/client/coordinator build tests; complete Studio integration; 13 agent
unit tests. A real GPT-6.1 Sol medium/priority turn summarized two synthetic saved
comments and a document draft in 27.7s without source changes or cutover. Live
reads also succeeded after an ordinary check/activation in the retained fixture.
2026-10-01 13:15:24 -07:00
Timothy J. Aveni bd42306059 Fix Studio query contracts for authored workspaces
Keep query definition identity scoped to interfaces present in the generated
query schema. Exclude retention provenance from both interface revisions and
generic applications while preserving nominal identities, closed arguments,
operation contracts, documents, budgets and fragment dependencies. Advance the
query semantics version so prior compiler outputs cannot share the new identity.

Add a generic compiler regression covering unrelated imports, retained generic
sources and invalidation when an observed getter changes. This fixes Studio's
CLIENT_QUERY_MISMATCH when template contracts become editable local repositories.

Validation: protocol tests (296 total, 293 passed, 3 existing skips); nix fmt,
monorepo lint, final formatting check and diff check; camino-dev/qx-workspace
builds. All 17 Studio query descriptors match a rebuilt copy of the user's
workspace. Headless fresh-workspace canvas/library/Reader/reload check passes.

Repair the existing local qx-reader workbench through its ordinary check and
activation path, updating only its pinned protocol/checker CLI. Retain the
original toolchain GC root and record checker provenance. Source commit, runtime
and template pins, and database are preserved. Verify the selected candidate is
ready at epoch 2 and its canvas loads through the corrected Studio bundle without
creating application objects. Stop the independent smoke-test services.
2026-10-01 09:49:40 -07:00
Timothy J. Aveni 7c1830bcd5 Instrument and improve incremental workspace checks
Profile source capture, Nix evaluation/realization, resource/query checking,
and implementation builds without putting timings into immutable outputs.
Keep modular repositories; bound independent capture work, snapshot jj once
per observation, and retain final concurrent-edit and Git completeness checks.

Compose exact resource/closure/frontend/toolchain checks as memoized Nix
derivations. Preserve whole-workspace validation and the full compiler path
when no checked dependency is supplied. Share canonical Nixpkgs by content,
index workspace build contexts once, and narrow lock/driver/compiler inputs
with conservative complete-source fallback. Batch React witness checks only
when distinct source closures cannot share ambient declarations; otherwise
run the original independent TypeScript checks.

Seed local authoring toolchains with exact canonical fetch identities when
they match the selected inputs; retain store-path inputs for overrides.
Add generic correctness checks rather than permanent Reader timing/content
fixtures. Verify actual Reader edits and rejection/recovery in a private
workbench, preserving the original user's workbench and runtime.

Query checking currently caches at resource/closure boundaries, not individual
query semantic dependency boundaries. Template helper pins and reproducible
fixture snapshots follow in a separate publication change.
2026-10-01 04:03:19 -07:00
Timothy J. Aveni e8d19d2bb7 Build Camino packages from explicit contract inputs
Project source-free capability contracts and keep exact source provenance in package assembly. Reuse compiled groups across unrelated graph and dependency implementation edits. Keep React public inputs separate from workspace query lowering and retain explicit type-companion dependencies.

Allow independent execution-package checks, scope resource compilation to declared dependencies, and memoize source closure traversal. Document generic-specialization limits and measured Reader rebuild behavior.

Verified protocol, artifact, package, React, and managed activation checks; retained-Git independent/workspace artifact equality and incompatible type dependency rejection; nix fmt -- --check and lint. One-off Reader measurements recompiled 1 of 13 groups for a child edit and 0 for a workspace QX default edit.
2026-09-30 22:55:07 -07:00
Timothy J. Aveni b95cd149c6 Correct Reader producer completion and prepare only the active source
Route durable completion to the initiating PresentationMount, guarded against stale navigation and unrelated fan-out. Publish Gutenberg passages directly, preserve unfinished manual drafts, and open completed documents in the main reader pane. Prepare the selected provider and explicitly opened inspector only. Consolidate Studio factory contracts so optional execution placement is determined by implementations. Support typed stateful presentation props and local-module role selection in the React build layer. Update integration, browser, portal, and authoring documentation.
2026-09-28 21:54:18 -07:00
Timothy J. Aveni e9c15fe40f Make local graph execution optional across composed packages 2026-09-28 21:05:42 -07:00
Timothy J. Aveni 1e72713ae2 Implement durable typed journals, subscriptions, and Reader document connections
Add checked native journal/subscription bindings, managed-reference retention,
bounded history and backpressure, atomic delivery receipts, and fenced hosting.
Preserve source publication prediction and replica reconciliation; subscription
attachment, controls, and delivery remain authoritative in this initial version.

Connect independent manual/Gutenberg document producers to Reader bookshelves
through typed adapters. Add connection inspection, shared provider selection,
authoring documentation, and restart/rejection/fan-out integration coverage.

Verified compiler suite (287 passed, two existing skips), Nix runtime and
PostgreSQL qualification, five example assemblies, headless Reader integration,
Chromium Reader integration, resource pins, formatting, and lint.
No pinned workspace runtime was deployed.
2026-09-28 19:35:51 -07:00
Timothy J. Aveni 0ace71eae6 Generalize live field bindings and use them for Studio canvas gestures 2026-09-28 11:12:11 -07:00
Timothy J. Aveni 696023b4ba Implement main-thread Camino sessions and synchronous CRDT editing 2026-09-27 23:57:29 -07:00
Timothy J. Aveni ad72185a6c Implement independent presentation readiness boundaries 2026-09-27 20:30:07 -07:00
Timothy J. Aveni b499298299 Complete prepared presentation build and runtime integration 2026-09-27 18:51:05 -07:00
Timothy J. Aveni fdb7cd3f6f Add checked query composition foundations for prepared presentations
Move React navigation query generation behind an explicit build frontend. Add checked result-dependent query bindings and pure composition evaluation, including one-snapshot server execution. Preserve the existing rendering path while the React manifest, worker preparation, and replica admission integration remain pending; see docs/PREPARED_PRESENTATIONS_PROGRESS.md.
2026-09-27 16:28:33 -07:00
Timothy J. Aveni ad64ba532f Scope presentation associations to PresentationMount and retain navigation queries
Generate checked navigation query pairs from closed React contracts before
package checking. Retain per-type subscriptions under the logical
PresentationMount and resolve cold component metadata independently of code.

Keep scoped occurrence membership and idempotent local preparation in the
presentation library; copy directly through state contracts without reading
other PresentationMounts' source associations. Preserve normal transaction
creation, pending references, portal synchronization and detach.

Exercise automatic object refs in Reader queries, imported fragments and
structured/aggregate results. Add heterogeneous owner-index, live dependency,
cold metadata, browser ownership and latency coverage. Document measured
improvements, supported query limits and qualification evidence.
2026-09-26 12:32:47 -07:00
Timothy J. Aveni 3728612e8c Implement implicit object references and capability query foundations 2026-09-26 11:44:32 -07:00
Timothy J. Aveni 58a75da83f Lower checked shared edges into the portable graph model 2026-09-25 12:34:13 -07:00
Timothy J. Aveni c482a99aca Package ordinary PresentationMount contracts and typed React hosting 2026-09-25 12:26:34 -07:00
Timothy J. Aveni e7778b3518 Qualify typed presentation factories through public state interfaces 2026-09-25 12:11:01 -07:00
Timothy J. Aveni 76d5cff6fb Support complete public relationship observations for optimistic presentation hosting 2026-09-25 12:09:10 -07:00
Timothy J. Aveni 1bc3c69de3 Support checked keyed relationships across portable operations and queries 2026-09-25 12:02:05 -07:00
Timothy J. Aveni e0e8563224 Expose closed module types and define stable presentation occurrences 2026-09-25 11:37:27 -07:00
Timothy J. Aveni a83239892c Prove PresentationMount with authored generic graph operations 2026-09-25 11:30:14 -07:00
Timothy J. Aveni 73148d76e1 Add checked private storage to reusable conformance rules
Scope attachments and projections by stable rule-application identity; keep lexical names private to each application. Lower ordinary initialization mappings and concrete captured creation targets through existing checking. Preserve stateless forwarding, conflict detection, and the materialization fence. Add tests for multiple same-atom specializations, name isolation, generic edges, factory seeds, and storage evolution. Full protocol Nix build and tests pass.
2026-09-25 11:04:22 -07:00
Timothy J. Aveni 902739b284 Add shared Quixos React controls and delayed component fallback 2026-09-24 12:11:15 -07:00
Timothy J. Aveni abd5d57fb9 Implement rule-based Studio creation, usable canvas and Reader, and consolidated package authoring 2026-09-23 00:53:01 -07:00
Timothy J. Aveni 8455599c3c Implement reusable interface conformance rules 2026-09-23 00:17:13 -07:00
Timothy J. Aveni 20e9f4b056 Restore the workspace canvas and atomic Studio creation workflow 2026-09-22 22:17:00 -07:00
Timothy J. Aveni 595eda834f Restore generic Studio object navigation and discovery 2026-09-22 19:05:13 -07:00
Timothy J. Aveni 1b296daf42 Separate graph execution identity from installation provenance 2026-09-22 18:27:59 -07:00
Timothy J. Aveni c5e79ae3c9 Add bounded public member inspection through shared query scopes 2026-09-22 18:11:54 -07:00
Timothy J. Aveni bcc915d597 Expose bounded public reflection and presentation discovery 2026-09-22 17:22:48 -07:00
Timothy J. Aveni ca83dbd1a7 Add bounded live query cursor continuation 2026-09-22 17:20:00 -07:00
Timothy J. Aveni b8571d054b Build reusable React component hosting and typed fragment composition 2026-09-22 16:46:33 -07:00
Timothy J. Aveni a8869e4545 Add exported query fragments and scoped coverage observations 2026-09-22 16:18:57 -07:00
Timothy J. Aveni eba85ba158 Standardize Camino query references and retire live field sidecars 2026-09-22 15:41:27 -07:00
Timothy J. Aveni 152f58a3c6 Make Camino examples and scaffolds complete Yarn and Nix packages 2026-09-22 15:31:42 -07:00
Timothy J. Aveni 82a4542746 Build composable Camino packages with explicit type and source dependencies 2026-09-22 14:42:54 -07:00
Timothy J. Aveni 7173751f37 Implement typed module contracts and conformance bindings 2026-09-22 13:51:32 -07:00
Timothy J. Aveni 60b44a6637 Load checked installations independently of the running compiler (WI-16)
Keep compiler-dependent checks in Nix builds; load stored plans and programs with original provenance and runtime artifact validation. Allow an identical executable world to receive a new activation epoch after a toolchain rebuild.

Compiler-update/altered-program regression, coordinator and full sandboxed integration checks pass; lint and formatting pass. Default platform/source wiring remains the next task.
2026-09-21 22:01:47 -07:00
Timothy J. Aveni e5544dde21 Prove cross-package application composition through public capabilities (WI-15) 2026-09-21 19:07:32 -07:00
Timothy J. Aveni d824634859 Host checked adapter-object controllers through bounded registries (WI-13) 2026-09-21 18:00:27 -07:00
Timothy J. Aveni 1e08ccd937 Build and activate checked component packages through normal source authoring (WI-12) 2026-09-21 17:38:40 -07:00
Timothy J. Aveni e1ad15c620 Implement Studio root and placement capabilities on the replica graph (WI-10) 2026-09-21 16:37:00 -07:00
Timothy J. Aveni 2cf53280e4 Build checked component artifacts and shared React session SDK (WI-09) 2026-09-21 16:01:48 -07:00
Timothy J. Aveni 24073d7f2a Add runtime-owned replica Worker bridge and structured editing (WI-08) 2026-09-21 15:22:44 -07:00
Timothy J. Aveni a80982a780 Add interface-oriented client sessions and headless capability access (WI-07) 2026-09-21 14:45:46 -07:00
Timothy J. Aveni d159d9b281 Host persistent Camino services and authenticated workspace bootstrap (WI-06) 2026-09-21 14:02:54 -07:00
Timothy J. Aveni 09fd6b7190 Commit managed activation selections and reconcile forward (WI-05) 2026-09-21 13:30:33 -07:00
Timothy J. Aveni 89414107f9 Add independently owned reconnectable execution units (WI-03) 2026-09-21 12:44:36 -07:00
Timothy J. Aveni 884b12f759 Implement checked workspace integration contracts (WI-01) 2026-09-21 11:53:38 -07:00
Timothy J. Aveni 3c0378358f Run checked execution candidates in isolated development workspaces 2026-09-21 02:11:09 -07:00
Timothy J. Aveni 70344ca06a Review execution semantic-major changes without storage migration planning 2026-09-21 01:38:15 -07:00
Timothy J. Aveni 01a3ec5ae2 Scaffold explicit query placement and authored GraphQL documents 2026-09-21 01:30:57 -07:00
Timothy J. Aveni 20ef63007c Assemble generic execution installations from checked artifacts 2026-09-21 01:16:51 -07:00
Timothy J. Aveni f69c81f607 Check execution workspace candidates with pinned artifact builders 2026-09-21 01:09:31 -07:00
Timothy J. Aveni 7652b4c0b9 Add local-first execution authoring support 2026-09-21 00:57:50 -07:00
Timothy J. Aveni b4ac9700c6 Expose confirmed server projections through the typed replica client 2026-09-21 00:27:39 -07:00
Timothy J. Aveni 08e322e59f Reject unsupported query operators during execution planning 2026-09-20 23:58:07 -07:00
Timothy J. Aveni 47a3fe9eae Preserve nested CRDT recovery and serialize compound editor submissions 2026-09-20 23:26:13 -07:00
Timothy J. Aveni 2056c1e352 Support captured CRDT changes in compound transaction contracts 2026-09-20 23:07:09 -07:00
Timothy J. Aveni 33f674321b Qualify collection compare-and-swap and explicit ensure mutations 2026-09-20 22:57:27 -07:00
Timothy J. Aveni 115976cacd Expose authoritative lifecycle deletion through capability bindings 2026-09-20 22:48:09 -07:00
Timothy J. Aveni d80464d285 Qualify optimistic tree reparenting with authoritative cycle rejection 2026-09-20 22:25:11 -07:00
Timothy J. Aveni c0669d2ed8 Support explicitly reference-selected read-only interface dependencies 2026-09-20 22:15:15 -07:00
Timothy J. Aveni 266d2d98d0 Compile and dispatch authoritative acceptance hooks with target-specific package roots 2026-09-20 22:05:59 -07:00
Timothy J. Aveni 1e69b0e662 Qualify recurring occurrence completion with portable graph transactions 2026-09-20 21:48:07 -07:00
Timothy J. Aveni d638a9ed28 Run asynchronous object controllers from accepted graph jobs 2026-09-20 21:31:56 -07:00
Timothy J. Aveni 1dadc642d1 Build checked asynchronous service registries with Nix 2026-09-20 21:06:45 -07:00
Timothy J. Aveni c4ae58831d Generate typed asynchronous service capability bindings 2026-09-20 20:35:16 -07:00
Timothy J. Aveni 21502ed023 Qualify read-only forwarding and scoped portable discovery 2026-09-20 19:55:29 -07:00
Timothy J. Aveni 619b3d61c7 Select checked implementations explicitly by target and ABI 2026-09-20 19:51:15 -07:00
Timothy J. Aveni d701464312 Support checked closed generic portable bindings 2026-09-20 19:47:10 -07:00
Timothy J. Aveni 74a16d3646 Build the packaged local-first reader and cross-package task application 2026-09-20 05:40:01 -07:00
Timothy J. Aveni 824caddbf2 Author and apply bounded structured CRDT edits through the mutation log 2026-09-20 04:41:35 -07:00
Timothy J. Aveni c75888833b Evaluate coherent local queries over explicit replica scopes 2026-09-20 04:04:35 -07:00
Timothy J. Aveni 3f1976815f Compile and execute bounded GraphQL replica admission 2026-09-20 03:04:44 -07:00
Timothy J. Aveni d9bd5b2800 Acquire installed portable operations with explicit authority and input coverage 2026-09-20 02:19:00 -07:00
Timothy J. Aveni 8fd800e69a Execute checked capability bindings through scoped package runners 2026-09-20 01:49:25 -07:00
Timothy J. Aveni ab41e67dc5 Build checked portable package artifacts and shared runtime assets 2026-09-20 00:42:19 -07:00
Timothy J. Aveni 60b1bdb39f Generate portable capability contexts and checked handler registries 2026-09-20 00:25:53 -07:00
Timothy J. Aveni 0aaa80a4ba Confine checked artifact loading and browser asset lookup 2026-09-19 23:38:06 -07:00
Timothy J. Aveni ac36edf62d Compile closed execution plans and checked artifact manifests 2026-09-19 23:27:00 -07:00
Timothy J. Aveni 15c132a38b Compile complete local-first reader and scope fixtures 2026-09-19 22:42:29 -07:00
Timothy J. Aveni 4c0c404a39 Add explicit CRDT edit contracts and structured query values 2026-09-19 22:33:20 -07:00
Timothy J. Aveni 0555c929b1 Add factory creation ports and owner initialization contracts 2026-09-19 22:20:55 -07:00
Timothy J. Aveni 03ac7f8557 Add local-first execution contracts to the capability language 2026-09-19 22:09:40 -07:00
Timothy J. Aveni 757531bb63 Add activated workspace reflection and Studio definition watches
Expose bounded snapshot-bound definition reads and latest-only watches from the serving checked bundle. Add checked reflection dependency ports, generated SDK bindings and selector-scoped invocation authority.

Move Studio factory, contract and query discovery to public reflection inventories. Share an active-definition watch across canvas and standalone routes and invalidate/reload on epoch changes instead of polling GetWorkspace.

Document the API and deferred scope; cover compiler/codegen, SDK injection, transport authorization, activation publication, pagination and reconnect behavior. Keep all work local; no deployment or publication.
2026-09-19 10:18:47 -07:00
Timothy J. Aveni 1aa55f7a35 Add composable interface operation forwarding
Support bind member.operation to interface Target<Args>.member.operation.
Check exact signatures and scopes, same-receiver conformances, cycles and
watch pairing. Resolve chains for native queries, editing and dispatch while
retaining the terminal conformance owner and injected package dependencies.
Track forwarded providers in dependency and semantic-major review machinery.

Cover native get/set/watch chains, generic targets, invalid bindings, package
forwarding, runtime owner authority and watch cancellation. Document the
language feature and keep Studio search adoption explicitly pending.
No push or deployment.
2026-09-19 10:18:47 -07:00
Timothy J. Aveni 2594403503 Add native literal substring query predicates
Implement checked containsInsensitive string predicates in GraphQL, protobuf,
native SQL and bounded residual evaluation. ASCII folding is deterministic;
SQL pattern characters remain literal. Retain deferred full-text index design.

Studio migration awaits a decision on checked native getter forwarding across
conformances; do not duplicate titles or bypass private state ownership.
Compiler and local full-stack substring-query acceptance pass.
2026-09-19 10:18:47 -07:00
Timothy J. Aveni 5634d3ee78 Add checked workspace-interface query roots
Implement scoped interface extents across QX, generated bindings, SDK,
Orch, Camino and browser queries. Preserve native projection, aggregation,
pagination and watch invalidation without synthetic persisted objects.
Validate exact query grants and scope freshness on execution and replay.
Add local PostgreSQL, transport, browser and code-generation coverage.

C1 implementation slice only: full-text indexes and Studio search adoption
(C2/C3) remain tracked in the implementation handoff. No publication or deployment.
2026-09-19 10:18:47 -07:00
Timothy J. Aveni 0810775c07 Give query fields explicit read ownership and detachment
Separate shared optimistic values from query-owned and independent read lifetimes. Add opaque generated field handles, explicit readonly-safe detachment, owner status, query refresh routing, and atomic hydration validation. Preserve replay fencing and native/CRDT writes without automatic leaf fallback.

Regenerate first-party bindings, update authoring guidance, and test browser replay, StrictMode, transport recovery and independent lifetimes. Local only: interface search/indexing and activated reflection remain planned; remaining browser acceptance is recorded in the A-C-B handoff.
2026-09-19 10:18:47 -07:00
Timothy J. Aveni 2dffdbcd9f Implement shared live fields and checked query hydration
Add native register acknowledgments and idempotent mutation replay, shared optimistic field controllers, overlapping custom setters, non-suspending hooks and explicit Suspense. Carry checked @live provenance through batched queries and hydrate shared browser fields with coverage leases. Update tracker/scaffolds/guides and verify compiler, PostgreSQL, browser and immutable workspace paths.
2026-09-18 02:19:49 -07:00