You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
V48 (spec-only): Align V48 notes and roadmap with product surfaces
Record product-route language and MCP/product posture in the draft V48 specification family and roadmap without reintroducing Terminal product surfaces.
Copy file name to clipboardExpand all lines: specifications/BITCODE_SPECIFYING.md
+5-5Lines changed: 5 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -28,7 +28,7 @@ Bitcode specifying exists so a correct implementation, audit, generated proof ap
28
28
29
29
From V26 onward, that derivability requirement explicitly includes both:
30
30
- Bitcode as protocol and canonical market semantics,
31
-
- and Bitcode as formal product implementation surfaces when those surfaces are admitted canon, such as Bitcode Exchange, Bitcode Terminal, canonical APIs, Bitcode MCP, and other admitted interface families.
31
+
- and Bitcode as formal product implementation surfaces when those surfaces are admitted canon, such as Bitcode Exchange, Bitcode, canonical APIs, Bitcode MCP, and other admitted interface families.
32
32
33
33
The central rule is:
34
34
@@ -462,7 +462,7 @@ Stale status language is a canonical defect.
462
462
- the hand-authored family (`BITCODE_SPEC_VN.md`, `NOTES`, `DELTA`, `PARITY_MATRIX` as promoted),
463
463
- generated `BITCODE_SPEC_VN_PROVEN.md` and `.bitcode/vN-*` structured artifacts for that promotion,
464
464
- version-bound gate checkers, package proof generators, and tests that attest **that era's** predicates against **that era's** source and route vocabulary.
465
-
2.**Old version checks must never be edited** to chase later renames, package hierarchy moves, route pluralization, Terminal retirement, component layout moves, vocabulary renames, or sole-canon modularization of a future draft.
465
+
2.**Old version checks must never be edited** to chase later renames, package hierarchy moves, route pluralization, product retirement, component layout moves, vocabulary renames, or sole-canon modularization of a future draft.
466
466
3.**Historical promoted specs remain referenceable as canon-at-that-time.** Auditors, PROPER reconstructions, and provenance citations use them as fixed law for the era they closed — not as living code maps of the current tree.
467
467
4.**The living full-system check is only for current canon** (the draft-target family while drafting, then the newly pointed family after promotion). That check must be:
468
468
- all-encompassing (full-system, full re-implementability, full auditability — §2),
@@ -477,7 +477,7 @@ Stale status language is a canonical defect.
477
477
478
478
### Why this exists
479
479
480
-
Bitcode treats each promotion as a closed ledger entry of system law. If V43–V47 checks were rewritten every time V48 moved `/read`→`/reads` or retired Terminal, "canon at V47" would cease to exist as an auditable artifact. Era-pinning preserves that ledger without blocking the living draft's obligation to be total and true.
480
+
Bitcode treats each promotion as a closed ledger entry of system law. If V43–V47 checks were rewritten every time V48 moved `/read`→`/reads` or retired product, "canon at V47" would cease to exist as an auditable artifact. Era-pinning preserves that ledger without blocking the living draft's obligation to be total and true.
A demo or adjunct implementation may realize canon.
1299
1299
An adjunct realization must not silently define canon.
1300
-
A formal implementation surface such as Bitcode Exchange, Bitcode Terminal, canonical APIs, or Bitcode MCP may be both implementation and canon when the active `SPEC` admits it as such.
1300
+
A formal implementation surface such as Bitcode Exchange, Bitcode, canonical APIs, or Bitcode MCP may be both implementation and canon when the active `SPEC` admits it as such.
1301
1301
1302
1302
If current source only exists under a demo directory, the spec must still distinguish:
1303
1303
- current implementation location,
@@ -1356,7 +1356,7 @@ They should identify:
1356
1356
- function or builder,
1357
1357
- generated output path,
1358
1358
- test entrypoint,
1359
-
- and whether the surface is protocol, Exchange, Terminal, API, MCP, third-party interface, adjunct realization, generated, or operator-facing.
1359
+
- and whether the surface is protocol, Exchange, product, API, MCP, third-party interface, adjunct realization, generated, or operator-facing.
0 commit comments