Skip to content

Gds proof #212

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
mzargham wants to merge 332 commits into
base: dev
Choose a base branch
from
Draft

Gds proof #212

Changes from all commits
Commits
Show all changes
332 commits
Select commit Hold shift + click to select a range
27e0a40
docs(guides): integrate 4 example guides into mkdocs documentation site
rororowyourboat Feb 27, 2026
db8dc33
feat(gds-examples): add Lotka-Volterra stockflow DSL example
rororowyourboat Feb 27, 2026
631d961
feat(gds-examples): add thermostat PID control DSL example
rororowyourboat Feb 27, 2026
5743f6c
feat(gds-examples): add insurance contract OGS DSL example
rororowyourboat Feb 27, 2026
9bc820c
feat(gds-examples): add crosswalk problem OGS DSL example
rororowyourboat Feb 27, 2026
94b7a0b
Merge pull request #47 from BlockScience/feat/missing-dsl-examples
rororowyourboat Feb 27, 2026
7574d37
Merge pull request #48 from BlockScience/docs/guides-mkdocs-integration
rororowyourboat Feb 27, 2026
b23fc62
fix(gds-examples): use display labels for marimo dropdown default values
rororowyourboat Feb 27, 2026
b7399e4
docs: clean up orphan pages and fix broken links
rororowyourboat Feb 27, 2026
d8b7789
fix(gds-examples): use string concatenation for dynamic markdown tables
rororowyourboat Feb 27, 2026
32dcd24
fix(gds-examples): add app_title to getting_started and rosetta noteb…
rororowyourboat Feb 27, 2026
83c306d
Merge pull request #50 from BlockScience/fix/marimo-table-rendering
rororowyourboat Feb 27, 2026
822cd73
fix(gds-control, gds-stockflow): set params_used on DSL-compiled blocks
rororowyourboat Feb 27, 2026
fdd7835
Merge pull request #52 from BlockScience/fix/dsl-params-used
rororowyourboat Feb 27, 2026
0725f94
docs(gds-framework): add API quick-reference page
rororowyourboat Feb 28, 2026
bad4196
fix(docs): resolve 404 pages on documentation site
rororowyourboat Feb 28, 2026
a5abd5d
Merge pull request #64 from BlockScience/docs/api-reference
rororowyourboat Feb 28, 2026
06246a4
docs(gds-framework): add build-compile-verify pipeline guide
rororowyourboat Feb 28, 2026
f8c9aa0
docs(gds-framework): add composition algebra guide
rororowyourboat Feb 28, 2026
5ad7ea1
Merge pull request #63 from BlockScience/fix/docs-404-pages
rororowyourboat Feb 28, 2026
6b36578
docs(gds-framework): add verification check catalog
rororowyourboat Feb 28, 2026
f4e9673
docs: add clear installation instructions with package name mapping
rororowyourboat Feb 28, 2026
95c473b
docs: add real-world pattern examples
rororowyourboat Feb 28, 2026
37411c1
docs(gds-framework): add CLAUDE.md and improve docstrings for AI disc…
rororowyourboat Feb 28, 2026
6603c5c
docs(gds-viz): add usage guide with rendered diagram gallery
rororowyourboat Feb 28, 2026
391e522
merge: docs/composition-guide into docs/all-improvements
rororowyourboat Feb 28, 2026
65e5dd5
Merge remote-tracking branch 'origin/docs/pipeline-guide' into docs/a…
rororowyourboat Feb 28, 2026
a0f4882
Merge remote-tracking branch 'origin/docs/verification-catalog' into …
rororowyourboat Feb 28, 2026
d19a290
Merge remote-tracking branch 'origin/docs/real-world-patterns' into d…
rororowyourboat Feb 28, 2026
181ed3a
Merge remote-tracking branch 'origin/docs/viz-guide' into docs/all-im…
rororowyourboat Feb 28, 2026
3338b28
Merge remote-tracking branch 'origin/docs/installation-clarity' into …
rororowyourboat Feb 28, 2026
0121e74
Merge remote-tracking branch 'origin/docs/ai-discoverability' into do…
rororowyourboat Feb 28, 2026
7870149
fix(docs): address review findings across all documentation PRs
rororowyourboat Feb 28, 2026
4079fd8
Merge pull request #73 from BlockScience/docs/all-improvements
rororowyourboat Feb 28, 2026
3e2e66c
style: format getting_started notebook.py
rororowyourboat Feb 28, 2026
3dcda67
feat: add gds-software package — software architecture DSL over GDS
rororowyourboat Feb 28, 2026
9127726
feat(examples): add e-commerce order processing DFD example
rororowyourboat Feb 28, 2026
879045d
fix: resolve duplicate variable definitions in marimo notebooks
rororowyourboat Feb 28, 2026
ab79b43
feat: add gds-business package — business dynamics DSL over GDS
rororowyourboat Feb 28, 2026
0434fbc
docs: add gds-business API reference and user guides
rororowyourboat Feb 28, 2026
a9b8f7f
Merge pull request #74 from BlockScience/dev
rororowyourboat Feb 28, 2026
afff704
Merge pull request #75 from BlockScience/main
rororowyourboat Feb 28, 2026
b9a6530
feat(examples): add Evolution of Trust — iterated PD with simulation …
rororowyourboat Mar 3, 2026
210b0a9
style: apply ruff format to evolution_of_trust game files
rororowyourboat Mar 3, 2026
d3421e6
docs: add new examples to nav and clean up tutorials section
rororowyourboat Mar 3, 2026
60e146a
docs: add best practices, DSL comparison, and troubleshooting guides
rororowyourboat Mar 3, 2026
6e05f04
docs: integrate stockflow, control, and software into mkdocs site
rororowyourboat Mar 3, 2026
4c46d50
Merge branch 'worktree-agent-af40b29a' into dev
rororowyourboat Mar 3, 2026
f970bbd
Merge branch 'worktree-agent-ad96dc30' into dev
rororowyourboat Mar 3, 2026
af1a4a1
docs: add llms.txt generation via mkdocs-llmstxt plugin
rororowyourboat Mar 3, 2026
1c41253
Merge pull request #79 from BlockScience/dev
rororowyourboat Mar 3, 2026
63b00d6
Merge pull request #80 from BlockScience/main
rororowyourboat Mar 3, 2026
14d625c
docs: remove outdated design docs from nav and add llms.txt descriptions
rororowyourboat Mar 3, 2026
417c8c7
fix: use rgba() instead of 8-char hex for plotly fillcolor
rororowyourboat Mar 3, 2026
484b695
fix(gds-framework): canonical formula reflects degenerate forms
rororowyourboat Mar 3, 2026
80d214a
feat: add gds-sim high-performance simulation engine
rororowyourboat Mar 3, 2026
186c755
fix: resolve CI lint and test failures
rororowyourboat Mar 3, 2026
d931e6e
feat(examples): add prisoners dilemma Nash equilibrium model and note…
rororowyourboat Mar 4, 2026
c42b971
docs: embed marimo notebooks in guide pages
rororowyourboat Mar 4, 2026
f23870e
Merge pull request #81 from BlockScience/dev
rororowyourboat Mar 4, 2026
24d5d79
fix(docs): resolve mermaid syntax error and broken anchor links
rororowyourboat Mar 4, 2026
894062a
docs: restructure navigation around Diataxis framework
rororowyourboat Mar 4, 2026
f339292
fix(gds-sim): fix parallel test pickle error and skip pandas tests wh…
rororowyourboat Mar 4, 2026
7e7895e
Merge remote-tracking branch 'origin/main' into dev
rororowyourboat Mar 4, 2026
52003f6
Merge pull request #82 from BlockScience/dev
rororowyourboat Mar 4, 2026
6560f59
Merge pull request #83 from BlockScience/main
rororowyourboat Mar 4, 2026
b40e807
fix(docs): replace Insiders-only grid cards with standard markdown table
rororowyourboat Mar 4, 2026
55c04dc
Merge pull request #84 from BlockScience/dev
rororowyourboat Mar 4, 2026
a0c74de
docs: restructure nav around Diataxis framework
rororowyourboat Mar 4, 2026
41c77d0
Merge pull request #85 from BlockScience/dev
rororowyourboat Mar 4, 2026
6ede3b4
fix: align root pyproject.toml gds-framework bound to >=0.2.3
rororowyourboat Mar 4, 2026
02ffc67
refactor(gds-examples): restructure guides/ into gds_examples/ for Py…
rororowyourboat Mar 4, 2026
704e0fd
fix: guard TypeDef.check_value() against constraint exceptions
rororowyourboat Mar 4, 2026
a7137bd
fix: validate ParameterDef.bounds are comparable at construction
rororowyourboat Mar 4, 2026
54304b4
feat: normalize Unicode in token system for consistent port matching
rororowyourboat Mar 4, 2026
9698273
fix: add thread-safe locking to _CUSTOM_CHECKS registry
rororowyourboat Mar 4, 2026
e10c6d3
docs: update ecosystem.md with all 9 packages
rororowyourboat Mar 4, 2026
9957669
feat: exempt BoundaryAction blocks from G-002 signature completeness …
rororowyourboat Mar 4, 2026
a981f40
refactor: rename Shipment.source_node/target_node to source/target
rororowyourboat Mar 4, 2026
9d02824
Merge pull request #98 from BlockScience/fix/86-typedef-check-value
rororowyourboat Mar 4, 2026
db83f1d
Merge pull request #99 from BlockScience/fix/91-root-pyproject-bound
rororowyourboat Mar 4, 2026
8fd2c89
Merge pull request #100 from BlockScience/fix/95-parameterdef-bounds
rororowyourboat Mar 4, 2026
199ba8e
Merge pull request #101 from BlockScience/feat/96-unicode-token-norma…
rororowyourboat Mar 4, 2026
eea5a73
Merge pull request #102 from BlockScience/fix/93-thread-safety-custom…
rororowyourboat Mar 4, 2026
69972a3
Merge pull request #103 from BlockScience/docs/88-ecosystem-update
rororowyourboat Mar 4, 2026
b71fac2
Merge pull request #104 from BlockScience/feat/94-g002-boundary-exemp…
rororowyourboat Mar 4, 2026
57370b1
Merge pull request #105 from BlockScience/refactor/97-rename-shipment…
rororowyourboat Mar 4, 2026
b5ff90b
Merge pull request #106 from BlockScience/worktree-gds-examples-restr…
rororowyourboat Mar 4, 2026
3355094
refactor: standardize verify() parameter name to domain_checks across…
rororowyourboat Mar 4, 2026
cf62649
feat: add Pattern.compile() and Pattern.compile_system() convenience …
rororowyourboat Mar 4, 2026
e07e824
test: expand gds-sim test coverage for error paths and edge cases
rororowyourboat Mar 4, 2026
eefe421
test: add cross-DSL integration and round-trip tests
rororowyourboat Mar 4, 2026
1b29341
Merge pull request #107 from BlockScience/refactor/89-standardize-ver…
rororowyourboat Mar 4, 2026
6becb3b
Merge pull request #108 from BlockScience/feat/90-ogs-pattern-compile
rororowyourboat Mar 4, 2026
a4f77a6
Merge pull request #109 from BlockScience/feat/87-gds-sim-coverage-docs
rororowyourboat Mar 4, 2026
ee15db1
Merge pull request #110 from BlockScience/worktree-agent-a3f6973d
rororowyourboat Mar 4, 2026
0d41250
docs: add modeling philosophy concepts across existing pages
rororowyourboat Mar 4, 2026
85c40b3
feat: add gds-psuu package for parameter space search under uncertainty
rororowyourboat Mar 4, 2026
bda94b2
fix: skip cross-DSL integration tests when DSL packages unavailable
rororowyourboat Mar 4, 2026
78812a0
style: format cross-DSL integration test
rororowyourboat Mar 4, 2026
984fe36
Merge pull request #111 from BlockScience/dev
rororowyourboat Mar 4, 2026
8271db8
docs: add gds-sim, gds-psuu, gds-software to README package table
rororowyourboat Mar 4, 2026
f01be8f
feat(gds-psuu): add declarative parameter space constraints
rororowyourboat Mar 5, 2026
4f2d43e
Merge pull request #115 from BlockScience/feat/psuu-constraints
rororowyourboat Mar 5, 2026
d4b738a
feat(gds-psuu): add composable objectives and migrate to optuna
rororowyourboat Mar 5, 2026
782b7bb
Merge pull request #116 from BlockScience/feat/psuu-objectives
rororowyourboat Mar 5, 2026
7eef78b
feat(gds-psuu): add sensitivity analysis framework
rororowyourboat Mar 5, 2026
3950632
Merge pull request #117 from BlockScience/feat/psuu-sensitivity
rororowyourboat Mar 5, 2026
0622ab2
feat: separate Metric and Aggregation primitives from KPI
rororowyourboat Mar 5, 2026
faa8e62
docs: add gds-psuu documentation
rororowyourboat Mar 5, 2026
e6e8490
Merge pull request #119 from BlockScience/feat/psuu-metric-kpi
rororowyourboat Mar 5, 2026
a8ff63d
style: fix __all__ sort order in gds-psuu after merge
rororowyourboat Mar 5, 2026
ab2e8de
chore: bump gds-psuu to 0.2.0
rororowyourboat Mar 5, 2026
89b4cbb
Merge pull request #120 from BlockScience/dev
rororowyourboat Mar 5, 2026
3ca1d5f
docs: expand gds-psuu README with full feature documentation
rororowyourboat Mar 5, 2026
d4ae6e8
Merge pull request #121 from BlockScience/dev
rororowyourboat Mar 5, 2026
12625f8
docs: fix broken link to gds-sim in psuu docs
rororowyourboat Mar 5, 2026
9172030
Merge branch 'dev'
rororowyourboat Mar 5, 2026
d1e92d9
docs: add gds-axelrod as a case study
rororowyourboat Mar 5, 2026
2cf663a
context7 add
rororowyourboat Mar 27, 2026
79e658d
feat: add gds-owl package — OWL/Turtle, SHACL, and SPARQL for GDS specs
Mar 27, 2026
483836c
docs: revise formal-representability with code-verified corrections
Mar 27, 2026
ab55685
docs: add overview section to formal-representability
Mar 27, 2026
a74a0ea
feat: add AdmissibleInputConstraint and TransitionSignature (Paper De…
Mar 27, 2026
783eb8c
docs: update gap analysis and representability for Steps 1-2 completion
Mar 27, 2026
1e538ff
Merge pull request #130 from BlockScience/feat/gds-owl
rororowyourboat Mar 27, 2026
5cef2d4
Merge pull request #129 from BlockScience/docs/case-study-axelrod
rororowyourboat Mar 27, 2026
0b8aabe
feat: emit TransitionSignature from DSL compilers, demonstrate Admiss…
Mar 28, 2026
49dd152
Merge pull request #131 from BlockScience/feat/gds-owl
rororowyourboat Mar 28, 2026
0fe98dd
style: apply ruff format to new/modified files
Mar 28, 2026
e908c5f
docs: add gds-owl package documentation and mkdocs integration
Mar 28, 2026
39f28d2
Merge remote-tracking branch 'origin/main' into dev
Mar 28, 2026
081e410
ci: suppress CVE-2026-4539 in pip-audit (no fix available)
Mar 28, 2026
294dc01
Merge pull request #132 from BlockScience/dev
rororowyourboat Mar 28, 2026
4cae7ec
fix: use full URL assertion to resolve CodeQL substring sanitization …
Mar 28, 2026
c9f38b7
Merge pull request #133 from BlockScience/dev
rororowyourboat Mar 28, 2026
5a3f1fa
refactor: move research docs to docs/research/ to separate from packa…
Mar 28, 2026
835ac83
feat: add property-based tests for composition algebra and OWL round-…
Mar 28, 2026
662b27e
docs: add formal verification research journal
Mar 28, 2026
65cd552
fix: address PBT audit findings and add CI reproducibility
Mar 28, 2026
384e32c
docs: add Phase 2 formal proofs for R1/R2/R3 representability boundaries
Mar 28, 2026
3072f5c
fix: address Phase 2 proof audit — R3 definition consistency and prec…
Mar 28, 2026
6412632
fix: remove SPARQL reference from G_behav definition (C.1 self-contra…
Mar 28, 2026
a90cad8
feat: add SHACL validation gate and derived-property PBT tests (Phase…
Mar 28, 2026
e51d53f
fix: address Phase 3c-d audit — 6 findings
Mar 28, 2026
929ba5f
docs: add journal entry 005 — Phase 3c-d completion and audit
Mar 28, 2026
f9168ee
feat: add StateMetric structural annotation (Paper Assumption 3.2)
Mar 28, 2026
7296937
style: apply ruff format to modified files
Mar 28, 2026
2a01beb
Merge pull request #139 from BlockScience/dev
rororowyourboat Mar 28, 2026
447fc62
feat: add gds-analysis package — bridge GDSSpec to gds-sim runtime
Mar 28, 2026
081cb9c
feat: add reachable set R(x) and configuration space X_C (bridge Step…
Mar 28, 2026
25b1d37
docs: add journal entry 006 — StateMetric, gds-analysis, reachability
Mar 28, 2026
a76c121
feat: add gds-continuous ODE engine and modular package extras
Mar 28, 2026
4480282
feat: add gds-symbolic SymPy bridge for control models
Mar 28, 2026
5d13728
test: add SIR epidemic end-to-end integration test for gds-analysis
Mar 28, 2026
bf5ef03
test: add Homicidal Chauffeur differential game verification
Mar 28, 2026
1235744
feat: add Homicidal Chauffeur example (Isaacs 1951)
Mar 28, 2026
c91a7c7
test: add crosswalk problem integration test with lecture-grounded pr…
Mar 28, 2026
1cd05df
feat: add Homicidal Chauffeur marimo notebook
Mar 28, 2026
3de3b55
feat(examples): add analysis scripts demonstrating gds-analysis
Mar 28, 2026
85e2f4a
fix: address gds-analysis audit — 9 findings
Mar 28, 2026
748976c
Merge branch 'dev' into feature/continuous-time
Mar 28, 2026
fb4c9e4
fix: address audit findings for continuous-time toolchain
Mar 28, 2026
b3f68db
Merge pull request #144 from BlockScience/feature/continuous-time
rororowyourboat Mar 28, 2026
7c80bc3
feat(gds-viz): add phase portrait visualization module
Mar 28, 2026
7023ce2
feat: add gds-continuous ODE engine and modular package extras
Mar 28, 2026
5f6904d
feat: add gds-symbolic SymPy bridge for control models
Mar 28, 2026
e16dad0
test: add Homicidal Chauffeur differential game verification
Mar 28, 2026
5686477
feat: add Homicidal Chauffeur example (Isaacs 1951)
Mar 28, 2026
1977270
feat: add Homicidal Chauffeur marimo notebook
Mar 28, 2026
f1aff09
feat: add gds-analysis package — bridge GDSSpec to gds-sim runtime
Mar 28, 2026
5a4f465
feat: add reachable set R(x) and configuration space X_C (bridge Step…
Mar 28, 2026
7c562db
docs: add journal entry 006 — StateMetric, gds-analysis, reachability
Mar 28, 2026
a1f75be
test: add SIR epidemic end-to-end integration test for gds-analysis
Mar 28, 2026
d70b181
test: add crosswalk problem integration test with lecture-grounded pr…
Mar 28, 2026
0fe2660
feat(examples): add analysis scripts demonstrating gds-analysis
Mar 28, 2026
fcdfb84
fix: address gds-analysis audit — 9 findings
Mar 28, 2026
828f832
fix: address audit findings for continuous-time toolchain
Mar 28, 2026
90f2d84
feat(gds-viz): add phase portrait visualization module
Mar 28, 2026
ec3b31a
feat(gds-games): add Nashpy equilibrium computation
Mar 28, 2026
a304d86
fix: address software + data science audit Phase 1 items
Mar 28, 2026
250308b
feat: add ReachabilityResult metadata and float_tolerance (audit Phas…
Mar 28, 2026
4c5967e
test: tighten crosswalk exhaustive flag and float_tolerance assertion
Mar 28, 2026
6dc08e7
docs: add journal entry 007 — audits and Phase 1-2 fixes
Mar 28, 2026
c49f39f
merge: resolve conflicts keeping dev (latest audit fixes)
Mar 28, 2026
e8bacbd
Merge pull request #146 from BlockScience/dev
rororowyourboat Mar 28, 2026
a6092d8
fix(gds-viz): skip phase portrait tests when gds-continuous unavailable
Mar 28, 2026
698c3c7
docs: add journal entry 008 — session scorecard
Mar 28, 2026
508b6b2
fix: address final audit findings
Mar 28, 2026
cac0ce0
feat: add Hamiltonian mechanics module to gds-symbolic (#124)
Mar 28, 2026
bb04f9a
docs: add journal entry 009 — final audit fixes + Hamiltonian
Mar 28, 2026
dcfd3e2
docs: remediate documentation gaps across 14-package ecosystem
Mar 28, 2026
b0ba22e
feat: add backward reachable set and isochrone extraction (#127)
Mar 28, 2026
01e1cab
docs: update landing page with full 14-package ecosystem
Mar 28, 2026
2e4a92f
style: format test_hamiltonian.py
Mar 28, 2026
a8956c6
Merge pull request #147 from BlockScience/dev
rororowyourboat Mar 28, 2026
4791fe1
Merge pull request #148 from BlockScience/main
rororowyourboat Mar 28, 2026
5e5ed9a
docs: update research docs for completed Steps 3-5 and add nav entries
Mar 28, 2026
656c467
docs: add paper alignment notes to formal-representability analysis
Mar 28, 2026
a04eb6a
docs: replace ASCII architecture diagram with Mermaid graph
Mar 28, 2026
d113864
feat(examples): add GDS ecosystem self-model using component DSL
Mar 28, 2026
7610648
feat(examples): add DFD pipeline and ERD data model self-diagrams
Mar 28, 2026
7313dfc
feat(examples): add marimo notebook for GDS ecosystem self-model
Mar 28, 2026
4a80b02
fix: marimo notebook cell variable naming and table formatting
Mar 28, 2026
782812b
fix: add titles to marimo notebook diagrams
Mar 28, 2026
eaa2b0d
docs: add team summary of semantic web integration findings
Mar 28, 2026
5972826
docs: add semantic web summary to site nav
Mar 28, 2026
fe348e3
docs: add Zargham feedback on constraint promotion to summary
Mar 28, 2026
486a8d3
docs: fix staleness across research docs and CLAUDE.md
Mar 28, 2026
1a9a3e5
docs: fix all staleness findings from parallel audit agents
Mar 28, 2026
54ea5e0
chore: add __marimo__ cache to gitignore
Mar 28, 2026
c5cfd86
chore(gds-games): bump version to 0.3.1 for Nashpy equilibrium release
Mar 29, 2026
575ab07
fix: harmonize notation with Zargham & Shorish (2022)
Apr 3, 2026
5edd679
docs: add review synthesis (Zargham + Jamsheed)
Apr 3, 2026
c3ce376
Merge pull request #173 from BlockScience/fix/notation-harmonization
rororowyourboat Apr 3, 2026
317e9b1
docs: formally state temporal agnosticism invariant with three-layer …
Apr 3, 2026
e0f7570
fix: resolve ControlAction role — extend canonical with output map (Y…
Apr 3, 2026
5d061d7
docs: audit temporal language across 30+ files for time-agnosticism
Apr 3, 2026
5a3ce51
fix(gds-analysis): guard gds-continuous import in backward_reachability
Apr 3, 2026
eadadd8
Merge pull request #178 from BlockScience/fix/backward-reachability-i…
rororowyourboat Apr 3, 2026
238a219
Merge pull request #174 from BlockScience/t0-3/resolve-controlaction
rororowyourboat Apr 3, 2026
db69f39
Merge pull request #175 from BlockScience/t0-4/temporal-agnosticism
rororowyourboat Apr 3, 2026
7699672
docs: formalize verification check specifications as requirement stat…
Apr 3, 2026
acccf1d
Merge pull request #176 from BlockScience/t0-1/formalize-check-specs
rororowyourboat Apr 3, 2026
50825b6
test: add requirement traceability markers and fill SC-005..SC-009 co…
Apr 3, 2026
0f812b1
Merge pull request #177 from BlockScience/t0-2/test-traceability
rororowyourboat Apr 3, 2026
0cb1b90
chore(gds-analysis): bump version to 0.1.1 for import guard fix
Apr 3, 2026
1e413d2
feat(gds-owl): promote common constraint predicates from R3 to R2 via…
Apr 3, 2026
f82abf6
feat(gds-psuu): connect parameter sweep to declared theta with valida…
Apr 3, 2026
28bda6f
Merge pull request #179 from BlockScience/feat/owl-constraint-promotion
rororowyourboat Apr 3, 2026
c92251b
Merge pull request #180 from BlockScience/feat/psuu-parameter-validation
rororowyourboat Apr 3, 2026
7b06c31
docs: add assurance claims document with verification passport template
Apr 3, 2026
f0a2bf4
feat(gds-framework): add ExecutionContract for DSL-layer time model d…
Apr 3, 2026
3045994
Merge pull request #181 from BlockScience/docs/assurance-triangle
rororowyourboat Apr 3, 2026
396ea08
Merge pull request #182 from BlockScience/feat/execution-contract
rororowyourboat Apr 3, 2026
4ded81b
feat(gds-framework): formalize disturbance inputs with U_c/W partition
Apr 3, 2026
75744f6
Merge pull request #184 from BlockScience/feat/disturbance-inputs
rororowyourboat Apr 3, 2026
0a6add4
chore: bump versions and changelog for Tier 0 + Tier 1 release
Apr 3, 2026
7ae5592
Merge pull request #185 from BlockScience/release/tier-0-1-complete
rororowyourboat Apr 3, 2026
507fa02
docs: add changelog for Tier 0 + Tier 1 release
Apr 3, 2026
c3b9043
fix(gds-analysis): remove unused ODESimulation from TYPE_CHECKING import
Apr 3, 2026
040f093
docs: add changelog page, LLM agent guidance, and fix orphaned nav en…
Apr 3, 2026
cec0865
refactor: consolidate 14 packages to 8 (#143)
Apr 5, 2026
f887d44
fix: address P0/P1 audit findings from consolidation review
Apr 5, 2026
b275427
chore: address P2/P3 audit findings
Apr 5, 2026
9009f10
chore: bump gds-analysis to 0.1.2 for PSUU consolidation
Apr 5, 2026
a52c8c9
style: apply ruff auto-fixes and formatting for consolidation branch
Apr 5, 2026
0c74341
chore(deps): bump actions/deploy-pages from 4 to 5 in the actions gro…
dependabot[bot] Apr 5, 2026
d394633
feat: add gds-proof package — deterministic model identity and SymPy …
mzargham Apr 7, 2026
0683bae
Merge branch 'gds-proof' of https://github.com/DynamicalSystemsGroup/…
mzargham May 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

These merge commits were added into this branch cleanly.

There are no new changes to show.