ProbOS — Reconciled AD/BF Ledger¶
Generated file — do not edit by hand.
Regenerate with python scripts/gen_ad_ledger.py (add --online to refresh the
GitHub issue layer). The generator is scripts/gen_ad_ledger.py; the pinned
snapshot is docs/development/ad-ledger-snapshot.json.
This replaces a hand-made 2026-03-31 snapshot that had been stale for months.
Read the ceiling here, not from a tree scan. AD and BF numbers are minted by audits and reviews that file a GitHub issue before any code exists. A recursive scan of the working tree therefore reports a ceiling that is already too low, and reports intentionally-allocated numbers as free. That is how collisions happen.
No number below the ceiling is free merely because this file does not account
for it. Gaps are listed as unaccounted, which means the four authorities are
silent — not that the number may be reused. Refresh the issue layer and check
gh issue list --search "AD-NNNN in:title" --state all before minting.
This file observes the ledger. It does not correct it: nothing is renumbered or retired here, and disagreements between the authorities are reported below rather than resolved.
Ceilings¶
Derived from all four authorities. A tree scan sees only the numbers that reached code, so it reports a lower ceiling than this.
| Series | Highest allocated | Next free | Highest with code | Allocated above the code ceiling |
|---|---|---|---|---|
| AD | AD-1350 | AD-1351 | AD-1350 | (none) |
| BF | BF-941 | BF-942 | BF-941 | (none) |
Where each layer came from¶
| Authority | Availability | Captured | Extent |
|---|---|---|---|
git log commit subjects |
pinned snapshot | 2026-11-01T01:54:54+00:00 at 3250c519 |
3665 subjects, 1050 numbers |
DECISIONS.md, decisions-era-1-genesis.md, decisions-era-2-emergence.md, decisions-era-3-product.md, decisions-era-4-evolution.md, decisions-era-5-unification.md |
live, every run | at check time | AD/BF entry headings |
PROGRESS.md, progress-era-1-genesis.md, progress-era-2-emergence.md, progress-era-3-product.md, progress-era-4-evolution.md, progress-era-5-unification.md |
live, every run | at check time | AD/BF status head lines |
gh issue list --state all |
pinned snapshot (network) | 2026-10-12T09:12:39+00:00 | 1410 issues, 971 numbers |
The two pinned layers are refreshed by running the generator (--online for issues). --check re-renders from the pinned snapshot and a fresh parse of the two live authorities, so it opens no socket and spawns no subprocess.
Lifecycle¶
| State | AD | BF | Meaning |
|---|---|---|---|
allocated-open |
49 | 9 | assigned, issue open, no shipped code |
deferred |
0 | 0 | assigned, explicitly postponed |
superseded |
1 | 0 | replaced by a later number |
retired |
10 | 0 | abandoned, number not reusable |
shipped |
1004 | 588 | code in history |
Allocated and open — do not reuse these numbers¶
58 numbers. Every one is assigned. A recursive tree scan reports the ones without code as free.
| Number | Issue | Why | Title |
|---|---|---|---|
AD-1319 |
#1464 | issue #1464 open, no code | AD-1319: Ship View - state-bound 3D projection of the live mesh (child of AD-1307) |
AD-1313 |
#1365 | issue #1365 open, no code | AD-1313: Authentic digital visual language and spatial continuity for HXI work |
AD-1312 |
#1366 | issue #1366 open, no code | AD-1312: Contextual crew, knowledge, and administration experience |
AD-1311 |
#1364 | issue #1364 open, no code | AD-1311: Embodied co-presence and explicit multimodal session controls |
AD-1310 |
#1361 | issue #1361 open, no code | AD-1310: Shared evidence and artifact handback on the collaboration canvas |
AD-1309 |
#1362 | issue #1362 open, no code | AD-1309: Progressive collaboration intake and explicit conversation context |
AD-1308 |
#1363 | issue #1363 open, no code | AD-1308: Spatial workspace host and semantic navigation across HXI views |
AD-1307 |
#1360, #1464 | issue #1360, #1464 open, no code | AD-1307: HXI spatial collaboration program - crew-first workspace and release contract |
AD-1290 |
#1337 | issue #1337 open, no code | AD-1290: Elastic Scatter/Gather and Team Trials |
AD-1225 |
#1193 | issue #1193 open, no code | AD-1225: an agent pays a full ~18K-token prompt to decide to say nothing |
AD-1202 |
#1142 | issue #1142 open, no code | AD-1202: Shared HXI controls - glass material, contextual behavior, and a complete Bridge exemplar |
AD-1199 |
#1136 | issue #1136 open, no code | AD-1199: a typed human-claim lifecycle |
AD-1193 |
#1130 | issue #1130 open, no code | AD-1193: conversational streaming |
AD-1136 |
#1055 | issue #1055 open, no code | AD-1136: First-class chat channel adapter (finish Discord/Slack gateway) (Phase 24) |
AD-1134 |
#1053 | issue #1053 open, no code | AD-1134: PyPI release + lightweight install path (Phase 35) |
AD-703 |
#479 | issue #479 open, no code | AD-703: Starfleet Command — fleet-wide policy distribution across instances |
AD-392 |
— | mentioned by an authority, no code and no closure | |
AD-391 |
— | mentioned by an authority, no code and no closure | |
AD-390 |
— | mentioned by an authority, no code and no closure | |
AD-389 |
— | mentioned by an authority, no code and no closure | |
AD-375 |
— | mentioned by an authority, no code and no closure | |
AD-347 |
— | a tracker head marks it open | |
AD-346 |
— | mentioned by an authority, no code and no closure | |
AD-345 |
— | mentioned by an authority, no code and no closure | |
AD-344 |
— | mentioned by an authority, no code and no closure | |
AD-343 |
— | mentioned by an authority, no code and no closure | |
AD-342 |
— | mentioned by an authority, no code and no closure | |
AD-341 |
— | mentioned by an authority, no code and no closure | |
AD-340 |
— | mentioned by an authority, no code and no closure | |
AD-339 |
— | mentioned by an authority, no code and no closure | |
AD-338 |
— | mentioned by an authority, no code and no closure | |
AD-337 |
— | mentioned by an authority, no code and no closure | |
AD-323 |
— | mentioned by an authority, no code and no closure | |
AD-320 |
— | mentioned by an authority, no code and no closure | |
AD-319 |
— | mentioned by an authority, no code and no closure | |
AD-318 |
— | mentioned by an authority, no code and no closure | |
AD-315 |
— | mentioned by an authority, no code and no closure | |
AD-312 |
— | mentioned by an authority, no code and no closure | |
AD-309 |
— | mentioned by an authority, no code and no closure | |
AD-308 |
— | mentioned by an authority, no code and no closure | |
AD-305 |
— | mentioned by an authority, no code and no closure | |
AD-304 |
— | mentioned by an authority, no code and no closure | |
AD-284 |
— | mentioned by an authority, no code and no closure | |
AD-283 |
— | mentioned by an authority, no code and no closure | |
AD-282 |
— | mentioned by an authority, no code and no closure | |
AD-281 |
— | mentioned by an authority, no code and no closure | |
AD-277 |
— | mentioned by an authority, no code and no closure | |
AD-276 |
— | mentioned by an authority, no code and no closure | |
AD-274 |
— | mentioned by an authority, no code and no closure | |
BF-891 |
— | mentioned by an authority, no code and no closure | |
BF-888 |
— | a tracker head marks it open | |
BF-887 |
— | a tracker head marks it open | |
BF-885 |
— | a tracker head marks it open | |
BF-882 |
— | a tracker head marks it open | |
BF-881 |
— | a tracker head marks it open | |
BF-880 |
— | a tracker head marks it open | |
BF-7 |
— | mentioned by an authority, no code and no closure | |
BF-5 |
— | mentioned by an authority, no code and no closure |
Deferred¶
(none)
Superseded¶
| Number | Issue | Why | Title |
|---|---|---|---|
AD-705 |
#481, #523, #554, #555, #556, #557, #558 | a tracker head marks it superseded | AD-705: Voice Stack Backends — Whisper STT, Deepgram STT, Coqui/Piper TTS, Porcupine wake word |
Retired — never reusable¶
| Number | Issue | Why | Title |
|---|---|---|---|
AD-1318 |
#1382 | issue #1382 closed as not planned, no code | AD-1318: Optional VS Code surface and Copilot-assisted strong-harness interoperability |
AD-1317 |
#1380 | issue #1380 closed as not planned, no code | AD-1317: Strong Supervised Worker host adapter and immutable restart recovery |
AD-1314 |
#1379 | issue #1379 closed as not planned, no code | AD-1314: ProbOS-hosted strong supervision harness program |
AD-1188 |
#1125 | issue #1125 closed as not planned, no code | AD-1188: orchestration-mode ablation rig |
AD-1150 |
#1068, #1075, #1083 | issue #1075 closed as not planned, no code | Epic: Agentic harness parity — loop conversation mechanics (AD-1146..AD-1150) |
AD-1149 |
#1074 | issue #1074 closed as not planned, no code | AD-1149: Prompt caching / stable prefix reuse |
AD-842 |
#817, #821 | issue #821 closed as not planned, no code | AD-842: Per-agent tool grants in the ACM profile |
AD-840 |
#815, #819 | issue #819 closed as not planned, no code | AD-840: HXI Skill Registry + per-agent ACM skill-assignment surface |
AD-709 |
#485 | issue #485 closed as not planned, no code | AD-709: MemoryForge — implanted birth memories + curated memory banks (Long Horizon) |
AD-693 |
#387 | issue #387 closed as not planned, no code | AD-693: Federation Knowledge Sync |
Shipped¶
AD (1004): 1, 19-139, 142-153, 228, 262-273, 293-300, 302, 311, 313-314, 316-317, 321-322, 324, 348-355, 357-373, 376-388, 393-419, 423-502, 507-530, 532, 534, 538-541, 543, 550-554, 556-558, 560-577, 579-623, 625-680, 682-683, 685-692, 694-702, 704, 706-708, 710-766, 790-813, 815-828, 832-839, 841, 843, 845-847, 853-956, 958-966, 972, 975-1019, 1021-1038, 1040-1055, 1065, 1068-1089, 1091-1095, 1119-1133, 1135, 1137-1148, 1151-1187, 1189-1192, 1194-1198, 1200-1201, 1203-1224, 1226-1236, 1239-1248, 1250-1251, 1256-1261, 1265, 1267, 1269-1271, 1273-1289, 1291-1306, 1315-1316, 1320-1328, 1336, 1340-1341, 1343-1344, 1346-1347, 1349-1350
BF (588): 4, 6, 8-13, 23-25, 27, 29-37, 39-41, 43-44, 49, 53, 57-60, 63-69, 71, 76, 78-80, 82-86, 99-104, 106, 108-116, 118, 123-175, 177-179, 183-201, 203-204, 206-219, 222-326, 331-332, 597-680, 682-879, 883-884, 886, 889-890, 892-898, 900-927, 939, 941
Unaccounted — silent, not free¶
Numbers below the ceiling that no authority mentions. The issue layer is a snapshot and audits allocate before writing code, so silence here is absence of evidence. Confirm against live issues before minting.
AD (286): 2-18, 140-141, 154-227, 229-261, 275, 278-280, 285-292, 301, 303, 306-307, 310, 325-336, 356, 374, 420-422, 503-506, 531, 533, 535-537, 542, 544-549, 555, 559, 578, 624, 681, 684, 767-789, 814, 829-831, 844, 848-852, 957, 967-971, 973-974, 1020, 1039, 1056-1064, 1066-1067, 1090, 1096-1118, 1237-1238, 1249, 1252-1255, 1262-1264, 1266, 1268, 1272, 1329-1335, 1337-1339, 1342, 1345, 1348
BF (344): 1-3, 14-22, 26, 28, 38, 42, 45-48, 50-52, 54-56, 61-62, 70, 72-75, 77, 81, 87-98, 105, 107, 117, 119-122, 176, 180-182, 202, 205, 220-221, 327-330, 333-596, 681, 899, 928-938, 940
Inconsistencies — reported, deliberately not fixed¶
This generator observes the ledger; correcting an append-only history is a separate decision for a human.
A collision below means two issues each lead with the identical number. Sub-allocations that share a base (AD-423a, AD-423b, AD-423c) and epics that name their children in the title are normal and are not counted.
AD-443— collision: 2 issues each lead with this number: #42, #433.AD-473— collision: 2 issues each lead with this number: #67, #435.AD-474— collision: 2 issues each lead with this number: #68, #436.AD-482— collision: 2 issues each lead with this number: #76, #434.AD-529— collision: 2 issues each lead with this number: #103, #437.AD-538b— collision: 2 issues each lead with this number: #26, #418.AD-539c— collision: 2 issues each lead with this number: #106, #454.AD-539d— collision: 2 issues each lead with this number: #107, #455.AD-563— collision: 2 issues each lead with this number: #10, #34.AD-568a— collision: 2 issues each lead with this number: #17, #30.AD-572— collision: 2 issues each lead with this number: #123, #359.AD-574— collision: 2 issues each lead with this number: #6, #361.AD-580— collision: 3 issues each lead with this number: #112, #127, #1143.AD-581— collision: 2 issues each lead with this number: #113, #468.AD-582— collision: 2 issues each lead with this number: #114, #128.AD-583f— collision: 2 issues each lead with this number: #117, #464.AD-589— collision: 2 issues each lead with this number: #153, #195.AD-594b— collision: 2 issues each lead with this number: #161, #472.AD-594d— collision: 2 issues each lead with this number: #163, #473.AD-605— collision: 3 issues each lead with this number: #181, #189, #487.AD-607— collision: 2 issues each lead with this number: #183, #488.AD-632d— collision: 2 issues each lead with this number: #235, #236.AD-632e— collision: 2 issues each lead with this number: #239, #240.AD-632f— collision: 2 issues each lead with this number: #237, #238.AD-633— collision: 2 issues each lead with this number: #228, #489.AD-641— the trackers disagree: deferred, shipped. Resolved asshipped.AD-641g— collision: 2 issues each lead with this number: #403, #430.AD-654d— collision: 2 issues each lead with this number: #326, #333.AD-660b— collision: 2 issues each lead with this number: #411, #460.AD-673— collision: 2 issues each lead with this number: #356, #370.AD-674— collision: 2 issues each lead with this number: #362, #371.AD-675— collision: 2 issues each lead with this number: #363, #372.AD-676— collision: 2 issues each lead with this number: #364, #373.AD-677— collision: 2 issues each lead with this number: #365, #374.AD-678— collision: 2 issues each lead with this number: #366, #375.AD-679— collision: 2 issues each lead with this number: #367, #376.AD-683— collision: 2 issues each lead with this number: #313, #419.AD-690— collision: 3 issues each lead with this number: #384, #417, #506.AD-691— collision: 2 issues each lead with this number: #385, #420.AD-697— collision: 3 issues each lead with this number: #428, #429, #431.AD-705— the trackers disagree: shipped, superseded. Resolved assuperseded.AD-705a— collision: 2 issues each lead with this number: #554, #555.AD-706c— collision: 3 issues each lead with this number: #518, #642, #643.AD-718d— collision: 2 issues each lead with this number: #525, #553.AD-720a— collision: 2 issues each lead with this number: #549, #562.AD-720d— collision: 5 issues each lead with this number: #552, #563, #564, #565, #645.AD-721— code is in history but #530, #538 is still open.AD-721b— collision: 6 issues each lead with this number: #529, #540, #559, #560, #561, #663.AD-721d— collision: 9 issues each lead with this number: #531, #541, #618, #619, #620, #621, #622, #623, #658.AD-721i— collision: 3 issues each lead with this number: #537, #542, #543.AD-722— collision: 4 issues each lead with this number: #544, #545, #572, #578.AD-722a— collision: 15 issues each lead with this number: #567, #573, #604, #605, #606, #607, #608, #609, #610, #611, #612, #613, #614, #615, #624.AD-722b— collision: 17 issues each lead with this number: #568, #574, #592, #593, #594, #595, #596, #597, #598, #599, #600, #601, #602, #603, #655, #657, #659.AD-722c— collision: 3 issues each lead with this number: #569, #575, #654.AD-722d— collision: 2 issues each lead with this number: #570, #576.AD-722e— collision: 3 issues each lead with this number: #571, #577, #644.AD-722f— collision: 2 issues each lead with this number: #579, #580.AD-723a— collision: 4 issues each lead with this number: #616, #617, #625, #626.AD-724— collision: 5 issues each lead with this number: #582, #627, #628, #629, #1264.AD-730— collision: 9 issues each lead with this number: #630, #631, #632, #633, #634, #635, #646, #647, #656.AD-733— collision: 3 issues each lead with this number: #641, #667, #668.AD-733c— collision: 4 issues each lead with this number: #675, #676, #677, #678.AD-742a— collision: 3 issues each lead with this number: #669, #679, #680.AD-749— collision: 2 issues each lead with this number: #686, #695.AD-750— collision: 2 issues each lead with this number: #687, #696.AD-752— collision: 2 issues each lead with this number: #688, #698.AD-753— collision: 2 issues each lead with this number: #689, #699.AD-754— collision: 2 issues each lead with this number: #690, #700.AD-755— collision: 2 issues each lead with this number: #691, #701.AD-756— collision: 2 issues each lead with this number: #692, #702.AD-757— collision: 2 issues each lead with this number: #693, #703.AD-758— collision: 2 issues each lead with this number: #694, #704.AD-817— collision: 2 issues each lead with this number: #747, #749.AD-819— collision: 2 issues each lead with this number: #752, #761.AD-820— collision: 2 issues each lead with this number: #753, #772.AD-822— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-822— collision: 2 issues each lead with this number: #755, #756.AD-825— collision: 3 issues each lead with this number: #760, #764, #771.AD-840— collision: 2 issues each lead with this number: #815, #819.AD-841— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-841— collision: 2 issues each lead with this number: #816, #820.AD-842— collision: 2 issues each lead with this number: #817, #821.AD-843— collision: 2 issues each lead with this number: #818, #822.AD-861— collision: 2 issues each lead with this number: #831, #1247.AD-909— collision: 2 issues each lead with this number: #872, #951.AD-938— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-943— collision: 2 issues each lead with this number: #874, #878.AD-944— collision: 2 issues each lead with this number: #875, #879.AD-945— collision: 2 issues each lead with this number: #876, #880.AD-946— collision: 2 issues each lead with this number: #877, #881.AD-983— the trackers disagree: deferred, shipped. Resolved asshipped.AD-985— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-1138— code is in history but #1057 is still open.AD-1143— code is in history but #1057, #1064 is still open.AD-1166— collision: 2 issues each lead with this number: #1097, #1197.AD-1170— collision: 2 issues each lead with this number: #1101, #1257.AD-1179— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-1185— code is in history but #1138 is still open.AD-1186— code is in history but #1123, #1138 is still open.AD-1189— the trackers disagree: deferred, shipped. Resolved asshipped.AD-1200— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-1230— collision: 2 issues each lead with this number: #1203, #1256.AD-1270— the trackers disagree: allocated-open, shipped. Resolved asshipped.AD-1270— code is in history but #1324 is still open.AD-1287— code is in history but #1334 is still open.AD-1288— code is in history but #1335 is still open.AD-1289— code is in history but #1336 is still open.AD-1299— code is in history but #1352 is still open.AD-1300— code is in history but #1353 is still open.AD-1301— code is in history but #1354 is still open.AD-1302— code is in history but #1355 is still open.AD-1303— code is in history but #1356 is still open.AD-1304— code is in history but #1357 is still open.AD-1326— code is in history but #1510 is still open.AD-1327— code is in history but #1511 is still open.BF-063— collision: 2 issues each lead with this number: #3, #135.BF-125— collision: 2 issues each lead with this number: #28, #29.BF-126— collision: 2 issues each lead with this number: #33, #133.BF-133— collision: 2 issues each lead with this number: #116, #134.BF-145— collision: 2 issues each lead with this number: #158, #159.BF-183— collision: 2 issues each lead with this number: #245, #246.BF-184— collision: 2 issues each lead with this number: #247, #248.BF-185— collision: 2 issues each lead with this number: #249, #250.BF-186— collision: 2 issues each lead with this number: #251, #252.BF-187— collision: 2 issues each lead with this number: #253, #255.BF-188— collision: 2 issues each lead with this number: #254, #255.BF-189— collision: 2 issues each lead with this number: #256, #257.BF-190— collision: 2 issues each lead with this number: #259, #261.BF-193— collision: 2 issues each lead with this number: #263, #264.BF-207— collision: 2 issues each lead with this number: #282, #345.BF-236— the trackers disagree: allocated-open, shipped. Resolved asshipped.BF-264— collision: 2 issues each lead with this number: #422, #636.BF-623— the trackers disagree: allocated-open, shipped. Resolved asshipped.BF-707— collision: 2 issues each lead with this number: #1113, #1312.BF-711— code is in history but #1138 is still open.BF-759— collision: 2 issues each lead with this number: #1217, #1219.BF-804— collision: 2 issues each lead with this number: #1268, #1350.BF-889— code is in history but #1515 is still open.
Unparseable lines¶
9 head-shaped lines could not be parsed. A malformed or historical entry is skipped and counted, never fatal — five eras of formatting conventions are represented in these files.
PROGRESS.md:1437 head-shaped line yielded no AD/BF token
PROGRESS.md:1443 head-shaped line yielded no AD/BF token
progress-era-3-product.md:146 head-shaped line yielded no AD/BF token
progress-era-3-product.md:167 head-shaped line yielded no AD/BF token
progress-era-3-product.md:190 head-shaped line yielded no AD/BF token
progress-era-4-evolution.md:15 head-shaped line yielded no AD/BF token
progress-era-4-evolution.md:24 head-shaped line yielded no AD/BF token
progress-era-4-evolution.md:32 head-shaped line yielded no AD/BF token
progress-era-4-evolution.md:48 head-shaped line yielded no AD/BF token