GFSO
Create
AI Suggest
More
Mine only
Project
You are
Criteria
+
use resolvable predicates — pass/fail in finite time
ACCEPTED_RISKS (STD-1)
+ factor
explicit ε-assumptions; required for valid decomposition
Risk components (STD-3)
+ component
grouped correlated factors; each requires a risk-node child
Deadline
T = (spec, criteria,
deadline
); without it activity is indistinguishable from inactivity
Decompose Task
+ Subtask
Decompose
Cancel
Edit Node
Criteria
+ Criterion
ACCEPTED_RISKS
+ ACCEPTED_RISKS
Executor (reassign)
Save
Cancel