Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
65 commits
Select commit Hold shift + click to select a range
153862e
Add GEP 10 (units and dimensionality) draft
MImmesberger Jun 3, 2026
ef18fae
GEP 10: counts are dimensionless; null declarations; closed token voc…
MImmesberger Jun 5, 2026
39331bc
GEP 10: declarations become kind tokens (stock/flow enum)
MImmesberger Jun 5, 2026
b2e8289
GEP 10: currency-as-union redesign (currency tokens become declarations)
MImmesberger Jun 5, 2026
4fb07ac
Merge remote-tracking branch 'origin/main' into gep-10-units-and-dime…
MImmesberger Jun 6, 2026
109872a
GEP 10: revise abstract, terminology, and usage prose per review
MImmesberger Jun 15, 2026
288d198
GEP 10: reframe unit declarations around parameters and inputs
MImmesberger Jun 15, 2026
81daecc
GEP 10: abstract covers how (not just what); de-jargon currency section
MImmesberger Jun 15, 2026
0bca718
GEP 10: input pint tags are converted at the boundary, not just asserted
MImmesberger Jun 15, 2026
0548faf
GEP 10: align boundary wording with the implemented currency conversion
MImmesberger Jun 15, 2026
182ed60
GEP 10: strict period guard at the boundary; drop the wrong cycle claim
MImmesberger Jun 15, 2026
d84faf6
Merge branch 'main' into gep-10-units-and-dimensionality
MImmesberger Jun 15, 2026
90a7c8a
GEP 10: adopt DIMENSIONLESS token; rename SHARE_FLOW -> DIMENSIONLESS…
MImmesberger Jun 16, 2026
dbd7a8e
GEP 10: reconcile Detailed Description with DIMENSIONLESS (drop stale…
MImmesberger Jun 16, 2026
7757772
Some manual proofreading
MImmesberger Jun 16, 2026
ed12afb
GEP 10: reconcile with the review-round implementation
MImmesberger Jun 16, 2026
815e400
gep-10: dry-run checks every branch path, not a boolean two-run
MImmesberger Jun 16, 2026
f64fa4a
gep-10: identifiers and booleans declare DIMENSIONLESS; UNSET_UNIT is…
MImmesberger Jun 18, 2026
ccb5ced
gep-10: no exemptions — group-creation auto-assigns DIMENSIONLESS
MImmesberger Jun 18, 2026
deedb89
gep-10: dry-run flags unit-mixing in +, -, and ordering comparisons
MImmesberger Jun 18, 2026
1f20791
gep-10: trim "cannot catch" to the two substantive limits
MImmesberger Jun 18, 2026
1c66769
gep-10: consolidate all dry-run limitations into one list
MImmesberger Jun 18, 2026
1fd7475
gep-10: explicit opt-out for un-dry-runnable bodies; drop count caveat
MImmesberger Jun 18, 2026
64c9e1d
gep-10: explain how the dry-run checks a body, with a worked example
MImmesberger Jun 18, 2026
12aff29
GEP 10: tighten prose, dedupe, add reference tables
MImmesberger Jun 20, 2026
299363d
GEP 10: rename function-like parameters to mapping parameters
MImmesberger Jun 20, 2026
620cb4c
GEP 10: frame the period rule around convertibility
MImmesberger Jun 20, 2026
8075450
Update GEP
MImmesberger Jun 21, 2026
d6af589
GEP 10: note that logical ops on unit-carrying operands are caught
MImmesberger Jun 22, 2026
870e8a3
GEP 10: reconcile dry-run prose with the body-check refinements
MImmesberger Jun 22, 2026
aaed57a
GEP 10: calendar points vs durations (S1)
MImmesberger Jun 22, 2026
ad30820
GEP 10: per-axis currency conversion for require_converter (S3)
MImmesberger Jun 23, 2026
0422bb5
GEP 10: narrow the opt-out claim, document the schedule-domain known …
MImmesberger Jun 23, 2026
7c3b078
GEP 10: state the scalar-param period/shape constraints (D3, D5)
MImmesberger Jun 23, 2026
1c6fe8d
GEP 10: state the dimensionless blind spot and the equality carve-out…
MImmesberger Jun 23, 2026
2dc80ba
GEP 10: describe the Layer-2 boundary check as equivalence, not dimen…
MImmesberger Jun 23, 2026
85aaf79
GEP 10: cut redundant restatements of the flow-token period rule
MImmesberger Jun 23, 2026
5170bca
GEP 10: adopt grouping-level dimensions and the [person] count
MImmesberger Jun 25, 2026
4f9bdb7
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jun 25, 2026
e994b7b
GEP 10: document the declarable HEADCOUNT token
MImmesberger Jun 26, 2026
0fddfb2
GEP 10: aggregations validate their declared unit against the derivation
MImmesberger Jun 26, 2026
e37b47b
GEP 10: alternatives — why grouping levels on dimensionless quantitie…
MImmesberger Jun 26, 2026
8f54d3e
GEP 10: rewrite for the compositional vocabulary and leveled booleans
MImmesberger Jun 27, 2026
318ead7
GEP 10: resolve handwritten review comments (C1, C6, C7, E1, H1)
MImmesberger Jun 27, 2026
21fe71c
GEP 10: document forward-fill of per-date unit declarations
MImmesberger Jun 28, 2026
8533664
GEP 10: show the changeover example in symmetric form
MImmesberger Jun 28, 2026
1f79e9b
GEP 10: restructure principle-first; tighten and de-stale
MImmesberger Jun 28, 2026
fa1dd05
GEP 10: rewrite "Units as guards" around the core principle
MImmesberger Jun 28, 2026
0e6d84e
Shorten and proofread.
MImmesberger Jun 29, 2026
51cd817
GEP 10: two-axis (measure vs index) model and cross-level share override
MImmesberger Jun 29, 2026
3716179
GEP 10: worked example for the unit-annotated input/output trees
MImmesberger Jun 30, 2026
7432eac
GEP 10: grouping level tracks group- vs person-ownership
MImmesberger Jul 1, 2026
d99f7cc
GEP 10: align prose with the declaration-based grouping-level model
MImmesberger Jul 7, 2026
6b1986a
GEP 10: document vectorized-body checking and consolidate the opt-out…
MImmesberger Jul 7, 2026
ae6d8e8
GEP 10: cast_unit escape hatch, exact level and literal rules, review…
MImmesberger Jul 7, 2026
ea9f9ea
GEP 10: require_converter unit shapes; structured values cast at the …
MImmesberger Jul 8, 2026
2e3b356
GEP 10: rounding specs pin down the currency their magnitudes are wri…
MImmesberger Jul 8, 2026
0de235c
GEP 10: align the doc with the review fixes
MImmesberger Jul 9, 2026
68f2d40
GEP 10: units cross the structured hop via axes and field annotations
MImmesberger Jul 10, 2026
2584c08
GEP 10: address the review — contradictions, code sync, less repetition
MImmesberger Jul 11, 2026
b8fa381
GEP 10: never scale parameters — statutory computation currency, boun…
MImmesberger Jul 13, 2026
701cd12
GEP 10: functions run in the statutory currency; drop the column-boun…
MImmesberger Jul 13, 2026
e929d43
GEP 10: max/min preserve the operand unit; a schedule param function …
MImmesberger Jul 17, 2026
6de20fb
Rewrite GEP 10 for clarity and precision
MImmesberger Jul 18, 2026
b6257dc
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jul 18, 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
1 change: 1 addition & 0 deletions docs/geps.md
Original file line number Diff line number Diff line change
Expand Up @@ -23,5 +23,6 @@ maxdepth: 1
../geps/gep-07
../geps/gep-08
../geps/gep-09
../geps/gep-10
../geps/gep-x
```
Loading