Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 8 additions & 7 deletions docs/backlog/COR-104-verification-map.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
---
id: COR-104
core: "verification map"
state: "Active. Core and template first, then video-convert. Gate review of #427 waits under After"
state: "Shipped. Video-convert adopted the loop. UAT and gate review wait under After"
---

# COR-104 verification map
Expand Down Expand Up @@ -30,7 +30,7 @@ Trial findings are evidence of gaps only.
| COR-104-T7 | Publication helpers | agent | COR-104-T6 | done |
| COR-104-T8 | TLC runner in the kit | agent | - | done |
| COR-104-T9 | Adoption and shared corrections | agent | COR-104-T4 | done |
| COR-104-T10 | Video-convert adopts the loop | agent | COR-104-T1, COR-104-T2, COR-104-T3, COR-104-T4, COR-104-T5, COR-104-T6, COR-104-T7, COR-104-T8, COR-104-T9 | todo |
| COR-104-T10 | Video-convert adopts the loop | agent | COR-104-T1, COR-104-T2, COR-104-T3, COR-104-T4, COR-104-T5, COR-104-T6, COR-104-T7, COR-104-T8, COR-104-T9 | done |

### COR-104-T1 Rule indexes and ledger columns

Expand Down Expand Up @@ -145,11 +145,12 @@ It fails first on #427, and the step on #407, where an extension could not fix a
- **Proves:** readiness.md and the release receipt, in ncly-video-convert

C, level 2, measures 2 and 3.
In ncly-video-convert, update to that release and run the first build of #427.
Its publication proof runs through `sdk/verification`, and keeps its model, mapping, probes, and expected results.
It declares its publications and acceptance cases.
Each correction gets a ledger row, and a correction of A or B gets the step of D068.
It fails first on its record, which rejects the new pin ([P1][p1]), and on #427. Done when `just signoff` and `just release` pass.
The [adoption page](COR-104-verification-map/video-convert.md) keeps the requirements and follow-ups.

Done in [ncly-video-convert#17](https://github.com/pascalandy/ncly-video-convert/pull/17), merged on 2026-11-04.
`just signoff` and `just release` passed at `4ad77bd5e19ddab9d79c3c5d692087a2789c64d2`.
The annotated tag [v0.2.2](https://github.com/pascalandy/ncly-video-convert/tree/v0.2.2) points to that commit.
The [#427 gate table](https://github.com/pascalandy/nicely/issues/427#issuecomment-6637077133) records the evidence.

## After

Expand Down
27 changes: 27 additions & 0 deletions docs/backlog/COR-104-verification-map/video-convert.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
# Video-convert adoption

This part of [COR-104-T10](../COR-104-verification-map.md#cor-104-t10-video-convert-adopts-the-loop) keeps its adoption requirements and follow-ups.
The card links the completed delivery and its evidence.
The [adoption corrections](https://github.com/pascalandy/ncly-video-convert/blob/v0.2.2/verification/corrections.md) record each finding.
The [QA ledger](../../qa/ledger.md#corrections) holds the landed corrections of owner A, #462 and #468.

## Requirements

In ncly-video-convert, update to the core and template release and run the first build of #427.
Its publication proof runs through `sdk/verification`, and keeps its model, mapping, probes, and expected results.
It declares its publications and acceptance cases.
Each correction gets a ledger row, and a correction of A or B gets the step of [D068](../../north-star/decisions/D068-verification-map.md).
It fails first on its record, which rejects the new pin ([P1][p1]), and on #427.
Done when `just signoff` and `just release` pass.

## Follow-ups

These issues remain separate work:

- [ncly-video-convert#14](https://github.com/pascalandy/ncly-video-convert/issues/14): Intel runtime warning test
- [ncly-video-convert#18](https://github.com/pascalandy/ncly-video-convert/issues/18): opt-in metadata removal
- [nicely#484](https://github.com/pascalandy/nicely/issues/484): manifest minimum ncly core
- [nicely#485](https://github.com/pascalandy/nicely/issues/485): template Release step 5 fast-forward merge
- [nicely#486](https://github.com/pascalandy/nicely/issues/486): extensiontest records the installed core separately

[p1]: https://github.com/pascalandy/nicely-research/blob/main/synthesis/verification-map/proto/P1/REPORT.md
5 changes: 2 additions & 3 deletions docs/backlog/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,8 @@ This folder holds one file per extension or core item and the ordered delivery q

## Queue

1. COR-104
2. COR-102
3. COR-105
1. COR-102
2. COR-105

## Plan rules

Expand Down
2 changes: 1 addition & 1 deletion docs/north-star/decisions/D068-verification-map.md
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ These three measures replace the score of the 36 trial cases.
|---|---|---|---|
| 1. Pyramid shape | The rules whose enforcer is `Prose only`, for each owner | `just status` for the core and template indexes, `extensionrepo check` for an extension | A: 79 of 154 rules. B: 24 of 57 rules ([N2][n2]). C, video-convert: 3 of 15 ([S4][s4]) |
| 2. Correction ledger | The level where each correction landed, and its owner | The Level and Owner columns of the Corrections table in the [QA ledger](../../qa/ledger.md) | 66 of 237 past corrections landed below their highest working level ([N1][n1]) |
| 3. Real use | Video-convert adopts the loop, and its corrections feed measure 2 | COR-104-T10, and the rows of video-convert in the ledger | Not adopted, as #427 says |
| 3. Real use | Video-convert adopts the loop, and its corrections feed measure 2 | COR-104-T10, and the rows of video-convert in the ledger | Not adopted at the 2026-11-02 start. Adopted on 2026-11-04 in [COR-104-T10](../../backlog/COR-104-verification-map.md#cor-104-t10-video-convert-adopts-the-loop) |

**Why.** Since 2026-10-01, 232 of 237 corrections reached level 1 or 2 ([N1][n1]).
But 66 landed below the highest level that works, and four classes hold 50 of them.
Expand Down
7 changes: 4 additions & 3 deletions docs/status.md
Original file line number Diff line number Diff line change
Expand Up @@ -65,9 +65,10 @@ An existing extension adopts it through `just update`, then starts its first bui

[COR-104](backlog/COR-104-verification-map.md) delivered T1 through T9 in core and the template.
The SDK now provides analyzers, [owned runs](north-star/contract/owned-runs.md), typed build records, acceptance checks, publication checks, and the TLC runner.
Video-convert has yet to adopt the loop of the `nicely-extension` skill through COR-104-T10, tracked in [#427](https://github.com/pascalandy/nicely/issues/427).
Video-convert adopted the loop through [COR-104-T10](backlog/COR-104-verification-map.md#cor-104-t10-video-convert-adopts-the-loop).
Its signoff and release passed on 2026-11-04. Pascal's UAT and the gate review remain pending under COR-104's After.

The queue is COR-104, COR-102 Canadian French, then COR-105 AUR package.
`just next` prints COR-104-T10.
The queue is COR-102 Canadian French, then COR-105 AUR package.
`just next` prints COR-102-T1.
COR-105-T1 waits on Pascal's AUR account and release key.
After COR-102 ships, XT-602 returns for one small useful slice through the loop.
Loading