core-labs/core
core-labs/core
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity

docs(adr): ratify ADR-0265 — Accepted, Joshua Shay 2026-07-27

Browse source 
Serving-path authorization for the negation fix in this PR. The ADR is
Accepted rather than Proposed because the defect it removes was LIVE behind a
shipped flag (realizer_grounded_authority), not latent: CORE served the
affirmative of propositions users denied.
This commit is contained in:
Shay 2026-07-27 13:17:57 -07:00
parent dccce6a7b9
commit 892e503347
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
docs/adr/ADR-0265-negation-in-the-proposition-graph.md
View file

@ -1,9 +1,11 @@
# ADR-0265 — Negation belongs in the proposition graph, and clause grammar has one owner
- **Status:** Proposed — awaiting ratification by Joshua Shay. **This ADR
changes served output.** It fixes a truth defect on a serving path; it flips
no flag and changes no default.
- **Date:** 2026-07-27
- **Status:** Accepted — ratified by Joshua Shay 2026-07-27. **This ADR changes
served output.** It fixes a truth defect on a serving path; it flips no flag
and changes no default. Implemented and merged to `main` in the same unit
that proposed it, because the defect it removes was live behind a shipped
flag rather than latent.
- **Date:** 2026-07-27 · **Ratified:** 2026-07-27
- **Implemented by:** #137. Enforcement pins:
`tests/test_negation_survives_articulation.py` (registered in the `smoke`
pre-push gate in the same PR).