instlang
Star
Fork
Watch

Commits on inst-inst
feat(instlang): implement institution chartering and lifecycle
committed
feat(instlang): implement delegated authority mandate slice
committed
docs: Add delegated authority and chartering doc
committed
feat(economancy): migrate buy scheduling, buying, and bidding to authored law canon
committed
docs: Consolidate language material into single language reference
committed
Update language primer
committed
refactor(instlang): remove remaining compatibility shims
committed
refactor(instlang): remove legacy collection predicates
committed
Update docs
committed
feat(instlang): move amendment quorum into authored law
committed
align legacy collection predicates with generic binder evaluation
committed
Impl generic bounded collection binders and integer comparisons
committed
docs: define bounded collection language checkpoint
committed
extract settlement proposal membership
committed
Add eslint; fix lint errors
committed
document host-policy audit and remove some unused code
committed
feat: add bounded constitutional artifact types and decoders
committed
feat(instlang): extract scarcity policy and finalize bounded types
committed
docs: consolidate kernel and type design references
committed
docs: remove obsolete docs
committed
docs: consolidate language coverage reference
committed
docs: consolidate implementation status
committed
ignore local server match data
committed
feat(web): make public game board primary with raw view toggle
committed
fix(web): fix play and improve visibility
committed
fix(web): unblock and clarify protocol playtesting
committed
feat(instlang): add bounded scarcity state analyzer
committed
feat(instlang): author scarcity phase closure
committed
feat(instlang): author scarcity endorsement construction
committed
feat(instlang): author scarcity ratification passes
committed
feat(instlang): author scarcity proposal appends
committed
feat(instlang): author scarcity deliberation pass updates
committed
docs: define semantic kernel ownership boundary
committed
fix(server): report matches missing seat credentials
committed
test(web): cover authenticated browser session flow
committed
feat(server): add seat authentication and match joining
committed
feat(web): add live match synchronization
committed
feat(web): add scarcity case proposal flow
committed
feat(web): complete local match controls
committed
feat(web): add browser client and match transport
committed
feat(host): add persistence, combat, scarcity cases, and scripted CLI
committed
feat: scaffold workspace and authoritative Economancy host
committed
feat(economancy): integrate resumable combat into game replay
committed
feat(economancy): add resumable combat turns
committed
feat(economancy): add replayable whole-game action log
committed
feat(economancy): atomically close cases in game snapshots
committed
feat(economancy): persist unified game snapshots
committed
feat(economancy): apply scarcity remedies to game state
committed
feat(economancy): add unified referee game state
committed
feat(economancy): verify private combat defenses
committed
feat(economancy): resolve simultaneous investment bids
committed
feat(economancy): resolve base combat turns
committed
feat(economancy): apply market awards to player armies
committed
feat(economancy): add base cards and income phase
committed
feat(economancy): replay scheduled buy phases
committed
feat(economancy): schedule repeated buy waves
committed
feat(economancy): replay interleaved scarcity market logs
committed
feat(economancy): escrow and lock contested buy offers
committed
feat(economancy): persist finalized buy-wave history
committed
feat(economancy): persist cross-checked scarcity buy waves
committed