Files

T

dela 3a322aa8dc feat: land superpaper v1 notes scaffold

Add the ledger schema, class router, lint codes, ingest/build
pipeline, and three work-tree examples: align derivation,
superfig delegation, and supertensor delegation.

2026-08-17 10:01:30 +08:00

573 B

Raw Permalink Blame History

Ledger

SSOT is ledger.yaml. Schema: assets/ledger.schema.yaml. Empty template: assets/ledger.example.yaml.

Write the ledger before any sections/*.tex. Ids are C1, Q1, D1, A1, L1, E1, DER1, F1, SA1 — no F1a. Retired ids go in retired_ids.

symbols[].kind aliases (activation → value, shape-parameter → shape parameter, …) are normalized in scripts/lint.py before SP001. Canonical list is the schema enum.

v1 derivations use figure: null and align in the notes. Do not invent a figure for a four-step rewrite.

573 B Raw Permalink Blame History

Ledger

573 B

Raw Permalink Blame History