Development record
The entailment assembly hands every draft and planned intent in the repository — 147 projected intents on this tree — where the design framework's section 13 fixes the object set as Iteration 1's shipped state and claim record: the fifteen workstream intents, which the record extends by the ten Iteration 2 intents. The readings companion's section 6.2 makes drafts and planned intents admissible at the entailment position, and admissible is a permission rather than a scope; the assembler reads it as the scope because a record row is admitted whole when the object set names none of its records, so the drafts and planned rows are never narrowed by the entry's record list the way the shipped row is. The committed entailment entry therefore hands material the object set does not name, and no committed fact says which drafts and planned intents a run is about.
The entailment assembly hands every draft and planned intent in the repository — 147 projected intents on this tree — where the design framework's section 13 fixes the object set as Iteration 1's shipped state and claim record: the fifteen workstream intents, which the record extends by the ten Iteration 2 intents. The readings companion's section 6.2 makes drafts and planned intents admissible at the entailment position, and admissible is a permission rather than a scope; the assembler reads it as the scope because a record row is admitted whole when the object set names none of its records, so the drafts and planned rows are never narrowed by the entry's record list the way the shipped row is. The committed entailment entry therefore hands material the object set does not name, and no committed fact says which drafts and planned intents a run is about.
Grounds
- pursued: the entailment reading is handed the object set alone, so an assembly at that position carries exactly the drafts and planned intents the committed entry names; it would be shown wrong by an assembly handing a draft the entry does not name, by the switch failing to hand all of them, or by the entry needing a record the object set does not contain in order to reach material the reading is about.
Frontmatter
| id | iss-2609021748300398 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | major |
.abcd/work/issues/resolved/iss-2609021748300398-the-entailment-assembly-hands-every.md
open on GitHub ↗ · commit history ↗