-
Notifications
You must be signed in to change notification settings - Fork 11
Expand file tree
/
Copy pathmanifest.yaml
More file actions
1955 lines (1746 loc) · 83.7 KB
/
manifest.yaml
File metadata and controls
1955 lines (1746 loc) · 83.7 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
# SPDX-License-Identifier: MIT
# Copyright (c) PromptKit Contributors
# PromptKit — Manifest
# This file indexes all components in the library.
# The bootstrap prompt reads this manifest to discover available
# personas, protocols, formats, and task templates.
version: "0.6.1"
personas:
- name: systems-engineer
path: personas/systems-engineer.md
description: >
Senior systems engineer. Deep expertise in memory management,
concurrency, performance, and debugging. Reasons from first principles.
- name: security-auditor
path: personas/security-auditor.md
description: >
Principal security engineer. Adversarial mindset. Specializes in
vulnerability discovery, threat modeling, and secure design.
- name: software-architect
path: personas/software-architect.md
description: >
Staff software architect. System design, API contracts, tradeoff
analysis, and long-term maintainability.
- name: promptkit-contributor
path: personas/promptkit-contributor.md
description: >
PromptKit contribution guide. Understands the library's architecture,
conventions, and quality standards. Guides contributors through
designing and building new components.
- name: devops-engineer
path: personas/devops-engineer.md
description: >
Senior DevOps / platform engineer. Deep expertise in CI/CD pipelines,
release engineering, infrastructure-as-code, and platform APIs across
GitHub Actions, Azure DevOps, GitLab CI, and other DevOps platforms.
- name: reverse-engineer
path: personas/reverse-engineer.md
description: >
Senior reverse engineer. Extracts specifications, contracts, and
behavioral requirements from existing implementations. Separates
essential behavior from implementation details.
- name: specification-analyst
path: personas/specification-analyst.md
description: >
Senior specification analyst. Cross-examines requirements, design,
and validation artifacts for consistency, completeness, and
traceability. Adversarial toward completeness claims.
- name: workflow-arbiter
path: personas/workflow-arbiter.md
description: >
Senior workflow arbiter. Evaluates multi-agent workflow progress,
detects livelock and bikeshedding, and decides whether a
coding/review/validation loop should continue or terminate.
- name: implementation-engineer
path: personas/implementation-engineer.md
description: >
Senior implementation engineer. Builds correct, maintainable code
from specifications. Traces every implementation decision back to
a requirement.
- name: test-engineer
path: personas/test-engineer.md
description: >
Senior test engineer. Writes thorough, specification-driven tests
that verify every requirement and acceptance criterion. Prioritizes
coverage breadth, negative cases, and boundary conditions.
- name: embedded-firmware-engineer
path: personas/embedded-firmware-engineer.md
description: >
Senior embedded firmware engineer. Deep expertise in boot sequences,
flash memory management, OTA updates, power-fail-safe operations,
watchdog timers, and device recovery mechanisms. Reasons about every
failure mode at every execution point.
- name: electrical-engineer
path: personas/electrical-engineer.md
description: >
Senior electrical engineer. Deep expertise in power delivery,
signal integrity, PCB design, component selection, and schematic
review. Thinks in voltage domains and current paths. Conservative
about datasheet margins.
- name: rf-engineer
path: personas/rf-engineer.md
description: >
Senior RF systems engineer. Deep expertise in link budget analysis,
antenna characterization, propagation modeling, transceiver design,
regulatory compliance, and RF test and measurement.
- name: mechanical-engineer
path: personas/mechanical-engineer.md
description: >
Senior mechanical engineer. Deep expertise in enclosure design
for electronics, 3D printing design-for-manufacturing, material
selection, thermal management, environmental protection, and
physical integration of PCB assemblies.
- name: protocol-architect
path: personas/protocol-architect.md
description: >
Senior protocol architect. Deep expertise in protocol design,
evolution, and formal specification. Reasons about state machines,
message formats, backward compatibility, and interoperability
across protocol layers.
protocols:
guardrails:
- name: anti-hallucination
path: protocols/guardrails/anti-hallucination.md
description: >
Prevents fabrication. Enforces epistemic labeling (KNOWN/INFERRED/ASSUMED),
uncertainty disclosure, and source attribution. Apply to all tasks.
- name: self-verification
path: protocols/guardrails/self-verification.md
description: >
Quality gate requiring the LLM to verify its own output before finalizing.
Sampling checks, citation audits, coverage confirmation, consistency checks.
- name: operational-constraints
path: protocols/guardrails/operational-constraints.md
description: >
Governs how the LLM scopes work, uses tools, manages context, and
prefers deterministic analysis. Prevents over-ingestion and ensures
reproducibility.
- name: minimal-edit-discipline
path: protocols/guardrails/minimal-edit-discipline.md
description: >
Constrains code modifications to be minimal, type-preserving,
encoding-safe, and verifiable. Prevents collateral damage from
automated fixes, refactoring, and code generation.
- name: input-clarity-gate
path: protocols/guardrails/input-clarity-gate.md
description: >
Validates user-provided input for clarity and specificity
before proceeding with task execution. Applies determinism
analysis patterns to natural language input and generates
targeted clarifying questions instead of findings.
- name: adversarial-falsification
path: protocols/guardrails/adversarial-falsification.md
description: >
Enforces adversarial self-falsification discipline. Requires the
reviewer to disprove every candidate finding before reporting it,
reject known-safe patterns, and resist premature summarization.
- name: definition-of-done
path: protocols/guardrails/definition-of-done.md
description: >
Completion-verification checklist defining explicit criteria for
when a task is done. Checks functionality, tests, diagnostics,
build health, regression safety, plan alignment, and cleanup.
- name: tool-reliability-defense
path: protocols/guardrails/tool-reliability-defense.md
description: >
Defensive protocol for verifying tool outputs and anticipating
silent failures. Requires independent read-back after edits,
pre-edit snapshots, one logical change per tool call, and
escalation on repeated failures.
- name: human-voice-fidelity
path: protocols/guardrails/human-voice-fidelity.md
description: >
Preserve the user's communication style when drafting externally
visible text on their behalf (PR replies, issue comments, emails).
Pluggable voice sources, calibrated style extraction, and a
per-output self-check that flags AI-tell patterns (em-dashes,
formulaic phrases, etc.) — conditionally permitted when present
in the user's own samples. Scoped to user-authored text only;
does not affect analysis, code, or quoted content.
analysis:
- name: memory-safety-c
path: protocols/analysis/memory-safety-c.md
description: >
Memory safety analysis for C. Covers allocation/deallocation pairing,
pointer lifecycle, buffer boundaries, and undefined behavior.
language: C
- name: cpp-best-practices
path: protocols/analysis/cpp-best-practices.md
description: >
Research-validated C++ code review patterns based on academic
literature and industry standards. Covers memory safety, concurrency,
API design, performance, error handling, code clarity, and testing.
language: C++
- name: memory-safety-rust
path: protocols/analysis/memory-safety-rust.md
description: >
Memory safety analysis for Rust. Focuses on unsafe blocks, FFI
boundaries, interior mutability, and resource leaks.
language: Rust
- name: thread-safety
path: protocols/analysis/thread-safety.md
description: >
Concurrency analysis. Covers data races, deadlocks, atomicity
violations, and thread lifecycle. Language-agnostic.
- name: security-vulnerability
path: protocols/analysis/security-vulnerability.md
description: >
Security vulnerability analysis. Trust boundaries, input validation,
auth, crypto, and information disclosure. Language-agnostic.
- name: win32-api-conventions
path: protocols/analysis/win32-api-conventions.md
description: >
Win32 API conventions analysis. Covers function naming, struct and
enum typedefs, parameter ordering, modern data types, const-correctness,
Hungarian notation avoidance, and C compatibility of SDK headers.
language: C
- name: performance-critical-c-api
path: protocols/analysis/performance-critical-c-api.md
description: >
Code review patterns for performance-critical C API design. Covers
flat C API enforcement, caller-controlled memory, strongly-typed
handles, standard portable types, UTF-8 string handling, minimal API
surface, and specific error codes.
language: C
- name: winrt-design-patterns
path: protocols/analysis/winrt-design-patterns.md
description: >
Analysis protocol for reviewing Windows Runtime API code against
established WinRT design patterns. Covers activation contracts,
deferrals, data store separation, device enumeration, Get/Find
semantics, strongly-typed identifiers, and Try pattern.
language: C++
- name: compiler-diagnostics-cpp
path: protocols/analysis/compiler-diagnostics-cpp.md
description: >
Systematic protocol for analyzing and remediating C++ compiler
diagnostics. Covers variable shadowing, implicit conversions,
unused variables, deprecated features, and pragma suppression
handling with specific resolution strategies.
language: C++
- name: msvc-clang-portability
path: protocols/analysis/msvc-clang-portability.md
description: >
C++ cross-compiler portability analysis between MSVC and
Clang/GCC. Identifies MSVC extensions and non-standard patterns
that fail on standards-conforming compilers. Covers template
rules, const correctness, exception specs, dependent types,
implicit conversions, and deprecated features.
language: C++
- name: kernel-correctness
path: protocols/analysis/kernel-correctness.md
description: >
Correctness analysis for OS kernel and driver code. Lock/refcount
symmetry, cleanup path completeness, PFN/PTE state transitions,
interlocked sequences, charge/uncharge accounting, and known-safe
kernel pattern suppression.
language: C
- name: schematic-compliance-audit
path: protocols/analysis/schematic-compliance-audit.md
description: >
Systematic schematic review protocol. Audits a netlist or
schematic against requirements and datasheet specifications.
Covers power architecture, pin-level verification, bus
integrity, protection circuits, power sequencing, passive
components, and completeness.
- name: simulation-validation
path: protocols/analysis/simulation-validation.md
description: >
Systematic review of circuit simulation output (SPICE, power
budget, thermal analysis) against specification constraints.
Covers setup verification, result interpretation, constraint
compliance, corner-case coverage, and model validity.
- name: bom-consistency
path: protocols/analysis/bom-consistency.md
description: >
Systematic BOM review protocol. Audits a bill of materials
against the schematic and requirements for part number
correctness, voltage and temperature ratings, package matches,
cost compliance, sourcing risks, and completeness.
- name: layout-design-review
path: protocols/analysis/layout-design-review.md
description: >
Systematic PCB layout review protocol. Audits layout decisions
and DRC output against schematic intent and requirements.
Covers trace widths, impedance control, ground plane integrity,
component placement, thermal design, and manufacturing
constraints.
- name: link-budget-audit
path: protocols/analysis/link-budget-audit.md
description: >
Systematic link budget review protocol. Audits a wireless link
budget for transmitter chain, path loss model selection,
receiver chain, margin adequacy, regulatory compliance, and
sensitivity to environmental assumptions.
- name: enclosure-design-review
path: protocols/analysis/enclosure-design-review.md
description: >
Systematic enclosure design review protocol for electronic
assemblies. Audits for PCB fit, thermal management,
environmental protection, antenna compatibility, sensor
access, manufacturing feasibility, and mounting provisions.
- name: component-selection-audit
path: protocols/analysis/component-selection-audit.md
description: >
Adversarial audit of a component selection against requirements
and real-world data. Independently verifies part numbers exist,
datasheet specs match claims, sourcing data is current, and
compatibility assertions hold. Catches hallucinated parts and
stale specifications.
- name: prompt-determinism-analysis
path: protocols/analysis/prompt-determinism-analysis.md
description: >
Systematic analysis of prompt and instruction text for language
precision and determinism. Identifies vague quantifiers,
subjective adjectives, missing constraints, incomplete
conditionals, and ambiguous references. Classifies findings
as High, Medium, or Low non-determinism potential with concrete
rewrite suggestions.
reasoning:
- name: root-cause-analysis
path: protocols/reasoning/root-cause-analysis.md
description: >
Systematic root cause analysis. Symptom characterization, hypothesis
generation, evidence evaluation, and causal chain tracing.
- name: requirements-elicitation
path: protocols/reasoning/requirements-elicitation.md
description: >
Requirements extraction from natural language. Produces numbered,
atomic, testable requirements with RFC 2119 keywords.
- name: iterative-refinement
path: protocols/reasoning/iterative-refinement.md
description: >
Protocol for revising documents through feedback cycles while
preserving structural integrity, numbering, cross-references,
and internal consistency.
- name: promptkit-design
path: protocols/reasoning/promptkit-design.md
description: >
Reasoning protocol for designing new PromptKit components. Scoping,
component type selection, dependency analysis, and convention
compliance.
- name: devops-platform-analysis
path: protocols/reasoning/devops-platform-analysis.md
description: >
Systematic reasoning about DevOps platform constructs: pipelines,
triggers, jobs, environments, secrets, approvals, and artifacts.
Platform-agnostic methodology with platform-specific instantiation.
- name: requirements-from-implementation
path: protocols/reasoning/requirements-from-implementation.md
description: >
Systematic reasoning protocol for deriving structured requirements
from existing source code. Transforms code understanding into
testable, atomic requirements with acceptance criteria.
- name: traceability-audit
path: protocols/reasoning/traceability-audit.md
description: >
Systematic cross-document comparison protocol for auditing
requirements, design, and validation artifacts. Builds
traceability matrices and classifies divergence using the
specification-drift taxonomy.
- name: code-compliance-audit
path: protocols/reasoning/code-compliance-audit.md
description: >
Systematic protocol for auditing source code against requirements
and design documents. Maps specification claims to code behavior
and classifies findings using the specification-drift taxonomy
(D8–D10).
- name: test-compliance-audit
path: protocols/reasoning/test-compliance-audit.md
description: >
Systematic protocol for auditing test code against a validation
plan and requirements document. Maps test case definitions to
test implementations and classifies findings using the
specification-drift taxonomy (D11–D13).
- name: integration-audit
path: protocols/reasoning/integration-audit.md
description: >
Systematic protocol for auditing cross-component integration
points. Maps integration flows across component boundaries,
verifies interface contracts, and checks integration test
coverage. Classifies findings using the specification-drift
taxonomy (D14–D16).
- name: rfc-extraction
path: protocols/reasoning/rfc-extraction.md
description: >
Systematic protocol for extracting structured requirements from
RFCs and internet-drafts. Handles normative language (RFC 2119),
state machines, cross-RFC dependencies, ABNF grammars, and
IANA/security considerations.
- name: invariant-extraction
path: protocols/reasoning/invariant-extraction.md
description: >
Systematic protocol for extracting structured invariants
(constraints, state machines, timing assumptions, ordering
rules, error conditions) from specifications or source code.
Produces a dense, filtered subset of a full requirements
extraction.
- name: workflow-arbitration
path: protocols/reasoning/workflow-arbitration.md
description: >
Protocol for evaluating progress in a multi-agent coding
workflow. Determines whether reviewer findings are valid,
coder responses are adequate, and whether the workflow should
continue or terminate.
- name: requirements-reconciliation
path: protocols/reasoning/requirements-reconciliation.md
description: >
Systematic protocol for reconciling multiple requirements
documents from different sources into a unified specification.
Classifies each requirement by cross-source compatibility
(Universal, Majority, Divergent, Extension).
- name: finding-classification
path: protocols/reasoning/finding-classification.md
description: >
Systematic protocol for classifying findings (bugs, warnings,
review comments, audit results) against a known taxonomy or
pattern catalog. Performs three-way classification with
justification, confidence analysis, and catalog update proposals.
- name: interface-contract-audit
path: protocols/reasoning/interface-contract-audit.md
description: >
Systematic audit of an interface contract for completeness,
internal consistency, and alignment with governing specifications.
Checks matrix coverage, guarantee traceability, obligation
enforceability, invariant consistency, and failure mode
completeness.
- name: exhaustive-path-tracing
path: protocols/reasoning/exhaustive-path-tracing.md
description: >
Systematic per-file deep review protocol. Full-file reading,
local structure mapping, high-risk function identification,
exhaustive path tracing with cleanup/lock/refcount symmetry
verification, and coverage ledger documentation.
- name: protocol-evolution
path: protocols/reasoning/protocol-evolution.md
description: >
Systematic protocol for modifying or extending existing protocol
specifications. Specification ingestion, change request analysis,
impact tracing, consistency verification, and delta generation.
- name: protocol-conflict-analysis
path: protocols/reasoning/protocol-conflict-analysis.md
description: >
Systematic protocol for comparing two protocol specifications.
Protocol decomposition, semantic overlap detection, contradiction
analysis, interoperability assessment, and resolution
recommendations.
- name: protocol-validation-design
path: protocols/reasoning/protocol-validation-design.md
description: >
Systematic protocol for deriving a validation specification from
a protocol specification. Testable property identification, test
case design, validation oracle definition, and coverage analysis.
- name: spec-invariant-audit
path: protocols/reasoning/spec-invariant-audit.md
description: >
Systematic adversarial analysis of a specification against
user-supplied invariants. Constructs compliant-but-violating
interpretations to find spec gaps, ambiguities, contradictions,
and missing recovery paths.
- name: quantitative-constraint-validation
path: protocols/reasoning/quantitative-constraint-validation.md
description: >
Systematic validation of quantitative claims (budgets, rollups,
margins) against specification constraints. Covers constraint
extraction, arithmetic verification, unit checking, margin
analysis, sensitivity analysis, and completeness.
- name: spec-evolution-diff
path: protocols/reasoning/spec-evolution-diff.md
description: >
Systematic methodology for comparing two versions of a
specification at the invariant level. Extracts invariants
from both versions, classifies each delta by type and
backward-compatibility impact, and produces migration guidance.
- name: session-profiling
path: protocols/reasoning/session-profiling.md
description: >
Systematic analysis of LLM session logs to detect token
inefficiencies, redundant reasoning, and structural waste.
Maps execution back to PromptKit components and produces
actionable optimization recommendations.
- name: change-propagation
path: protocols/reasoning/change-propagation.md
description: >
Systematic reasoning protocol for propagating changes through
artifact layers while maintaining alignment. Covers impact
analysis, change derivation, invariant checking, completeness
verification, and conflict detection. Domain-agnostic.
- name: minimal-reproduction
path: protocols/reasoning/minimal-reproduction.md
description: >
Systematic bug isolation through minimal reproduction and
binary simplification. Create the smallest input that triggers
the bug, strip features one at a time to isolate the
responsible component, and identify the pivot point between
working and broken.
- name: fixed-point-verification
path: protocols/reasoning/fixed-point-verification.md
description: >
Verify transformation correctness by checking convergence.
Apply the transformation twice and confirm identical output.
Diagnose divergence as semantic, syntactic, or additive.
Applicable to formatters, compilers, generators, migrators,
and serializers.
- name: step-retrospective
path: protocols/reasoning/step-retrospective.md
description: >
Protocol for learning from execution experience in iterative
workflows. After completing a step, systematically analyze
variances (tooling gaps, process gaps, knowledge gaps), trace
root causes, and feed concrete improvements back into the
tooling and process for the next iteration.
- name: presentation-design
path: protocols/reasoning/presentation-design.md
description: >
Systematic reasoning protocol for designing technical
presentations. Covers audience analysis, narrative arc
construction, slide decomposition, visual design decisions,
time budgeting, and demo choreography. Domain-agnostic.
- name: session-handoff
path: protocols/reasoning/session-handoff.md
description: >
Structured handoff between AI agent sessions. Captures
accomplishments, quantitative state, remaining work
categorized by status, prioritized next-session plan,
key files, and stashed work. Prevents context loss and
duplicate investigation across session boundaries.
- name: multi-agent-coordination
path: protocols/reasoning/multi-agent-coordination.md
description: >
Coordination protocol for multiple AI agents working on a
shared codebase. Covers agent identity cards, scope of
authority (freely modifiable / with care / do not modify),
branch isolation, cross-agent review, shared state via git,
bug handoff workflows, and coordination health checks.
- name: component-selection
path: protocols/reasoning/component-selection.md
description: >
Systematic reasoning protocol for selecting electronic components
from requirements. Covers functional decomposition, candidate
identification via real-time search, technical evaluation, sourcing
verification, cross-component compatibility, and decision matrix
generation. Scoped to core functional components.
- name: schematic-design
path: protocols/reasoning/schematic-design.md
description: >
Systematic reasoning protocol for designing a circuit schematic
from requirements and selected components. Covers power
architecture, supporting circuitry derivation from datasheets,
signal routing, protection circuits, and KiCad .kicad_sch
S-expression generation with explicit visual layout rules.
- name: pcb-layout-design
path: protocols/reasoning/pcb-layout-design.md
description: >
Systematic reasoning protocol for PCB layout and routing from
a completed schematic. Covers layout requirements gathering,
board definition, design rules, component placement, routing
strategy, and automated execution via Python pcbnew API with
FreeRouting autorouter and KiCad DRC validation loop. Supports
2-layer and 4-layer stackups.
- name: prompt-decomposition
path: protocols/reasoning/prompt-decomposition.md
description: >
Systematic reasoning protocol for decomposing an existing
hand-written prompt into PromptKit's semantic layers. Extracts
persona, protocol, taxonomy, format, and task instruction
segments. Maps each to existing library components or marks
as novel for assimilation.
- name: manufacturing-artifact-generation
path: protocols/reasoning/manufacturing-artifact-generation.md
description: >
Systematic reasoning protocol for generating manufacturing
deliverables from a completed PCB design. Covers Gerber files,
Excellon drill files, BOM formatting, pick-and-place centroid
files, and assembly drawings with fab-specific formatting for
JLCPCB, PCBWay, and other services.
- name: corpus-safety-audit
path: protocols/reasoning/corpus-safety-audit.md
description: >
Systematic audit of a prompt component corpus for assimilation
risks. Checks provenance and attribution, detects verbatim
copying from external sources, screens for confidential or
internal-only content, and verifies license compliance.
- name: prompt-portability-evaluation
path: protocols/reasoning/prompt-portability-evaluation.md
description: >
Systematic methodology for evaluating prompt portability across
LLM models. Decomposes outputs into atomic claims, performs
cross-model semantic matching, and classifies consensus levels
to identify fragile prompt language.
formats:
- name: requirements-doc
path: formats/requirements-doc.md
produces: requirements-document
description: >
Structured requirements document with numbered REQ-IDs, acceptance
criteria, constraints, assumptions, and risks.
- name: design-doc
path: formats/design-doc.md
produces: design-document
consumes: requirements-document
description: >
Software design document with architecture, API contracts, data models,
tradeoff analysis, and open questions.
- name: validation-plan
path: formats/validation-plan.md
produces: validation-plan
consumes: requirements-document
description: >
Test and validation plan with traceability matrix, test cases,
risk prioritization, and pass/fail criteria.
- name: investigation-report
path: formats/investigation-report.md
produces: investigation-report
description: >
Investigation report with findings, root cause analysis, evidence,
remediation plan, and prevention recommendations.
- name: multi-artifact
path: formats/multi-artifact.md
produces: artifact-set
description: >
Multi-file output format for tasks producing multiple deliverables
(structured data, reports, coverage logs). Defines artifact manifests,
per-artifact schemas, and cross-artifact consistency rules.
- name: promptkit-pull-request
path: formats/promptkit-pull-request.md
produces: promptkit-contribution
description: >
Output format for PromptKit contributions. Produces PR-ready component
files, manifest update, and pull request description.
- name: pipeline-spec
path: formats/pipeline-spec.md
produces: pipeline-spec
description: >
CI/CD pipeline specification with platform-specific YAML, design
rationale, configuration requirements, and deployment notes.
- name: triage-report
path: formats/triage-report.md
produces: triage-report
description: >
Prioritized triage report for issues, pull requests, or work items.
Classifies items by priority, effort, and recommended action.
- name: pr-comment-responses
path: formats/pr-comment-responses.md
produces: pr-comment-responses
description: >
Output format for responding to pull request review comments.
Structures per-thread analysis, contradiction detection, and
response generation in either document or action mode.
- name: release-notes
path: formats/release-notes.md
produces: release-notes
description: >
Structured release notes with changelog, breaking changes, upgrade
instructions, and contributor acknowledgment.
- name: agent-instructions
path: formats/agent-instructions.md
produces: agent-instruction-file
description: >
Output format for persistent agent instruction files, custom agent
definitions, and CLI skills. Produces .github/instructions/,
.github/agents/, .github/skills/, CLAUDE.md, and .cursorrules.
Works with VS Code, JetBrains, GitHub.com, and the Copilot CLI.
- name: copilot-prompt-file
path: formats/copilot-prompt-file.md
produces: copilot-prompt-file
description: >
Output format for GitHub Copilot prompt files
(.github/prompts/*.prompt.md). Packages an assembled PromptKit
prompt as a reusable slash command invokable in Copilot Chat.
Full semantic fidelity — no content condensation.
- name: agentic-workflow
path: formats/agentic-workflow.md
produces: agentic-workflow
description: >
Output format for GitHub Agentic Workflow files
(.github/workflows/*.md). Packages an assembled PromptKit prompt
as a scheduled or event-driven automation running in GitHub
Actions with a coding agent. Requires `gh aw` CLI for compilation.
- name: implementation-plan
path: formats/implementation-plan.md
produces: implementation-plan
description: >
Output format for implementation and refactoring plans. Task
breakdown, dependency ordering, risk assessment, and verification
strategy.
- name: north-star-document
path: formats/north-star-document.md
produces: north-star-document
description: >
Strategic north-star or architectural vision document. Describes
the desired end state, guiding principles, and transition
considerations — not the implementation plan.
- name: structured-findings
path: formats/structured-findings.md
produces: structured-findings
description: >
Output format for structured findings documents. Transforms raw
diagnostic output (compiler warnings, linter results, security
scans) into consolidated, classified findings with root cause
analysis, severity assessment, and remediation guidance.
- name: exhaustive-review-report
path: formats/exhaustive-review-report.md
produces: exhaustive-review-report
description: >
Exhaustive code review report with per-file coverage ledgers,
adversarial finding templates requiring falsification proof,
and false-positive rejection logs.
- name: protocol-delta
path: formats/protocol-delta.md
produces: protocol-delta
consumes: requirements-document
description: >
Protocol specification amendment format. Supports amendment
(section-by-section changes), redline (tracked changes), and
standalone (revised specification) presentation styles. Tracks
normative language changes, backward compatibility, and
cross-reference updates.
- name: protocol-validation-spec
path: formats/protocol-validation-spec.md
produces: protocol-validation-spec
consumes: requirements-document
description: >
Protocol validation specification format. Structures conformance
tests around state machine coverage, message format verification,
error handling, negotiation, interoperability scenarios, and
validation tool requirements.
- name: rfc-document
path: formats/rfc-document.md
produces: rfc-document
consumes: requirements-document
description: >
RFC and internet-draft output format using the xml2rfc Version 3
vocabulary (RFC 7991). Produces structurally valid XML for the
xml2rfc toolchain. Covers front matter, normative sections, ABNF,
state machines, security/IANA considerations, and references.
- name: behavioral-model
path: formats/behavioral-model.md
produces: behavioral-model
description: >
Output format for reconstructed behavioral models. State machines
with diagrams and transition tables, control/signal flow graphs,
implicit invariants, and undefined behavior catalogs. Supports
code, schematics, netlists, firmware images, configurations,
and protocol captures.
- name: interface-contract
path: formats/interface-contract.md
produces: interface-contract
consumes: requirements-document
description: >
Output format for interface contracts between two parties. Defines
boundary resources, operating states, per-resource-per-state
guarantees, consumer obligations, testable invariants, and failure
modes. Domain-agnostic — works for hardware/firmware, service/service,
library/consumer, and OS/driver boundaries.
- name: architecture-spec
path: formats/architecture-spec.md
produces: architecture-spec
description: >
Architecture specification document with protocol/system description,
network and software architecture, programming interfaces, persisted
state, and cross-cutting implications (security, performance,
management, observability, testing).
- name: structured-patch
path: formats/structured-patch.md
produces: structured-patch
description: >
Traceable, structured patch format for incremental changes to
existing artifacts. Each change entry links to its upstream
motivation with Before/After content, traceability matrix, and
invariant impact assessment. Domain-agnostic.
- name: decision-log
path: formats/decision-log.md
produces: decision-log
description: >
Lightweight architectural decision record (ADR) format. Records
significant design decisions with context, options considered,
rationale, and consequences. Agent-consumable and human-readable.
- name: presentation-kit
path: formats/presentation-kit.md
produces: presentation-kit
description: >
Output format for technical presentations. Produces a PowerPoint
file via python-pptx, optional PDF export, embedded speaker
notes, a presentation timeline, and an optional demo plan.
All artifacts form a cohesive presentation kit.
- name: portability-report
path: formats/portability-report.md
produces: portability-report
description: >
Output format for prompt portability evaluation reports. Structures
cross-model comparison results as claim-level consensus analysis
with portability scoring and hardening recommendations.
taxonomies:
- name: stack-lifetime-hazards
path: taxonomies/stack-lifetime-hazards.md
domain: memory-safety
description: >
Classification scheme (H1-H5) for stack lifetime and memory escape
hazards at system boundaries. Covers stack address escape, async
pend/complete lifetime violations, and writable views of read-only data.
- name: specification-drift
path: taxonomies/specification-drift.md
domain: specification-traceability
description: >
Classification scheme (D1-D16) for specification drift across
requirements, design, validation, code, test, and integration
artifacts. Covers untraced requirements, orphaned design decisions,
assumption drift, coverage failures, code/test compliance gaps,
and cross-component integration drift.
- name: cpp-review-patterns
path: taxonomies/cpp-review-patterns.md
domain: cpp-code-review
description: >
Classification scheme for C++ code review findings. Categorizes
findings by pattern family (memory safety, concurrency, API design,
performance, error handling, code clarity) with 19 labels and
cross-references to analysis protocols.
- name: kernel-defect-categories
path: taxonomies/kernel-defect-categories.md
domain: kernel-correctness
description: >
Classification scheme (K1-K14) for OS kernel and driver defects.
Covers lock leaks, refcount imbalances, cleanup omissions, lifetime
bugs, integer arithmetic errors, state machine races, accounting
mismatches, and security boundary mistakes.
- name: protocol-change-categories
path: taxonomies/protocol-change-categories.md
domain: protocol-engineering
description: >
Classification scheme (PC1-PC8) for protocol specification changes.
Categorizes changes by impact on existing implementations and
interoperability: editorial, clarification, backward-compatible
extension, optional behavior change, state machine modification,
message format change, security-impacting, and deprecation/removal.
- name: agent-behavioral-failures
path: taxonomies/agent-behavioral-failures.md
domain: agent-reliability
description: >
Classification scheme (ABF-1 through ABF-6) for AI agent
behavioral failure modes. Covers safety bypass under optimization
pressure, confidence-driven misdiagnosis, infinite retry loops,
context hoarding, premature optimization, and ephemeral memory
failure.
- name: cwe-cli-tools
path: taxonomies/cwe-cli-tools.md
domain: cli-tools
description: >
CWE-derived classification scheme (65 classes) for
command-line tools and utilities. CWE version 4.19.1.
- name: cwe-cloud-service
path: taxonomies/cwe-cloud-service.md
domain: cloud-service
description: >
CWE-derived classification scheme (113 classes) for
cloud-hosted services and APIs. CWE version 4.19.1.
- name: cwe-container-k8s
path: taxonomies/cwe-container-k8s.md
domain: container-k8s
description: >
CWE-derived classification scheme (5 classes) for
container and Kubernetes workloads. CWE version 4.19.1.
- name: cwe-crypto-protocols
path: taxonomies/cwe-crypto-protocols.md
domain: crypto-protocols
description: >
CWE-derived classification scheme (63 classes) for
cryptographic protocol design and implementation. CWE version 4.19.1.
- name: cwe-data-processing
path: taxonomies/cwe-data-processing.md
domain: data-processing
description: >
CWE-derived classification scheme (69 classes) for
data pipelines, ETL, batch processing. CWE version 4.19.1.
- name: cwe-firmware-embedded
path: taxonomies/cwe-firmware-embedded.md
domain: firmware-embedded
description: >
CWE-derived classification scheme (226 classes) for
firmware and embedded systems. CWE version 4.19.1.
- name: cwe-iac
path: taxonomies/cwe-iac.md
domain: iac
description: >
CWE-derived classification scheme (8 classes) for
Infrastructure as Code (Terraform, Bicep, ARM, etc.). CWE version 4.19.1.
- name: cwe-kernel-mode-c-cpp
path: taxonomies/cwe-kernel-mode-c-cpp.md
domain: kernel-mode-c-cpp
description: >
CWE-derived classification scheme (113 classes) for
OS kernel and driver code in C/C++. CWE version 4.19.1.
- name: cwe-managed-dotnet
path: taxonomies/cwe-managed-dotnet.md
domain: managed-dotnet
description: >
CWE-derived classification scheme (92 classes) for