GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - hardenedlinux/deterministic-engineering: Reusable engineering design Library with Scheme/POO composition, ASCENT reasoning, formal verification, and SysML architecture models

BranchesTags
Open more actions menu

Latest commit

 

History

11 Commits
11 Commits

Folders and files

NameName
Last commit message
Last commit date
.github/workflows
.github/workflows
 
 
LICENSES
LICENSES
 
 
docs
docs
 
 
examples
examples
 
 
languages-engineering
languages-engineering
 
 
library
library
 
 
observation
observation
 
 
packages/render
packages/render
 
 
projects/library-formation
projects/library-formation
 
 
t
t
 
 
.gitignore
.gitignore
 
 
Justfile
Justfile
 
 
LICENSE
LICENSE
 
 
LICENSING.org
LICENSING.org
 
 
README.org
README.org
 
 
build.ss
build.ss
 
 
bun.lock
bun.lock
 
 
config.ss
config.ss
 
 
gerbil.pkg
gerbil.pkg
 
 
init.ss
init.ss
 
 
package.json
package.json
 
 
package.json.license
package.json.license
 
 
project.sysml
project.sysml
 
 
types.ss
types.ss
 
 

Repository files navigation

Deterministic Engineering

#

Library boundary and current organization

This repository maintains reusable engineering types, models, rules, Feature contracts, verification obligations and evidence data contracts. It does not implement an App Server, model provider, agent Runtime or platform authorization recovery. Those are consuming-ecosystem responsibilities.

The root package depends on AI Agentic Lab. Its native dependency closure supplies Yuanxu, POO, ASCENT and the other declared capabilities. This does not activate Lab Runtime features or transfer application authorization to the Library.

Business Scheme Modules share one flat library/<module-name>/ tree. Native Yuanxu tags: and profile: classify and select the same declared leaves; classification does not create deeper directory layers or another loader. Profiles are native Modules. Test sequences are not artificial Review Modules. User examples assign programs.deterministic-engineering.languages.<language>.{enable,settings}. The maintained root Config supplies defaults. Downstream POO values compose through Yuanxu’s native config-defaults recursive merge. Current C and C++ settings select actual maintained Profiles and command deadlines. Inheritance, Types, Module loading and tool execution remain with their existing owners. See 10.149 for the interface and real engineering cases.

library/<module-name>/    Native types, objects, config, methods and Interface roles
languages-engineering/   Language-native subjects and verification inputs
t/*-test.ss             Development checks through native gerbil test
init.ss                  One declarative Yuanxu selection
build.ss                 Native init.exports std-make-spec only

10.141 records the current boundary, the SysML organization declaration and remaining acceptance gates; 90.130 is its paired view. The current migration is not fully accepted. Older case notes below describe historical designs and receipts; they do not qualify the changed source tree.

Current Library boundary view

docs/90-99-views/90-architecture-views/90.140-flat-declarative-library-boundary.webp

D2 declaration · Vector SVG · Render and compression receipt

This current view uses the existing TS measured-render framework and lossless Sharp encoding. It describes ownership; native package/test acceptance remains open.

Purpose

Deterministic Engineering is a Library for organizing engineering work around explicit Questions, models, obligations, methods and evidence. A downstream repository selects reusable definitions, binds its own project inputs and keeps its architecture, documents and decisions associated with the checks behind them.

Scheme/POO owns the engineering declarations and composition. ASCENT answers declared relational questions. Rust, QNT, Lean and SysML provide selected method capabilities. The TypeScript render package presents the selected model and source context through static D2, HTML, SVG and PNG artifacts.

Architecture at a glance

The following upstream case figures retain their captured baseline. They do not qualify the current Library-boundary refactor; its current organization is recorded in 10.148.

This is the engineering organization used by this repository: the Library publishes reusable definitions, a Profile selects them, and a Scenario binds actual project inputs. The project boundary owns its architecture model, Org artifacts and decisions. The complete overview includes the numbered purpose, core architecture, independent boundaries and project artifacts, followed by current source observations and open gaps. Arrows point to dependencies.

docs/90-99-views/90-architecture-views/90.132-library-profile-scenario-architecture-sketchbook.png

Ownership component detail · Questions and editable D2 · Project SysML

Selected Rust, QNT, Lean and SysML methods consume the project’s bound inputs and retain their result semantics and source associations. ASCENT derives answers from declared facts and rules; Aitia owns independent policy-bound review. The TS Library presents these models and associations. Rendering does not grant evidence or review authority. This Case currently remains capture-blocked.

Component: Library, Profile and Scenario

PartOwnsProject use
LibraryReusable models, obligations, method bindings, policies and contractsPublishes definitions and their identities
ProfileModel/parent selection, two policies, methods, catalog and mapping choicesSelects published definitions without copying their ownership
ScenarioRepository inputs, origins, associations and capture preparationBinds the selected definitions to one project use
ProjectConfirmed intent, responsibility and use scopeComposes the selected Profile and Scenario

The source contracts and declarations are authoritative. Version identity is read from its owning declaration or package metadata, not from a namespace, diagram or duplicated version table.

Component: repository dependencies

<<architecture>> The arrows below describe responsibilities and dependencies, not execution order. The README uses one sketchbook visual language. Other styles remain available through the render package and its declared D2 variants. Aitia’s end-to-end review integration remains a target boundary for this Case.

Detailed repository dependency diagram

Editable D2 · Project SysML model · Engineering ownership

SourceResponsibility
library/Flat native Scheme Modules: generic domain models, specializations, Profiles, obligations and evidence contracts; classified through Yuanxu tags/profile
languages-engineering/Language-native subjects and verification inputs
t/Development verification and test-only tool effects
packages/render/Existing TS static-render Library, Node/Bun export and Sharp compression
docs/Org arguments, SysML organization, D2 sources and source-bound rendered views

The root init.ss uses Yuanxu’s declared module loading. The build.ss consumes the root init.exports std-make-spec. This repository reuses POO/Core/Flow/module and contract mechanisms; it does not define another package loader or model runtime.

Engineering workflow

The LLM agent chooses investigations and proposes Library extensions; ASCENT exposes evidence and changed premises; Aitia retains admission and authorization. These relationships form a feedback loop, not a fixed sequence of agent actions. The actual capture preparation source still returns capture-blocked and capture = #f for DE-CASE-01. A diagram or successful render does not issue a capture, accepted query view, review result or authorization.

docs/90-99-views/90-architecture-views/90.02-agent-evidence-loop.png

Editable D2 · SVG export · Architecture/document/decision contracts

Methods and content checks must keep their actual inputs, result semantics, source/revision associations and open findings. ASCENT reasoning consumes explicit facts and rules; support does not grant execution authority. Aitia review and actual publication/use retain their own policy and responsibility boundaries.

Component: SDK model adaptation

The SDKs own syntax and model semantics. Render adapters retain their identities and explicitly bind model/view/source snapshots before scene composition.

docs/90-99-views/90-architecture-views/90.136-model-adaptation-boundaries.svg

Source audit and positive/negative controls

Component: static render package

@deterministic-engineering/render is a static, functional Library. Questions, copy, model/source links and resource selection stay in D2/SysML and the project declarations. Domain composition is a pure function. Export effects measure actual browser text/fonts/images and return artifacts plus rendering facts.

ChoiceDeclaration / extension boundary
Diagram kindOpen project identifier; architecture and Workflow purposes stay separate
OrganizationProject layout / presentation and a domain compositor
Visual styleOrdered immutable theme layers: typography, surfaces, strokes, palette and spacing
IconsOrdered project-selected SVG packs, independently replaceable
VariantD2-selected kind, layout, themes and icon packs over the same captured model

The package reuses D2 model compilation, ELK.js scene layout/routing, parse5 HTML parsing, Rough.js options/primitives, XYFlow connector paths and Playwright export. It has no interactive whiteboard or React runtime. Sharp encodes lossless PNG/WebP; preferredRaster selects the smaller actual raster with its MIME type, while SVG remains the vector output. Lossy compression is an explicit export choice. A node diagram or swimlane is one example, not the framework’s entire diagram vocabulary.

Real Library / Profile / Scenario Case

The project-owned variants select kinds, a theme and a glyph pack defined only in the consumer. Their source associations and current blocked state stay intact.

Architecture: D2 · Complete hand-drawn architecture

Workflow: D2 · Separate hand-drawn Workflow

Development and verification

Use the declared Bun version from render CI and its pinned package/browser dependencies. Run from the repository root:

bun install --frozen-lockfile
bunx playwright install chromium
bun run typecheck
bun run test
bun run test:export

Run the package-owned cases from the same repository root:

bun run test:examples
bun run example:case
bun run example:compare
bun run example:overviews

Candidate outputs and source/browser receipts are written to .cache/render/. Tests include unknown declarations, model/source mutation, invalid relations and ports, hidden Questions, unsupported primitives and failed image loading. The Linux/macOS workflow runs the same entries with the existing resource bounds. Render CI checks are authoritative for the actual tested commit.

The render architecture and view-authoring Workflow are distinct current diagrams. Their D2 sources are maintained alongside the SVGs and rendered through the measured TS scene API. The active SVGs and PNGs come from the same font-settled scene; the old raw-D2 rendering path has been removed.

The repository-root package.json is the Render version and dependency source. Downstreams install the reviewed Git revision with Bun; Release attachments are optional distribution. Each D2 compilation owns an ephemeral process and worker; the Promise settles only after native process close, including IPC failure paths. No compiler pool or fallback renderer is introduced. See the compiler lifecycle and release audit for acceptance and downstream recovery.

Scheme package entrypoints

The canonical dependency/prelude declaration is gerbil.pkg. The compiler is Gerbil; package commands own dependency resolution, checkout, manifests, compilation and loading. Current commands and existing budgets live in Justfile:

just deps
just build
just test

These Scheme/package gates are separate from TS rendering qualification. Historical dependency/cohort results retain their original scope; this render PR does not establish a fresh full Scheme cold-build or runtime admission result.

Design, cases and review

  • Documentation index — the complete design/research history.
  • Current render audit — fixed assumptions removed, owners, extension contracts and controls.
  • Rendering research — references and decisions behind the visual approach.
  • DE-CASE-01 — this Library as the engineering case.
  • Gateway case — application questions, obligations and open work.
  • Current and historical view index — architecture and Workflow artifacts with explicit scope.

The repository is under active design and refactoring. Candidate models, source observations, rendered explanations, method evidence and independent review results remain distinct. Open findings and counterevidence stay visible for audit.

Functional rendering resources

Render-owned examples live under packages/render/examples/. Visual styles, palettes, typography, density, ELK preferences and icon packs compose independently. Model Questions/content remain in D2/SysML; optional pure heading parts distinguish Question role markers from domain Answer glyphs and measure the complete group. The default exported canvas is explicit, with an optional transparent mode. See 10.144 contracts and acceptance.

Detailed architecture: Sketchbook dependency view. Workflow: Sketchbook authoring Workflow.

Component: Design and Taste

Design declares the reader, message and model fidelity. Taste composes pure choices before rendering and inspection after export. Questions select subjects, source observations select gaps, and the existing ELK layout measures and routes the resulting view. Themes remain replaceable resources. No Case-specific drawing recipe is selected in TypeScript.

The same Library / Profile / Scenario model is shown with changed input Questions and selected evidence, using one program and one hand-drawn style:

docs/90-99-views/90-architecture-views/90.138-library-design-taste-choices-comparison.png

Adopter Question · Maintainer Question · Selected source gap. The source gap is an observed declaration, not issued evidence or an accepted capture. Selection reasons and input fingerprints remain attached to the exported receipt; changed inputs require selection and rendering again.

Editable D2 · Selection, licensing and acceptance.

Licensing

This repository follows REUSE with SPDX comment headers, file-specific notices, and standard sidecars for binary and strict JSON files. See licensing and rendering asset attribution.

About

Reusable engineering design Library with Scheme/POO composition, ASCENT reasoning, formal verification, and SysML architecture models

Topics

ai-codingdeterministicformal-verification

Resources

Readme
LGPL-2.1 license
Activity
Custom properties

Stars

1 star

Watchers

0 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.