Programmatic notebook API#1315

Draft

kasbah wants to merge 351 commits into

mainfrom

kb/programmatic-notebook-api

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 9, 2026

WIP: async validation
kasbah
committed
WIP: no type in linkForHandle
kasbah
committed
WIP: non-optional resolveModel
kasbah
committed
WIP: plain store resolves models
kasbah
committed
WIP: validate only with core theory
kasbah
committed
WIP: ValidateableNotebook
kasbah
committed
WIP: no more link in instantiate
kasbah
committed
WIP: analyses
kasbah
committed
WIP: simulation
kasbah
committed
WIP: content -> params
kasbah
committed
WIP: analyses
kasbah
committed
WIP: analyses
kasbah
committed
WIP: cleanup
kasbah
committed
WIP: elaborated model and adjust petri net morphism type
kasbah
committed
WIP: modality list
kasbah
committed
WIP: apply
kasbah
committed
WIP: correct place for modality
kasbah
committed
WIP: minor
kasbah
committed
WIP: always domain codomain
kasbah
committed
WIP: minor
kasbah
committed
WIP: completion
kasbah
committed
WIP: simplify simple schema completion
kasbah
committed
WIP: typecheck tests
kasbah
committed
WIP: notebook.get
kasbah
committed
WIP: reactive validation
kasbah
committed
WIP: better reactivity
kasbah
committed
WIP: cleanup
kasbah
committed
WIP: cleaner testing
kasbah
committed
WIP: formalCells()
kasbah
committed
WIP: test resource
kasbah
committed
WIP: onChange
kasbah
committed
WIP: add mutation test for onChange
kasbah
committed
WIP: onChangeFormalCells
kasbah
committed
WIP: onChangeFormalContent
kasbah
committed
WIP: split future
kasbah
committed
WIP: remove resolveAnalysis
kasbah
committed
WIP: resolveModel
kasbah
committed
WIP: resolve / validate
kasbah
committed
WIP: resolving
kasbah
committed
WIP: remove resolveWithModel
kasbah
committed
WIP: getDocument -> getHandle
kasbah
committed
WIP: clean up instantiation_validation
kasbah
committed
WIP: recursive validation against host theory only
kasbah
committed
WIP: add test for instantiating olog in schema
kasbah
committed
WIP: literate-typescript no .lts dir
kasbah
committed
WIP: validation test
kasbah
committed
WIP: ArkType
kasbah
committed
WIP: rfc
kasbah
committed
WIP: standard-schema result
kasbah
committed
WIP: rfc
kasbah
committed
WIP: get returns result
kasbah
committed
WIP: result on loadNotebookFromHandle
kasbah
committed
WIP: loadNotebookFromHandle
kasbah
committed
WIP: update "getting a cell by id"
kasbah
committed
WIP: rfc
kasbah
committed
WIP: diagram
kasbah
committed
WIP: diagram
kasbah
committed
WIP: rfc
kasbah
committed
WIP: rfc
kasbah
committed
WIP: rfc
kasbah
committed
WIP: rfc gaios
kasbah
committed
WIP: rfc link
kasbah
committed
WIP: fix lts rfc
kasbah
committed
WIP: rfc
kasbah
committed
WIP: verifyer
kasbah
committed
WIP: null
kasbah
committed
WIP: move rfc
kasbah
committed
WIP: rfc
kasbah
committed
WIP: diagrams and analyses
kasbah
committed
WIP: rfc
kasbah
committed
WIP: delimiters around field names in validation
kasbah
committed
WIP: rfc
kasbah
committed
WIP: ModelValidationResult
kasbah
committed
WIP: rfc
kasbah
committed
WIP: remove `get`
kasbah
committed
WIP: result
kasbah
committed
WIP: rfc
kasbah
committed
WIP: rfc
kasbah
committed
WIP: result type for analysis.run
kasbah
committed
WIP: result
kasbah
committed
WIP: backend_document_store.test.tsx
kasbah
committed
WIP: getHandle async
kasbah
committed
WIP: doc store
kasbah
committed
WIP: async createNotebook
kasbah
committed
WIP: makeReactiveProjection
kasbah
committed
WIP: instances
kasbah
committed
WIP: demo
kasbah
committed
WIP: demo deploy
kasbah
committed
WIP: instance document type
kasbah
committed
WIP: triples
kasbah
committed
WIP: fix attribute adding
kasbah
committed
WIP: tiling
kasbah
committed
WIP: headers
kasbah
committed
WIP: ref style
kasbah
committed
WIP: ref name
kasbah
committed
WIP: bigger tables
kasbah
committed
WIP: x
kasbah
committed
WIP: empty column
kasbah
committed
WIP: history
kasbah
committed
WIP: + row on empty
kasbah
committed
WIP: hack jspreadsheet to not confirm delete row
kasbah
committed
WIP: fix morphism name collisions
kasbah
committed
WIP: script
kasbah
committed
WIP: persist memory
kasbah
committed
WIP: script instance
kasbah
committed
WIP: no script helpers
kasbah
committed
WIP: script at bottom
kasbah
committed
WIP: rowsOf
kasbah
committed
WIP: reset scripts
kasbah
committed
WIP: one code
kasbah
committed
WIP: fix firefox code scroll
kasbah
committed
WIP: bottom reset
kasbah
committed
WIP: add example
kasbah
committed
WIP: x
kasbah
committed
WIP: skill
kasbah
committed
WIP: performance
kasbah
committed
WIP: entity styling
kasbah
committed
WIP: arrow style
kasbah
committed
WIP: don't infer in instance validate
kasbah
committed
WIP: edit font size
kasbah
committed
WIP: scripty scripty
kasbah
committed
WIP: result type
kasbah
committed
WIP: x
kasbah
committed
WIP: lint
kasbah
committed
WIP: cleanup
kasbah
committed
WIP: rfc shape
kasbah
committed
WIP: rfc shapes
kasbah
committed
WIP: solid shape rfc
kasbah
committed
WIP: link shapes-of-a-logic
kasbah
committed
WIP: shape
kasbah
committed
WIP: shape includeRichText
kasbah
committed
WIP: petri net example rfc
kasbah
committed
WIP: cleanup rfc
kasbah
committed
WIP: getDocument
kasbah
committed
WIP: subscribe not optional
kasbah
committed
WIP: minor
kasbah
committed
WIP: getHandle LInk
kasbah
committed
WIP: getDocumentView
kasbah
committed
WIP: x
kasbah
committed
WIP: rfc binders
kasbah
committed
WIP: cleanup
kasbah
committed
WIP: completion example
kasbah
committed
WIP: no theory on attr picker shape
kasbah
committed
WIP: context
kasbah
committed
WIP: more clear script button
kasbah
committed
WIP: demo storage error
kasbah
committed
WIP: storage error dialog
kasbah
committed
WIP: solid with completions
kasbah
committed
WIP: move settled
kasbah
committed
WIP: remove unknown
kasbah
committed
WIP: object editor 1
kasbah
committed
WIP: x
kasbah
committed
WIP: object editor
kasbah
committed
WIP: cellsOf in notebook_with_solid_object_editor
kasbah
committed
WIP: spread cellsOf
kasbah
committed
WIP: schema for notebook_with_solid_object_editor
kasbah
committed
WIP: editing schema solid editor
kasbah
committed
WIP: notebook_with_solid_morphism_editor
kasbah
committed
WIP: fine grained solid
kasbah
committed
WIP: ModelDocument -> Document
kasbah
committed
WIP: fix reconcile
kasbah
committed
WIP: draftDoc
kasbah
committed
WIP: ModelDocument -> Document
kasbah
committed
WIP: doc -> docView
kasbah
committed
WIP: solid demo
kasbah
committed
WIP: demo "no rows"
kasbah
committed
WIP: better validation in demo
kasbah
committed
WIP: simple schema example rfc
kasbah
committed
WIP: rfc cleanup
kasbah
committed
WIP: getCoreTheory
kasbah
committed
WIP: migrate async
kasbah
committed
WIP: migrate schema -> olog
kasbah
committed
WIP: rfc simple-schema
kasbah
committed
WIP: NotebookCell<>
kasbah
committed
WIP: NotebookCell
kasbah
committed
WIP: cleanup rfc
kasbah
committed
WIP: literate-ts click
kasbah
committed
WIP: literate-ts cleanup
kasbah
committed
WIP: notebook_with_solid_completions
kasbah
committed
WIP
kasbah
committed
WIP: schema -> my
kasbah
committed
WIP: move validatable
kasbah
committed
WIP: MyContext
kasbah
committed
WIP: MyNotebook in context
kasbah
committed
WIP: .get in rfc
kasbah
committed
WIP: minor
kasbah
committed
WIP: informal: [RichText]
kasbah
committed
WIP: typing analysis
kasbah
committed
WIP: test richtext
kasbah
committed
WIP: analysies params type checking
kasbah
committed
WIP: type check analysis result
kasbah
committed
WIP: test richtext
kasbah
committed
WIP: rich text test 2
kasbah
committed
WIP: richtext impl
kasbah
committed
WIP: richtext impl
kasbah
committed
WIP: editorRef
kasbah
committed
WIP: richtext_frontend_editor.test.tsx
kasbah
committed
WIP: rich text ref
kasbah
committed
WIP: rfc solid completions
kasbah
committed
WIP: onChange rfc
kasbah
committed
WIP: mass action
kasbah
committed
WIP: mass action 2
kasbah
committed
WIP: rich text example rfc
kasbah
committed
WIP: remove prose notebook_with_solid_completions
kasbah
committed
WIP: analysis
kasbah
committed
WIP: minor
kasbah
committed
WIP: minor
kasbah
committed
WIP: validation cache
kasbah
committed
WIP: onValidation
kasbah
committed
WIP: onValidate
kasbah
committed
WIP: svg render
kasbah
committed
WIP: split analyses files
kasbah
committed
WIP: render svg with solid
kasbah
committed
WIP: vhtml visualization
kasbah
committed
WIP: minor
kasbah
committed
WIP: rfc supports
kasbah
committed
WIP: minor
kasbah
committed
WIP: onValidate rfc
kasbah
committed
WIP: supportsInstances
kasbah
committed
WIP: result rfc
kasbah
committed
WIP: rfc minor
kasbah
committed
WIP: rollout rfc
kasbah
committed
WIP: rfc
kasbah
committed
WIP: rfc minor
kasbah
committed
FIX: tsify output for `Composite`
kasbah
committed
ENH: Equations cell editor
kasbah
committed
ENH: Loosely filter out morphisms in paths based on domain
kasbah
committed
ENH: Make a specialized path morphism input
kasbah
committed
WIP: path equations
kasbah
committed
WIP: path equations
kasbah
committed
WIP: rfc
kasbah
committed
WIP: path equations clean up
kasbah
committed
WIP: instance rfc
kasbah
committed
WIP: rfc schema instance schema
kasbah
committed
WIP: rfcing
kasbah
committed
WIP: rfcing2
kasbah
committed
WIP: rfcing3
kasbah
committed
WIP: rfc backport
kasbah
committed
WIP: fix dep build in package.json
kasbah
committed
WIP: rfc minor
kasbah
committed
WIP: name -> label
kasbah
committed
WIP: loadNotebookFromLink
kasbah
committed
WIP: DocumentRef
kasbah
committed
WIP: Link -> DocumentRef
kasbah
committed
WIP: server optional
kasbah
committed
WIP: getHandle returns Result
kasbah
committed
WIP: getDocumentRef
kasbah
committed
WIP: remove as const
kasbah
committed
WIP: verifier:skip
kasbah
committed
WIP: minor
kasbah
committed

Uh oh!

Commits

Commits on Jul 9, 2026