GluLess¶
Authority: product source and language live on GitHub blueflyio/gluless (not this docs repo).
Concept (short)¶
GluLess is an executable acceptance contract: Goal · Limits · Utilities. A .glu file declares an outcome, the authority that may be used, the capabilities that may satisfy it, and evidence. The runtime proves the Goal under Limits — Proven Done — instead of agent glue or chat claims.
It is not a Gas City Formula and not a seventh primitive. Pack CONFIGURES; Formula v2 gluless-prove [steps.check] runs the GluLess CLI. See docs.gascity.com for Agent / Bead / Formula / Rig / Pack / Event.
Operator map (this estate)¶
| Need | Where |
|---|---|
| What / why / how to run | GitHub README |
| Phased plan + blockers | GitHub docs/PLAN.md |
| Pack + Formula attachment | blucity-operator-contract.md |
| Exact prove CLI | cli-resources-reference.md |
| Rig declaration status | gc-rigs.md |
Non-goals for BluCity-Docs¶
Do not maintain a parallel language specification or whitepaper here. Do not add [[gluless]] to city.toml. Do not fork Gas City to “add GluLess.”