wip

Author: CMCDragonkai

docs/reference/specifications/PSP-1 - Capability Model and Grammar.mdx

@@ -47,7 +47,7 @@ The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "S
 
 PSP-1 provides the core capability model for Polykey: the program model and verification semantics that allow independent parties to mint, hold, present, and verify capabilities across boundaries.
 
-What PCAP-01 defines:
+What PSP-1 defines:
 
 - Capability Program (CPL/0): a monotone program with finite Declarations (PairSet/ActionSet/ResourceSet), normalized into a Program Canonical Form (PCF) for stable digests.
 - Grants and Presentations: Grants are signed, durable sigchain statements that carry the Program; Presentations are ephemeral PoP tokens bound to a live channel/context that reference a Grant.
@@ -257,7 +257,7 @@ Normative requirements:
 Extensions and vocabularies:
 
 - Registries SHOULD be content-addressed (schemaRef/vocabRefs) to support anti-ossification and late-bound meaning.
-- Aliases/mappings MAY be provided via lenses in Views (per PRSC-01), not in PCAP-01.
+- Aliases/mappings MAY be provided via lenses in Views (per PSP-2), not in PSP-1.
 - Implementations resolve verb semantics via the versioned registry entries referenced by TAP and/or vocabRefs in Grants; unknown or mismatched entries MUST be denied unless TAP explicitly provides an alias/mapping.
 
 ### Resource addressing

…cations/PSP-3 - Sigchain and Envelope.md …ations/PSP-3 - Sigchain and Envelope.mdxdocs/reference/specifications/PSP-3 - Sigchain and Envelope.md renamed to docs/reference/specifications/PSP-3 - Sigchain and Envelope.mdx docs/reference/specifications/PSP-3 - Sigchain and Envelope.md renamed to docs/reference/specifications/PSP-3 - Sigchain and Envelope.mdx

@@ -103,7 +103,9 @@ const sidebars: SidebarsConfig = {
             id: 'reference/specifications/README'
           },
           items: [
-            'reference/specifications/capabilities/PCAP-01'
+            'reference/specifications/PSP-1 - Capability Model and Grammar',
+            'reference/specifications/PSP-2 - Receipt Model',
+            'reference/specifications/PSP-3 - Sigchain and Envelope'
           ],
         },
         {